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...Logical methods in computer science, 2010-09, Vol.6, Issue 3
2010
Volltextzugriff (PDF)
Logical methods in computer science, 2008-09, Vol.4, Issue 3
2008
Volltextzugriff (PDF)
Formal aspects of computing, 2014-07, Vol.26 (4), p.825-859
2014
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.442-459
Volltextzugriff (PDF)
Static Analysis, p.248-264
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.152-168
Volltextzugriff (PDF)
Proceedings of the 4th International Symposium on Wikis, 2008, p.1-10
2008
Volltextzugriff (PDF)
Hand (New York, N.Y.), 2018-11, Vol.13 (6), p.695-704
2018
Volltextzugriff (PDF)
Formal methods in system design, 2013-04, Vol.42 (2), p.146-174
2013
Volltextzugriff (PDF)
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.99-108
2007
Volltextzugriff (PDF)
Proceedings of the 4th International Symposium on Wikis, 2008, p.1-12
2008
Volltextzugriff (PDF)
Computer Aided Verification, 2006, p.59-62
2006
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.294-309
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.293-307
Volltextzugriff (PDF)
Software engineering notes, 2015-02, Vol.40 (1), p.1-5
2015
Volltextzugriff (PDF)
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 2014, p.373-384
2014
Volltextzugriff (PDF)
International Conference On Embedded Software: Proceedings of the 5th ACM international conference on Embedded software; 18-22 Sept. 2005, 2005, p.191-202
2005
Volltextzugriff (PDF)
1999 Fall VIUF Workshop (Cat. No.PR00465), 1999, p.30-39
1999
Volltextzugriff (PDF)
JAMA : the journal of the American Medical Association, 2023-11, Vol.330 (19), p.1852
- Raasveld, Senta Jorinde
- de Bruin, Sanne
- Reuland, Merijn C
- van den Oord, Claudia
- Schenk, Jimmy
- Aubron, Cécile
- Bakker, Jan
- Cecconi, Maurizio
- Feldheiser, Aarne
- Meier, Jens
- Müller, Marcella C A
- Scheeren, Thomas W L
- McQuilten, Zoe
- Flint, Andrew
- Hamid, Tarikul
- Piagnerelli, Michaël
- Tomic Mahecic, Tina
- Benes, Jan
- Russell, Lene
- Aguirre-Bermeo, Hernan
- Triantafyllopoulou, Konstantina
- Chantziara, Vasiliki
- Gurjar, Mohan
- Myatra, Sheila Nainan
- Pota, Vincenzo
- Elhadi, Muhammed
- Gawda, Ryszard
- Mourisco, Mafalda
- Lance, Marcus
- Neskovic, Vojislava
- Podbregar, Matej
- Llau, Juan V
- Quintana-Diaz, Manual
- Cronhjort, Maria
- Pfortmueller, Carmen A
- Yapici, Nihan
- Nielsen, Nathan D
- Shah, Akshay
- de Grooth, Harm-Jan
- Vlaar, Alexander P J
2023
Volltextzugriff (PDF)
Frontiers in microbiology, 2020-07, Vol.11, p.1685-1685
2020
Volltextzugriff (PDF)
Journal of plastic, reconstructive & aesthetic surgery, 2023-11, Vol.86, p.218-221
2023
Volltextzugriff (PDF)
Australian critical care, 2024-04
- Young, Daniel L.
- Al-Ani, Awsse
- Lakhmalla, Mounika
- Raman, Vaishnavi
- Fatima, Arooj
- Friedman, Lisa Aronson
- Challa, Suryanarayana Reddy
- Vasishta, Sumana
- Koneru, Mounica
- Colantuoni, Elizabeth
- Needham, Dale M.
- Dinglas, Victor D.
- Sree Cherukuri, Sai Phani
- Dhonten, Ngawang
- Hiser, Stephanie
- Kota, Pooja
- Nikooie, Roozbeh
- Seth, Bhavna
- Thondamala, Vishwanath
2024
Volltextzugriff (PDF)
Inflammopharmacology, 2022-10, Vol.30 (5), p.1853-1870
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Humans
- Life Sciences & Biomedicine
- Adult
- Logic
- Middle Aged
- Science & Technology - Other Topics
- Symbolic Execution
- Awareness
- Code Analysis
- Covid-19
- Data Collection
- Deadlock Avoidance
- Equivalence Of States
- Exact Sciences And Technology
- Game Semantics
Kollektion
- EZB Free E-Journals
- Ingenta
- ACM Digital Library Complete
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Springer Journals
- Elsevier ScienceDirect Journals
- Journals@Ovid
- IEEE Electronic Library (IEL)
- Publisher or Other Site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Brill Online Journals
- IngentaConnect Journals
- JSTOR Complete Journals
- Optica Publishing Group Journals
- SAGE Complete