Sortiert nach
Electronic proceedings in theoretical computer science, 2019-12, Vol.310 (Proc. F-IDE 2019), p.13-28
2019
Link zum Volltext
Robotics and autonomous systems, 2023-12, Vol.170, p.104549, Article 104549
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-02, Vol.79 (Proc. THedu 2011), p.143-153
2012
Link zum Volltext
Intelligent Computer Mathematics, 2018, p.23-38
2018
Link zum Volltext
Integrated Formal Methods, 2020, Vol.12546, p.419-439
2020
Link zum Volltext
Integrated Formal Methods, p.65-82
Link zum Volltext
Software Engineering and Formal Methods, p.275-292
Link zum Volltext
Formal aspects of computing, 2013-09, Vol.25 (5), p.683-721
2013
Link zum Volltext
Tests and Proofs, p.120-138
Link zum Volltext
Tests and Proofs, p.177-184
Link zum Volltext
Software testing, verification & reliability, 2015-01, Vol.25 (1), p.34-71
2015
Link zum Volltext
Formal aspects of computing, 2013-09, Vol.25 (5), p.683-721
2013
Link zum Volltext
Tests and Proofs, p.134-151
Link zum Volltext
Tests and Proofs, p.159-166
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Computer Science, Artificial Intelligence
- Theorem Proving
- Networking And Internet Architecture
- Isabelle/hol
- Logics And Meanings Of Programs
- Mathematical Logic And Formal Languages
- Mathematics
- Programming Languages
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- SpringerLink (Online service)
- Lippincott E Journal Collection
- Elsevier ScienceDirect Journals Complete
- IEL
- Wiley Online Library Journals
- MEDLINE
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Electronic Proceedings In Theoretical Computer Science
- Software Testing, Verification & Reliability
- Acm Sigplan Notices
- Acta Informatica
- Arxiv
- Electronic Communications Of The Easst
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt