Sortiert nach
Energy policy, 2008-08, Vol.36 (8), p.2930-2938
2008
Link zum Volltext
Powder technology, 2008-06, Vol.184 (3), p.361-365
2008
Link zum Volltext
Computers & fluids, 2009-03, Vol.38 (3), p.572-589
2009
Link zum Volltext
1st ed. 2017 edition., 2017
Link zum Volltext
The Journal of the Acoustical Society of America, 2011, Vol.130 (6), p.4179
2011
Link zum Volltext
BMC musculoskeletal disorders, 2011-05, Vol.12 (1), p.101-101, Article 101
2011
Link zum Volltext
Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.772-783
2012
Link zum Volltext
Journal of biotechnology, 2015-09, Vol.210, p.59-65
2015
Link zum Volltext
Theoretical computer science, 2015-11, Vol.605, p.62-79
2015
Link zum Volltext
Formal methods in system design, 2017-11, Vol.51 (2), p.308-331
2017
Link zum Volltext
Journal of biomechanics, 2012-02, Vol.45 (3), p.602-604
2012
Link zum Volltext
Computer methods and programs in biomedicine, 2013-04, Vol.110 (1), p.82-88
2013
Link zum Volltext
Computer Security – ESORICS 2016, p.80-98
Link zum Volltext
Compiler Construction, p.244-249
Link zum Volltext
Tests and Proofs, p.197-213
Link zum Volltext
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.1485-1486
2013
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.151-166
Link zum Volltext
Programming Languages and Systems, p.472-491
Link zum Volltext
Hardware and Software: Verification and Testing, p.9-22
Link zum Volltext
Fundamental Approaches to Software Engineering, p.84-99
Link zum Volltext
Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies, 2013, p.3-6
2013
Link zum Volltext
FM 2016: Formal Methods, p.370-387
Link zum Volltext
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013, p.37-47
2013
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.33-46
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Female
- Male
- Technology
- Middle Aged
- Biological And Medical Sciences
- Aged
- Adult
- Medical Sciences
- General & Internal Medicine
- Physical Sciences
- Animals
- Critical Care Medicine
- Chemistry
- Cardiopulmonary Resuscitation
- Anesthesia. Intensive Care Medicine. Transfusions. Cell Therapy And Gene Therapy
- Emergency Medicine
- Engineering
Kollektion
- Ingenta
- MEDLINE
- EZB Electronic Journals Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Journals (MCLS)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Blackwell Single Titles
- SpringerLink Series
- Wiley Online Library
- JSTOR
- Oxford Journals Online Current
- De Gruyter journals
- Oxford Journals 2020 Medicine
- IEEE/IET Electronic Library (IEL)
Zeitschrift / Serie
Neu hinzugefügt