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...Theoretical computer science, 2016-03, Vol.619, p.1-31
2016
Volltextzugriff (PDF)
Formal methods in system design, 2016-04, Vol.48 (1-2), p.94-147
2016
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2018-01, Vol.26 (3), p.1-48
2018
Volltextzugriff (PDF)
Formal methods in system design, 2011-08, Vol.39 (1), p.1-46
2011
Volltextzugriff (PDF)
NASA Formal Methods, p.597-615
Volltextzugriff (PDF)
Information processing letters, 2017-07, Vol.123, p.8-13
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.465-481
2005
Volltextzugriff (PDF)
Information and computation, 2004-11, Vol.194 (2), p.101-128
2004
Volltextzugriff (PDF)
Information and computation, 2016-08, Vol.249, p.28-75
2016
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2004-01, Vol.26 (1), p.125-185
2004
Volltextzugriff (PDF)
Component-Based Software Engineering, 2006, p.33-49
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2016-04, Vol.28 (2), p.207-231
2016
Volltextzugriff (PDF)
Distributed Computing, 2003, p.151-165
2003
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2001-03, Vol.23 (2), p.187-242
2001
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2018-04, Vol.17 (2), p.1-25
2018
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-10, Vol.115, p.100577-24, Article 100577
2020
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1998-01, Vol.20 (1), p.51-115
1998
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.206-222
2003
Volltextzugriff (PDF)
Information and computation, 2011-06, Vol.209 (6), p.927-950
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.298-309
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.137-151
2001
Volltextzugriff (PDF)
Information processing letters, 2002-08, Vol.83 (4), p.221-227
2002
Volltextzugriff (PDF)
Formal Techniques for Distributed Systems, p.161-177
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Humans
- Life Sciences & Biomedicine
- Computer Science, Artificial Intelligence
- Theoretical Computing
- Female
- Computer Science, Theory & Methods
- Programming Theory
- Biological And Medical Sciences
- Physical Sciences
- Physics
- Medical Sciences
- Software
- Male
- Animals
Kollektion
- Ingenta
- EZB Electronic Journals Library
- Springer Book Series
- Journals@Ovid Full Text
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- Oxford Journals
- Oxford Journals 2020 Medicine
- SpringerLink_现刊
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Online Library
- Wiley Online Library Full Collection 2018
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Nature Journals
- Nexis Uni (LexisNexis)
Zeitschrift / Serie
- The Journal Of Clinical Endocrinology And Metabolism
- Prenatal Diagnosis
- The Journal Of Pediatrics
- The journal Of Clinical Endocrinology And Metabolism/journal Of Clinical Endocrinology & Metabolism
- Acm Transactions On Programming Languages And Systems
- Astronomy And Astrophysics
- Information And Computation
- Journal Of Instrumentation
- Nuclear Instruments & Methods In Physics Research. Section A, Accelerators, Spectrometers, Detectors And Associated Equipment
- Proceedings Of The National Academy Of Sciences - Pnas
Neu hinzugefügt