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...Emerging infectious diseases, 2004-02, Vol.10 (2), p.311-316
2004
Volltextzugriff (PDF)
The Journal of infectious diseases, 2004-09, Vol.190 (6), p.1127-1131
- Tong, Suxiang
- Lingappa, Jairam R.
- Chen, Qi
- Shu, Bo
- LaMonte, Ashley C.
- Cook, Byron T.
- Birge, Charryse
- Wang Chern, Shur-wern
- Liu, Xin
- Galloway, Renee
- Le Quynh, Mai
- Wai, Fu Ng
- Yang, Jyh-Yuan
- Butany, Jagdish
- Comer, James A.
- Monroe, Stephan S.
- Beard, Suzanne R.
- Ksiazek, Thomas G.
- Erdman, Dean
- Rota, Paul A.
- Pallansch, Mark A.
- Anderson, Larry J.
2004
Volltextzugriff (PDF)
Computer Aided Verification, p.243-257
Volltextzugriff (PDF)
Computer Aided Verification, p.24-40
Volltextzugriff (PDF)
Computer Aided Verification, p.354-359
Volltextzugriff (PDF)
Computer Aided Verification, p.167-170
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.251-266
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.199-213
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.137-150
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.378-394
Volltextzugriff (PDF)
Computer Aided Verification, p.258-272
Volltextzugriff (PDF)
Computer Aided Verification, p.360-364
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.346-362
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.1-28
Volltextzugriff (PDF)
Computer Aided Verification, p.585-599
Volltextzugriff (PDF)
Computer Aided Verification, p.227-242
Volltextzugriff (PDF)
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
Volltextzugriff (PDF)
Severe Acute Respiratory Syndrome, 2005, p.58-63
2005
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.44-58
Volltextzugriff (PDF)
Computer Aided Verification, p.660-664
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.299-313
Volltextzugriff (PDF)
Computer Aided Verification, p.171-174
Volltextzugriff (PDF)
Computer Aided Verification, p.645-659
Volltextzugriff (PDF)
Computer Aided Verification, p.566-569
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
- Life Sciences & Biomedicine
- Model Check
- Exact Sciences And Technology
- Software Engineering
- Applied Sciences
- Software
- Computer Science; Control Theory; Systems
- Humans
- Animals
- Formal Verification
- Model Checking
- Female
- Male
- Biological And Medical Sciences
- Termination
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta Connect
- SpringerLink Series
- EZB-FREE-00999 freely available EZB journals
- MEDLINE
- ACM Digital Library
- Ovid SocietyJournals and Single Titles
- Elsevier ScienceDirect Journals Complete
- Single Journals
- IngentaConnect Journals
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Journals (MCLS)
- Jstor Complete Legacy
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals
- Oxford journals
- EBSCOhost Business Source Ultimate
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie