Sortiert nach
1, 2024
Link zum Volltext
1, 2024
Link zum Volltext
1, 2024
Link zum Volltext
Theoretical computer science, 2022-02, Vol.903, p.113-133
2022
Link zum Volltext
Discrete & computational geometry, 2023-01, Vol.69 (1), p.4-25
2023
Link zum Volltext
Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Link zum Volltext
Formal Methods, p.3-9
Link zum Volltext
Formal methods in system design, 2024-06
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.1497-1525
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.882-910, Article 30
2024
Link zum Volltext
Fundamental Approaches to Software Engineering, p.470-485
Link zum Volltext
17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, Taipei, Taiwan, 2019, Vol.11781 LNCS, p.255-276
2019
Link zum Volltext
Formal aspects of computing, 2022-07, Vol.34 (1), p.1-31
2022
Link zum Volltext
Frontiers in microbiology, 2019-04, Vol.10, p.605-605
2019
Link zum Volltext
Integrated Formal Methods, 2016, Vol.9681, p.20-27
2016
Link zum Volltext
10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 2020, Vol.12166 LNAI, p.297-315
2020
Link zum Volltext
Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.176-193
2023
Link zum Volltext
Disease models & mechanisms, 2016-05, Vol.9 (5), p.501-512
2016
Link zum Volltext
Formal methods in system design, 2022-08, Vol.61 (1), p.90-109
2022
Link zum Volltext
Journal of symbolic computation, 2017-05, Vol.80, p.101-124
2017
Link zum Volltext
Peptides (New York, N.Y. : 1980), 2011-08, Vol.32 (8), p.1724-1731
2011
Link zum Volltext
Integrated Formal Methods, p.21-39
Link zum Volltext
Intelligent Computer Mathematics, p.191-208
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Female
- Male
- Computer Science
- Technology
- Adolescent
- Biological And Medical Sciences
- Computer Science, Theory & Methods
- Middle Aged
- Physical Sciences
- Medicin Och Hälsovetenskap
- Aged
- Adult
- Cross-Sectional Studies
- Europe
- Animals
- Child
- Computer Science, Software Engineering
Kollektion
- Ingenta
- MEDLINE
- Free E-Journal (出版社公開部分のみ）
- Journals@Ovid Ovid Full Text
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- Springer Nature - Complete Springer Journals
- Wiley Blackwell Single Titles
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Full Collection 2018
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Nature_系列刊
- JSTOR
- IEEE Electronic Library (IEL)
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
Neu hinzugefügt