Es ist ein Fehler in der Kommunikation mit einem externen System aufgetreten. Bitte versuchen Sie Ihre letzte Aktion erneut. Sollte der Fehler bestehen bleiben, setzen Sie sich bitte mit dem Informationszentrum der Bibliothek in Verbindung oder versuchen Sie es später erneut.
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...1, 1999
Volltextzugriff (PDF)
Runtime Verification, p.264-273
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.256-272
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.579-595
Volltextzugriff (PDF)
Bell Labs technical journal, 2009-09, Vol.14 (3), p.167-185
2009
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.207-222
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, p.157-173
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.806-809
Volltextzugriff (PDF)
Formal methods in system design, 2010-12, Vol.37 (2-3), p.93-94
2010
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.532-546
Volltextzugriff (PDF)
Model Checking Software, p.1-1
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.1-15
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.14-21
2002
Volltextzugriff (PDF)
Formal aspects of computing, 2011-11, Vol.23 (6), p.681-681
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2011-11, Vol.23 (6), p.681
2011
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.547-562
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1997-03, Vol.19 (2), p.253-291
1997
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.354-369
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.89-105
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.692-707
Volltextzugriff (PDF)
Formal aspects of computing, 2011, Vol.23 (6), p.681-681
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2011, Vol.23 (6)
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.216-232
2005
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.810-813
Volltextzugriff (PDF)
Formal Methods for Components and Objects, 2006, p.138-160
2006
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Humans
- Life Sciences & Biomedicine
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Male
- Model Check
- Female
- Software Engineering
- Software
- Aged
- Middle Aged
- Neurosciences
- Neurosciences & Neurology
- Adult
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- MEDLINE
- EZB Electronic Journals Library
- LWW Total
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- IngentaConnect Journals
- Publisher or Other Site
- ACM Digital Library
- Wiley Online Library
- Oxford journals
- Oxford Journals 2020 Medicine
- Wiley Online Library Full Collection 2018
- Nature_系列刊
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EBSCO_Psychology & Behavioral Sciences Collection
- Nexis Uni
- IEEE/IET Electronic Library (IEL)
Zeitschrift / Serie