Sortiert nach
Computer Security – ESORICS 2004, 2004, p.109-124
2004
Link zum Volltext
Theoretical computer science, 1999-06, Vol.221 (1-2), p.271-293
1999
Link zum Volltext
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.497-518
2012
Link zum Volltext
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100813, Article 100813
2023
Link zum Volltext
Information Security, 2006, p.476-488
2006
Link zum Volltext
Theoretical computer science, 2006-11, Vol.367 (1), p.139-161
2006
Link zum Volltext
Lecture notes in computer science, 1997, p.460-470
1997
Link zum Volltext
Science of computer programming, 2014-11, Vol.94, p.333-361
2014
Link zum Volltext
Science of computer programming, 2011-08, Vol.76 (8), p.711-735
2011
Link zum Volltext
2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.125-134
2010
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-01, Vol.93 (Proc. ACCAT 2012), p.23-43
2012
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.48-62
2012
Link zum Volltext
Topology and its applications, 1998, Vol.85 (1), p.35-52
1998
Link zum Volltext
Performance evaluation, 2009-08, Vol.66 (8), p.435-452
2009
Link zum Volltext
Theory and Practice of Formal Methods, p.242-260
Link zum Volltext
2008 8th International Conference on Application of Concurrency to System Design, 2008, p.180-189
2008
- Link zum Volltext
Lecture notes in computer science, 2004, p.1-43
2004
Link zum Volltext
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007, p.177-186
2007
- Link zum Volltext
Formal Methods and Stochastic Models for Performance Evaluation, 2006, p.47-62
2006
Link zum Volltext
The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.323-351
2004
Link zum Volltext
Formal Aspects of Component Software, p.125-144
Link zum Volltext
Lecture notes in computer science, 2002, p.583-595
2002
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.143-159
Link zum Volltext
Annals of the New York Academy of Sciences, 1996-12, Vol.806 (1), p.11-27
1996
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Physical Sciences
- Male
- Astronomy & Astrophysics
- Female
- Biological And Medical Sciences
- Middle Aged
- Cardiovascular System & Cardiology
- Medical Sciences
- Technology
- Aged
- Stars: Early-Type
- Computer Science
- Physics
- Astrophysics
- Peripheral Vascular Disease
- Cardiac & Cardiovascular Systems
- Computer Science, Theory & Methods
Kollektion
- Free E-Journal (出版社公開部分のみ）
- Ingenta
- Publisher website
- SpringerLink (Online service)
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Core Title
- Springer Book Series (Lecture Notes)
- Oxford journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals 2020 Medicine
- Wiley Online Library
- APS: American Physical Society E-Journals (Physics)
- Taylor & Francis Current Content Access
- Psychology & Behavioral Sciences Collection
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
Zeitschrift / Serie
Neu hinzugefügt