955 resultados para formal methods
Filtro por publicador
-
AMS Tesi di Dottorato - Alm@DL - Università di Bologna
(2)
-
Aquatic Commons
(2)
-
Aston University Research Archive (11)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
-
Bioline International (1)
-
BORIS: Bern Open Repository and Information System - Berna - Suiça (1)
-
Boston University Digital Common
(3)
-
Brock University, Canada (2)
-
Bucknell University Digital Commons - Pensilvania - USA (1)
-
Bulgarian Digital Mathematics Library at IMI-BAS (1)
-
CaltechTHESIS
(3)
-
Cambridge University Engineering Department Publications Database (10)
-
CentAUR: Central Archive University of Reading - UK (3)
-
Central European University - Research Support Scheme (1)
-
Chinese Academy of Sciences Institutional Repositories Grid Portal (5)
-
Cochin University of Science & Technology (CUSAT), India (2)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(9)
-
DI-fusion - The institutional repository of Université Libre de Bruxelles
(1)
-
Digital Commons at Florida International University (9)
-
Digital Peer Publishing (2)
-
Digital Repository at Iowa State University (1)
-
DigitalCommons@University of Nebraska - Lincoln
(1)
-
Duke University (1)
-
eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry
(23)
-
FUNDAJ - Fundação Joaquim Nabuco (1)
-
Greenwich Academic Literature Archive - UK (3)
-
Helda - Digital Repository of University of Helsinki
(94)
-
Illinois Digital Environment for Access to Learning and Scholarship Repository
(1)
-
Indian Institute of Science - Bangalore - Índia (171)
-
Instituto Politécnico do Porto, Portugal (1)
-
Massachusetts Institute of Technology
(1)
-
Memoria Académica - FaHCE, UNLP - Argentina (3)
-
Nottingham eTheses
(1)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (3)
-
Queensland University of Technology - ePrints Archive
(529)
-
RCAAP - Repositório Científico de Acesso Aberto de Portugal
(1)
-
Repositório digital da Fundação Getúlio Vargas - FGV (1)
-
Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
-
Repositório do ISCTE - Instituto Universitário de Lisboa (1)
-
Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT)
(1)
-
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
-
Repositorio Institucional Universidad de Medellín
(1)
-
Research Open Access Repository of the University of East London. (1)
-
Universidad del Rosario, Colombia (2)
-
Universidad Politécnica de Madrid
(6)
-
Universidade Federal do Rio Grande do Norte
(UFRN) (11)
-
Universitat de Girona, Spain (1)
-
Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
-
Université de Montréal, Canada (1)
-
University of Michigan
(2)
-
University of Queensland eSpace - Australia (13)