Sortiert nach
Nature communications, 2023-05, Vol.14 (1), p.2577-2577, Article 2577
2023
Link zum Volltext
The journal of pathology. Clinical research, 2022-03, Vol.8 (2), p.129-142
2022
Link zum Volltext
Logical methods in computer science, 2014-02, Vol.10, Issue 1
2014
Link zum Volltext
New biotechnology, 2023-12, Vol.78, p.52-67
2023
Link zum Volltext
Talanta (Oxford), 2024-01, Vol.266 (Pt 1), p.124946-124946, Article 124946
2024
Link zum Volltext
Journal of the ACM, 2014-11, Vol.61 (6), p.1-35
2014
Link zum Volltext
Journal of computer and system sciences, 2017-03, Vol.84, p.144-170
2017
Link zum Volltext
Taming the Infinities of Concurrency, 2024, Vol.14660, p.148-154
2024
Link zum Volltext
Journal of computer and system sciences, 2015-02, Vol.81 (1), p.288-310
2015
Link zum Volltext
Performance evaluation, 2017-11, Vol.116, p.84-100
2017
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Verification, p.322-335
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.181-187
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Link zum Volltext
Acta informatica, 2012-06, Vol.49 (4), p.203-224
2012
Link zum Volltext
Formal methods in system design, 2013-10, Vol.43 (2), p.124-163
2013
Link zum Volltext
Information and computation, 2013-01, Vol.222, p.121-138
2013
Link zum Volltext
Information and computation, 2013-03, Vol.224, p.46-70
2013
Link zum Volltext
Journal of computer and system sciences, 2014-02, Vol.80 (1), p.139-156
2014
Link zum Volltext
Information and computation, 2011-08, Vol.209 (8), p.1160-1183
2011
Link zum Volltext
Computer Aided Verification, p.23-38
Link zum Volltext
Information and computation, 2012, Vol.210, p.87-110
2012
Link zum Volltext
Mathematical and Engineering Methods in Computer Science, p.94-105
Link zum Volltext
Automated Technology for Verification and Analysis, p.462-478
Link zum Volltext
Information and computation, 2008-05, Vol.206 (5), p.520-537
2008
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Physical Sciences
- Neurosciences & Neurology
- Neurosciences
- Humans
- Logic
- Mathematics
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Science & Technology - Other Topics
- Male
- Computer Science, Hardware & Architecture
- Young Adult
- Adult
- Czech Republic
- Europe
Kollektion
- Ingenta.com
- Free E-Journal (出版社公開部分のみ）
- Access via ScienceDirect (Elsevier)
- HEAL-Link subscriptions: Springer Book Series
- IngentaConnect Journals
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Journals【Remote access available】
- Journals@Ovid Full Text
- IEEE Xplore
- ACM Digital Library
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Full Collection 2018
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- Access via Taylor & Francis
- Psychology & Behavioral Sciences Collection
- Nature Journals Online