Sortiert nach
IEEE transactions on software engineering, 2008-01, Vol.34 (1), p.33-49
2008
- Link zum Volltext
Theoretical computer science, 2004-09, Vol.325 (1), p.111-140
2004
Link zum Volltext
Theoretical computer science, 1999-03, Vol.216 (1), p.237-270
1999
Link zum Volltext
Vaccine, 2003-05, Vol.21 (17), p.1995-2002
2003
Link zum Volltext
Vaccine, 1999-11, Vol.18 (7), p.623-632
1999
Link zum Volltext
Immunological reviews, 1999-08, Vol.170 (1), p.29-38
1999
Link zum Volltext
IEEE transactions on software engineering, 2001-10, Vol.27 (10), p.867-889
2001
- Link zum Volltext
Formal Aspects in Security and Trust, p.96-110
Link zum Volltext
Programming Languages and Systems, p.319-334
Link zum Volltext
Computational Methods in Systems Biology, p.218-234
Link zum Volltext
Principles of Security and Trust, p.89-108
Link zum Volltext
Nature medicine, 2000-03, Vol.6 (3), p.337-342
2000
Link zum Volltext
Formal Aspects of Security and Trust, p.191-205
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-04, Vol.85 (3), p.425-446
2016
Link zum Volltext
Principles of Security and Trust, p.3-29
Link zum Volltext
Future generation computer systems, 2005-05, Vol.21 (5), p.645-653
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2010, Vol.5983, p.111-125
2010
Link zum Volltext
Formal Aspects of Security and Trust, p.80-95
Link zum Volltext
Formal Methods for Computational Systems Biology, p.215-264
Link zum Volltext
Programming Languages and Systems, p.284-301
Link zum Volltext
Future generation computer systems, 2002-05, Vol.18 (6), p.747-756
2002
Link zum Volltext
Programming Languages and Systems, p.159-173
Link zum Volltext
Programming Languages and Systems, p.204-222
Link zum Volltext
Programming Languages and Systems, p.302-318
Link zum Volltext
Principles of Security and Trust, p.269-289
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Theoretical Computing
- Humans
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Information Systems
- Biological And Medical Sciences
- Animals
- Female
- Operational Semantic
- Mathematical & Computational Biology
- Male
- Biochemistry & Molecular Biology
Kollektion
- IngentaConnect
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- IngentaConnect Journals
- IEL
- Wiley Online Library Journals
- SpringerLink Journals - AutoHoldings
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
- JSTOR
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Science Magazine
- Taylor & Francis Journals Auto-Holdings Collection
- ACM Digital Library
- Nature_系列刊
Zeitschrift / Serie
Neu hinzugefügt