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...Theoretical computer science, 1999-06, Vol.221 (1-2), p.271-293
1999
Volltextzugriff (PDF)
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.497-518
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100813, Article 100813
2023
Volltextzugriff (PDF)
Computer Security – ESORICS 2004, 2004, p.109-124
2004
Volltextzugriff (PDF)
Information Security, 2006, p.476-488
2006
Volltextzugriff (PDF)
Theoretical computer science, 2006-11, Vol.367 (1), p.139-161
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 1997, p.460-470
1997
Volltextzugriff (PDF)
Science of computer programming, 2014-11, Vol.94, p.333-361
2014
Volltextzugriff (PDF)
Science of computer programming, 2011-08, Vol.76 (8), p.711-735
2011
Volltextzugriff (PDF)
2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.125-134
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-01, Vol.93 (Proc. ACCAT 2012), p.23-43
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.48-62
2012
Volltextzugriff (PDF)
Topology and its applications, 1998, Vol.85 (1), p.35-52
1998
Volltextzugriff (PDF)
Performance evaluation, 2009-08, Vol.66 (8), p.435-452
2009
Volltextzugriff (PDF)
Theory and Practice of Formal Methods, 2016, p.242-260
2016
Volltextzugriff (PDF)
2008 8th International Conference on Application of Concurrency to System Design, 2008, p.180-189
2008
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, Vol.2925, p.1-43
2004
Volltextzugriff (PDF)
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007, p.177-186
2007
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.323-351
2004
Volltextzugriff (PDF)
Formal Aspects of Component Software, 2012, Vol.6921, p.125-144
2012
Volltextzugriff (PDF)
International journal of foundations of computer science, 2002-06, Vol.13 (3), p.315-340
2002
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, Vol.2285, p.583-595
2002
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, 2010, p.143-159
2010
Volltextzugriff (PDF)
Annals of the New York Academy of Sciences, 1996-12, Vol.806 (1), p.11-27
1996
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Physical Sciences
- Astronomy & Astrophysics
- Male
- Female
- Biological And Medical Sciences
- Middle Aged
- Cardiovascular System & Cardiology
- Physics
- Technology
- Aged
- Medical Sciences
- Astrophysics
- Stars: Early-Type
- Astroparticle Physics
- Computer Science
- Astropartikelfysik
- Cardiac & Cardiovascular Systems
Kollektion
- EZB Electronic Journals Library
- IngentaConnect_期刊（NSTL购买）
- Publisher or Other Site
- MEDLINE
- SpringerLink
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford journals
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals 2020 Medicine
- American Physical Society
- Wiley Online Library Full Collection 2018
- APS_美国物理学会过刊
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Taylor & Francis Journals Complete
Zeitschrift / Serie
Neu hinzugefügt