Sortiert nach
Lecture notes in computer science, 2004, p.33-48
2004
Volltextzugriff (PDF)
2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.362-381
2010
Volltextzugriff (PDF)
Bioinformatics, 2018-07, Vol.34 (13), p.i583-i592
2018
Volltextzugriff (PDF)
Proceedings of the National Academy of Sciences - PNAS, 2009-04, Vol.106 (16), p.6453-6458
2009
Volltextzugriff (PDF)
PLoS computational biology, 2024-07, Vol.20 (7), p.e1011858
2024
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.42-58
2005
Volltextzugriff (PDF)
Theoretical computer science, 2012-05, Vol.431, p.137-164
2012
Volltextzugriff (PDF)
PloS one, 2012-03, Vol.7 (3), p.e32032-e32032
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.412-430
2001
Volltextzugriff (PDF)
BioSystems, 2016-11, Vol.149, p.70-112
2016
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.228-251
2023
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.145-159
Volltextzugriff (PDF)
Formal Methods in Systems Biology, p.103-122
Volltextzugriff (PDF)
Formal methods in system design, 2009-12, Vol.35 (3), p.229-264
2009
Volltextzugriff (PDF)
Theoretical computer science, 2019-04, Vol.765, p.1-2
2019
Volltextzugriff (PDF)
Static Analysis, p.84-113
Volltextzugriff (PDF)
IEEE/ACM transactions on computational biology and bioinformatics, 2018-07, Vol.15 (4), p.1124-1137
2018
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.291-299
Volltextzugriff (PDF)
Chaos (Woodbury, N.Y.), 2010-09, Vol.20 (3), p.037108-037108-16
2010
Volltextzugriff (PDF)
CONCUR 2007 – Concurrency Theory, p.17-41
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.196-213
Volltextzugriff (PDF)
Programming Languages and Systems, p.139-157
Volltextzugriff (PDF)
The Essence of Computation, p.85-108
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.158-179
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Life Sciences & Biomedicine
- Life Sciences
- Computer Science, Theory & Methods
- Mathematical & Computational Biology
- Quantitative Methods
- Biochemistry & Molecular Biology
- Biochemical Research Methods
- Bioinformatics
- Abstract Interpretation
- Computer Science, Software Engineering
- Other
- Physical Sciences
- Software
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Model Reduction
Kollektion
- Ingenta
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Access via ScienceDirect (Elsevier)
- ACM Digital Library
- MEDLINE
- IEEE Xplore
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- LWW Total
- Publisher website
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals
- JSTOR
- Springer Nature - Connect here FIRST to enable access
- Scitation (American Institute of Physics)
- Springer Online Journals
- Wiley Online Library All Obooks
Zeitschrift / Serie
Neu hinzugefügt