Sortiert nach
1, 2018
Link zum Volltext
Journal of automated reasoning, 2017-08, Vol.59 (2), p.219-265
2017
Link zum Volltext
1. Aufl., 2010
Link zum Volltext
Journal of automated reasoning, 2008-08, Vol.41 (2), p.143-189
2008
Link zum Volltext
Journal of automated reasoning, 2022-02, Vol.66 (1), p.173-173
2022
Link zum Volltext
Journal of the ACM, 2020-04, Vol.67 (1), p.1-66
2020
Link zum Volltext
Formal methods in system design, 2016-10, Vol.49 (1-2), p.33-74
2016
Link zum Volltext
The International journal of robotics research, 2017-10, Vol.36 (12), p.1312-1340
2017
Link zum Volltext
ACM transactions on computational logic, 2015-12, Vol.17 (1), p.1-51
2015
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.819-828
2018
Link zum Volltext
Formal methods in system design, 2021-10, Vol.58 (1-2), p.5-41
2021
Link zum Volltext
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24
2012
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.67-81
2017
Link zum Volltext
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Link zum Volltext
ACM transactions on embedded computing systems, 2022-10, Vol.22 (1), p.1-30, Article 10
2022
Link zum Volltext
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.541-550
2012
- Link zum Volltext
Formal methods in system design, 2013-10, Vol.43 (2), p.338-367
2013
Link zum Volltext
ACM transactions on embedded computing systems, 2021-10, Vol.20 (5s), p.1-26, Article 93
2021
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.115-124
2018
Link zum Volltext
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.505-514
2016
Link zum Volltext
2018 IEEE International Test Conference (ITC), 2018, p.1-7
2018
- Link zum Volltext
ACM computing surveys, 2015-09, Vol.48 (1), p.1-40
2015
Link zum Volltext
IEEE intelligent systems, 2009-07, Vol.24 (4), p.10-13
2009
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Hybrid Systems
- Artificial Intelligence
- Computer Programming / Software Development
- Computer Science, Theory & Methods
- Mathematical Theory Of Computation
- Engineering
- Automation & Control Systems
- Logic
- Differential Dynamic Logic
- Life Sciences & Biomedicine
- Safety
- Science & Technology - Other Topics
- Theorem Proving
- Engineering, Electrical & Electronic
- Mathematical Model
- Differential Equations
- Humans
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- IEEE Xplore
- Free E-Journal (出版社公開部分のみ）
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- NUS Single-Journal Subscriptions
- Oxford Journals
- EBSCOhost Business Source Ultimate
- Oxford Journals 2020 Medicine
- BMJ Journals
- IngentaConnect Journals
- Jstor Complete Legacy
- Wiley Online Library Full Collection 2018
- Nexis Uni
- Springer Book Series
- IngentaConnect
Zeitschrift / Serie