Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Theorem Proving in Higher Order Logics, p.73-78
Volltextzugriff (PDF)
Curēus (Palo Alto, CA), 2024-04
2024
Volltextzugriff (PDF)
Mathematical structures in computer science, 2016-01, Vol.26 (1), p.38-88
2016
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, 2009, Vol.5520, p.57-99
2009
Volltextzugriff (PDF)
Mathematical structures in computer science, 2005-08, Vol.15 (4), p.671-708
2005
Volltextzugriff (PDF)
Mathematical structures in computer science, 2012-01
2012
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005 (LNCS 3461), p.116-130
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.82-97
2006
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, Vol.LNCS 5170, p.102-117
2008
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, p.70-83
2007
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-12, Vol.43
2010
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, Vol.2646, p.39-58
2003
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, 2012, Vol.7213, p.104-118
2012
Volltextzugriff (PDF)
Electronic Notes in Theoretical Computer Science, 2009-08, Vol.249 (ENTCS), p.61-74
2009
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, Vol.LNCS 2152, p.121-125
2001
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.252-300
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2016-07, Vol.323, p.109-124
2016
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.195-251
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.153-194
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.100-152
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.1-56
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Computer Science
- Humans
- Technology
- Computer Science, Theory & Methods
- Female
- Type Theory
- Software Engineering
- Male
- 3d Graphics & Modelling
- Adult
- Animals
- Computer Science, Software Engineering
- Programming & Scripting Languages: General
- Public, Environmental & Occupational Health
- Maintenance & Repairs
- Systems Management
- Middle Aged
- Qualitative Research
Kollektion
- Ingenta
- EZB Electronic Journals Library
- MEDLINE
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid Ovid Full Text
- IngentaConnect Journals
- Single Journals
- Wiley Journals
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- Wiley Online Library
- SAGE Publications
- Springer Journals
- Applied Social Sciences Index & Abstracts (ASSIA)
- ERIC
- PAIS Index
- JSTOR
- Nexis Uni (LexisNexis)
Zeitschrift / Serie
- Annals Of Neurology
- Health Education & Behavior
- Mathematical Structures In Computer Science
- Public Health Nutrition
- American Journal Of Physical Anthropology
- Breast Cancer Research : Bcr
- Electronic Notes In Theoretical Computer Science
- Frontiers In Plant Science
- Texas Heart Institute Journal
- Acm Sigplan Lisp Pointers/lisp Pointers