Biblioteca Digital

3 resultados para Automated Cryptanalysis

em University of Southampton, United Kingdom

Filtro por publicador

Aberdeen University (2)
Aberystwyth University Repository - Reino Unido (2)
Academic Archive On-line (Mid Sweden University; Sweden) (1)
AMS Tesi di Dottorato - Alm@DL - Università di Bologna (5)
AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
Aquatic Commons (5)
ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
Archive of European Integration (2)
Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
Aston University Research Archive (36)
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) (3)
BORIS: Bern Open Repository and Information System - Berna - Suiça (47)
Boston University Digital Common (3)
Brock University, Canada (2)
Bucknell University Digital Commons - Pensilvania - USA (1)
Bulgarian Digital Mathematics Library at IMI-BAS (14)
CaltechTHESIS (1)
Cambridge University Engineering Department Publications Database (61)
CentAUR: Central Archive University of Reading - UK (32)
Chinese Academy of Sciences Institutional Repositories Grid Portal (22)
Cochin University of Science & Technology (CUSAT), India (3)
CORA - Cork Open Research Archive - University College Cork - Ireland (5)
CUNY Academic Works (1)
Deakin Research Online - Australia (72)
Department of Computer Science E-Repository - King's College London, Strand, London (11)
DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
Digital Commons - Michigan Tech (2)
Digital Commons at Florida International University (9)
Digital Peer Publishing (4)
DigitalCommons@The Texas Medical Center (7)
DRUM (Digital Repository at the University of Maryland) (2)
Duke University (5)
eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
FUNDAJ - Fundação Joaquim Nabuco (2)
Glasgow Theses Service (1)
Greenwich Academic Literature Archive - UK (4)
Helda - Digital Repository of University of Helsinki (1)
Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
Indian Institute of Science - Bangalore - Índia (28)
Instituto Politécnico do Porto, Portugal (3)
Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
Laboratório Nacional de Energia e Geologia - Portugal (1)
Massachusetts Institute of Technology (6)
National Center for Biotechnology Information - NCBI (7)
Nottingham eTheses (2)
Open University Netherlands (2)
Plymouth Marine Science Electronic Archive (PlyMSEA) (9)
Publishing Network for Geoscientific & Environmental Data (13)
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (87)
Queensland University of Technology - ePrints Archive (215)
Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
Repositorio Institucional de la Universidad de Málaga (1)
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (20)
School of Medicine, Washington University, United States (1)
SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (1)
Universidad Politécnica de Madrid (17)
Universidade Federal do Rio Grande do Norte (UFRN) (2)
Universitat de Girona, Spain (1)
Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
Université de Lausanne, Switzerland (2)
Université de Montréal, Canada (1)
University of Connecticut - USA (1)
University of Michigan (62)
University of Queensland eSpace - Australia (24)
University of Southampton, United Kingdom (3)
University of Washington (1)
WestminsterResearch - UK (3)
Worcester Research and Publications - Worcester Research and Publications - UK (1)

Automated Reasoning

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Automated Reasoning II

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resolution over FOPL

Veja mais

Room for Writing: Automated note taking

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An introductory exercise to practice when reading papers

Veja mais