Sortiert nach
Journal of general virology, 2000-09, Vol.81 (9), p.2147-2153
2000
Volltextzugriff (PDF)
Critical reviews in oncology/hematology, 2007-11, Vol.64, p.S38-S38
2007
Volltextzugriff (PDF)
Targeted oncology, 2006-10, Vol.1 (4), p.215-219
2006
Volltextzugriff (PDF)
Bulletin de la Société de pathologie exotique, 1997, Vol.90 (1), p.19-21
1997
Volltextzugriff (PDF)
Journal of clinical oncology, 2008-05, Vol.26 (15_suppl), p.20746-20746
2008
Volltextzugriff (PDF)
Revue neurologique, 2000, Vol.156 (3), p.236-241
2000
Volltextzugriff (PDF)
Biochemical and biophysical research communications, 2005-04, Vol.330 (1), p.5-10
2005
Volltextzugriff (PDF)
Revue neurologique, 2000-03, Vol.156 (3), p.236-241
2000
Volltextzugriff (PDF)
Bulletin de la Societe de pathologie exotique (1990), 1997, Vol.90 (1), p.19-21
1997
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2003-07, Vol.29 (7), p.623-633
2003
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.491-504
2005
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2005-07, Vol.27 (4), p.786-818
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.226-238
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.321-334
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.548-562
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.350-363
2005
Volltextzugriff (PDF)
SIAM journal on computing, 2005, Vol.34 (5), p.1159-1175
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.39-51
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.52-66
2005
Volltextzugriff (PDF)
Blood, 2016-12, Vol.128 (22), p.5652-5652
2016
Volltextzugriff (PDF)
Blood, 2016-12, Vol.128 (22), p.5654-5654
2016
Volltextzugriff (PDF)
Automata, Languages and Programming, 2001, p.797-808
2001
Volltextzugriff (PDF)
Algorithmic Game Theory, p.231-243
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.199-211
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.158-163
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Model Check
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Animals
- Theoretical Computing
- Automata. Abstract Machines. Turing Machines
- Automata
- Humans
- Rats
- Temporal Logic
- Adult
Kollektion
- IngentaConnect
- Springer Book Series
- MEDLINE
- IngentaConnect Journals
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- IEEE Xplore
- EBSCOhost Business Source Ultimate
- Journals@Ovid Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Nexis Uni
- Springer Nature - Complete Springer Journals
Zeitschrift / Serie
- Blood
- Revue Neurologique
- Acm Transactions On Computational Logic
- Acm Transactions On Programming Languages And Systems
- Archives Of Pathology & Laboratory Medicine
- Biochemical And Biophysical Research Communications
- Bulletin De La Societe De Pathologie Exotique
- Critical Reviews In Oncology/hematology
- Human Immunology
- Ieee Transactions On Software Engineering