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, 2009, p.23-42
2009
Volltextzugriff (PDF)
Requirements engineering, 2010-03, Vol.15 (1), p.7-40
2010
Volltextzugriff (PDF)
Applicable Formal Methods for Safe Industrial Products, 2023, Vol.14165, p.320-332
2023
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022, Vol.13701, p.124-138
2022
Volltextzugriff (PDF)
FM 2009: Formal Methods, 2009, p.806-809
2009
Volltextzugriff (PDF)
Information and computation, 2008-02, Vol.206 (2), p.213-249
2008
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2006, p.142-155
2006
Volltextzugriff (PDF)
Computer Security – ESORICS 2006, 2006, p.225-242
2006
Volltextzugriff (PDF)
2009 31st International Conference on Software Engineering - Companion Volume, 2009, p.429-430
2009
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.338-357
2000
Volltextzugriff (PDF)
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, p.761-766
2013
Volltextzugriff (PDF)
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014, p.57-72
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.243-258
2005
Volltextzugriff (PDF)
Architecting Systems with Trustworthy Components, 2006, p.137-151
2006
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.61-76
2000
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.96-115
1998
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.420-439
2000
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.235-254
2000
Volltextzugriff (PDF)
ZUM '97: The Z Formal Specification Notation, 2005, p.52-71
2005
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.77-96
2000
Volltextzugriff (PDF)
Lecture notes in computer science, 1999, Vol.1690, p.37-54
1999
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.358-379
2000
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.318-337
2000
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.97-115
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Computer Science
- Technology
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Male
- Female
- Software
- Theoretical Computing
- 21st Century
- Child
- Funding Of Education
- Universities / Polytechnics
- Adolescent
- Software Engineering
Kollektion
- Ingenta
- EZB Electronic Journals Library
- Springer Book Series (Lecture Notes)
- MEDLINE
- Ovid SocietyJournals and Single Titles
- Publisher or Other Site
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- Cambridge Core All Books
- Wiley-Blackwell Journals
- Elsevier ScienceDirect Journals Complete
- Oxford journals
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- Wiley Online Library
- Nature Journals
- Springer Online Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Nexis Uni
Zeitschrift / Serie
- The Journal Of Clinical Endocrinology And Metabolism
- Cancer
- The New England Journal Of Medicine
- Nature Medicine
- The journal Of Clinical Endocrinology And Metabolism/journal Of Clinical Endocrinology & Metabolism
- American Journal Of Human Genetics
- Faraday Discussions
- Genetics In Medicine
- Academic Medicine
- Journal Of Investigative Dermatology