4 resultados para program verification
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
-
Repository Napier (1)
-
ABACUS. Repositorio de Producción Científica - Universidad Europea (1)
-
Aberystwyth University Repository - Reino Unido (3)
-
Adam Mickiewicz University Repository (2)
-
AMS Tesi di Dottorato - Alm@DL - Università di Bologna
(1)
-
Aquatic Commons
(112)
-
Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco
(8)
-
Biblioteca Digital de la Universidad Católica Argentina
(1)
-
Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ
(4)
-
Boston University Digital Common
(12)
-
Brock University, Canada (7)
-
Bulgarian Digital Mathematics Library at IMI-BAS (1)
-
CaltechTHESIS
(3)
-
Cambridge University Engineering Department Publications Database (55)
-
Center for Jewish History Digital Collections
(5)
-
Chinese Academy of Sciences Institutional Repositories Grid Portal (41)
-
CORA - Cork Open Research Archive - University College Cork - Ireland
(1)
-
Cornell: DigitalCommons@ILR
(4)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(4)
-
Digital Commons - Michigan Tech (1)
-
Digital Commons at Florida International University (1)
-
Digital Repository at Iowa State University (2)
-
DigitalCommons@The Texas Medical Center (1)
-
DRUM (Digital Repository at the University of Maryland)
(3)
-
Duke University (18)
-
eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry
(30)
-
Greenwich Academic Literature Archive - UK (2)
-
Helda - Digital Repository of University of Helsinki
(7)
-
Indian Institute of Science - Bangalore - Índia (42)
-
Infoteca EMBRAPA
(2)
-
Instituto Politécnico do Porto, Portugal (9)
-
Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (2)
-
Massachusetts Institute of Technology
(10)
-
National Center for Biotechnology Information - NCBI (1)
-
Portal de Revistas Científicas Complutenses - Espanha (1)
-
Publishing Network for Geoscientific & Environmental Data (1)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (112)
-
Queensland University of Technology - ePrints Archive
(440)
-
Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
-
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 (4)
-
Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
-
South Carolina State Documents Depository
(2)
-
Universidad Politécnica de Madrid
(11)
-
Universidade de Lisboa - Repositório Aberto (1)
-
Université de Lausanne, Switzerland (4)
-
Université de Montréal, Canada (2)
-
University of Michigan
(2)
-
University of Queensland eSpace - Australia (3)
-
University of Washington
(7)
-
WestminsterResearch - UK (2)
Relevância:
30.00%
30.00%
Publicador:
Relevância:
30.00%
30.00%
Publicador:
Relevância:
30.00%
30.00%
Publicador:
Relevância:
30.00%
30.00%
Publicador: