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...Journal of applied physics, 2013-06, Vol.113 (23)
2013
Volltextzugriff (PDF)
Journal of applied physics, 2010-12, Vol.108 (12), p.124502-124502-6
2010
Volltextzugriff (PDF)
Applied physics letters, 2013-10, Vol.103 (15)
2013
Volltextzugriff (PDF)
Microelectronic engineering, 2012-08, Vol.96, p.36-39
2012
Volltextzugriff (PDF)
Thin solid films, 2011-06, Vol.519 (16), p.5623-5628
2011
Volltextzugriff (PDF)
Neurology, 2000-07, Vol.55 (2), p.178-184
2000
Volltextzugriff (PDF)
2016 European Conference on Silicon Carbide & Related Materials (ECSCRM), 2017-05, Vol.897, p.1-1, Article 226
2017
Volltextzugriff (PDF)
Transfusion (Philadelphia, Pa.), 1999-11, Vol.39 (11), p.1179-1184
1999
Volltextzugriff (PDF)
Journal of neurology, 2003-06, Vol.250 (6), p.668-671
2003
Volltextzugriff (PDF)
Transfusion (Philadelphia, Pa.), 1996-05, Vol.36 (5), p.445-449
1996
Volltextzugriff (PDF)
Microelectronic engineering, 2013-03, Vol.103, p.17-17
2013
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.473-492
2016
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.193-228
2022
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.149-166
2016
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.147-172
2022
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.408-436
2022
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.571-589
2016
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, p.129-146
2022
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.21-64
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.453-471
2016
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Computer Science
- Physical Sciences
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Female
- Male
- Animals
- Physics
- Symbolic Execution
- Computer Science, Artificial Intelligence
- Biological And Medical Sciences
- Middle Aged
- Exact Sciences And Technology
- Adult
- Chemistry
- Proof Obligation
Kollektion
- Ingenta.com
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Free E-Journal (出版社公開部分のみ）
- MEDLINE
- SpringerLink Series
- Journals@Ovid Full Text
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- ScienceDirect
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- Publisher website
- Taylor & Francis eBooks A-Z
- IEEE Xplore
- Taylor & Francis:Master (3349 titles)
- Nexis Uni
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
Neu hinzugefügt