Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Rigorous State-Based Methods, p.241-247
Volltextzugriff (PDF)
Robotics and autonomous systems, 2023-12, Vol.170, p.104549, Article 104549
2023
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.15-32
Volltextzugriff (PDF)
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 2023, p.136-141
2023
Volltextzugriff (PDF)
SNE Simulation Notes Europe, 2020-06, Vol.30 (2), p.51-60
2020
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.23-40
2020
Volltextzugriff (PDF)
Integrated Formal Methods, 2020, Vol.12546, p.419-439
2020
Volltextzugriff (PDF)
Journal of object technology, 2020, Vol.19 (3), p.3
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.310 (Proc. F-IDE 2019), p.13-28
2019
Volltextzugriff (PDF)
Integrated Formal Methods, p.65-82
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.275-292
Volltextzugriff (PDF)
Tests and Proofs, p.159-166
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
Tests and Proofs, p.63-82
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
Tests and Proofs, p.27-43
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
Tests and Proofs, p.3-23
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
Tests and Proofs, 2018, Vol.10889
2018
Volltextzugriff (PDF)
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
- Computer Science, Artificial Intelligence
- Logical, Boolean And Switching Functions
- Theorem Proving
- Isabelle/hol
- Logics And Meanings Of Programs
- Mathematical Logic And Formal Languages
- Networking And Internet Architecture
- Programming Languages
- Mathematics
Kollektion
- Ingenta.com
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- SpringerLink
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library (IEL)
- Wiley Online Library Journals【Remote access available】
- MEDLINE
- Wiley Online Library
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Software Testing, Verification & Reliability
- Acm Sigplan Notices
- Acta Informatica
- Electronic Communications Of The Easst
- Electronic Proceedings In Theoretical Computer Science
- International Journal Of Software And Informatics
- International Journal On Software Tools For Technology Transfer