4 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Comiss
Filtro por publicador
-
KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer
(1)
-
Abertay Research Collections - Abertay University’s repository (1)
-
Academic Archive On-line (Karlstad University; Sweden)
(1)
-
Academic Archive On-line (Stockholm University; Sweden)
(2)
-
Academic Research Repository at Institute of Developing Economies (4)
-
Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España
(2)
-
AMS Tesi di Dottorato - Alm@DL - Università di Bologna
(16)
-
AMS Tesi di Laurea - Alm@DL - Università di Bologna
(3)
-
ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (6)
-
Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer
(1)
-
Archive of European Integration (2)
-
Aston University Research Archive (45)
-
Biblioteca de Teses e Dissertações da USP (1)
-
Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (1)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (11)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (44)
-
Biodiversity Heritage Library, United States (1)
-
BORIS: Bern Open Repository and Information System - Berna - Suiça (39)
-
Brock University, Canada (3)
-
Bucknell University Digital Commons - Pensilvania - USA (2)
-
Bulgarian Digital Mathematics Library at IMI-BAS (7)
-
CentAUR: Central Archive University of Reading - UK (37)
-
CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (6)
-
Cochin University of Science & Technology (CUSAT), India (7)
-
Collection Of Biostatistics Research Archive
(2)
-
Comissão Econômica para a América Latina e o Caribe (CEPAL) (4)
-
Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (19)
-
Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (2)
-
CORA - Cork Open Research Archive - University College Cork - Ireland
(1)
-
Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
-
CUNY Academic Works (1)
-
Dalarna University College Electronic Archive
(2)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(9)
-
Digital Commons - Michigan Tech (4)
-
Digital Commons @ DU | University of Denver Research
(4)
-
Digital Commons at Florida International University (28)
-
Digital Peer Publishing (6)
-
DigitalCommons@The Texas Medical Center (11)
-
DigitalCommons@University of Nebraska - Lincoln
(2)
-
Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (69)
-
DRUM (Digital Repository at the University of Maryland)
(2)
-
Duke University (2)
-
FUNDAJ - Fundação Joaquim Nabuco (2)
-
Glasgow Theses Service (3)
-
Hospitais da Universidade de Coimbra
(1)
-
Illinois Digital Environment for Access to Learning and Scholarship Repository
(2)
-
Instituto Politécnico de Bragança (1)
-
Instituto Politécnico de Viseu (2)
-
Instituto Politécnico do Porto, Portugal (27)
-
Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
-
Martin Luther Universitat Halle Wittenberg, Germany (1)
-
Massachusetts Institute of Technology
(6)
-
Memoria Académica - FaHCE, UNLP - Argentina (5)
-
Memorial University Research Repository (1)
-
National Center for Biotechnology Information - NCBI (4)
-
Nottingham eTheses
(3)
-
Open University Netherlands
(2)
-
Portal de Revistas Científicas Complutenses - Espanha (1)
-
Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (1)
-
Publishing Network for Geoscientific & Environmental Data (3)
-
QSpace: Queen's University - Canada
(2)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (4)
-
RCAAP - Repositório Científico de Acesso Aberto de Portugal
(3)
-
ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
-
Repositório Científico da Universidade de Évora - Portugal
(2)
-
Repositório Científico do Instituto Politécnico de Lisboa - Portugal (17)
-
Repositório da Produção Científica e Intelectual da Unicamp (4)
-
Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
-
Repositório digital da Fundação Getúlio Vargas - FGV (6)
-
Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
-
Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (2)
-
Repositório Institucional da Universidade de Aveiro - Portugal (1)
-
Repositório Institucional da Universidade Federal do Rio Grande do Norte (3)
-
Repositório Institucional dos Hospitais da Universidade Coimbra (1)
-
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (68)
-
Repositorio Institucional Universidad EAFIT - Medelin - Colombia (1)
-
Research Open Access Repository of the University of East London. (1)
-
RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (19)
-
SAPIENTIA - Universidade do Algarve - Portugal (1)
-
Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
-
Scielo España
(1)
-
Scielo Saúde Pública - SP (23)
-
Universidad de Alicante (3)
-
Universidad del Rosario, Colombia (4)
-
Universidad Politécnica de Madrid
(41)
-
Universidade Complutense de Madrid (1)
-
Universidade do Minho (6)
-
Universidade dos Açores - Portugal
(1)
-
Universidade Federal do Pará (3)
-
Universidade Federal do Rio Grande do Norte
(UFRN) (37)
-
Universidade Metodista de São Paulo (1)
-
Universidade Técnica de Lisboa
(3)
-
Universitat de Girona, Spain (5)
-
Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
-
Université de Lausanne, Switzerland (41)
-
Université de Montréal (1)
-
Université de Montréal, Canada (16)
-
Université Laval Mémoires et thèses électroniques
(2)
-
University of Michigan
(1)
-
University of Queensland eSpace - Australia (80)
-
University of Washington
(6)
Relevância:
100.00%
100.00%
Publicador:
Resumo:
Includes bibliography
Relevância:
100.00%
100.00%
Publicador:
Resumo:
Includes bibliography
Relevância:
100.00%
100.00%
Publicador:
Resumo:
Includes bibliography
Relevância:
100.00%
100.00%
Publicador:
Resumo:
Incluye bibliografía
