Sortiert nach
1st ed. 2019., 2019
Link zum Volltext
Lecture notes in computer science, 2004, Vol.3098
1, 2004
Link zum Volltext
IEEE access, 2016, Vol.4, p.4104-4118
2016
Link zum Volltext
2010 edition, 2010
Link zum Volltext
International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.659-673
2023
Link zum Volltext
Acta informatica, 2019-04, Vol.56 (3), p.229-253
2019
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, p.372-389
Link zum Volltext
1. Aufl., 2010
Link zum Volltext
Computing, 2017-02, Vol.99 (2), p.127-127
2017
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.171-188
Link zum Volltext
Advances in Service-Oriented and Cloud Computing, p.77-89
Link zum Volltext
Software and systems modeling, 2013-02, Vol.12 (1), p.5-9
2013
Link zum Volltext
Zweite, überarbeitete und erweiterte Auflage
Link zum Volltext
Business Process Management Forum, p.89-104
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, p.65-81
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software Engineering
- Petri Nets
- Computer Science, Theory & Methods
- Computer Communication Networks
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematical Logic
- Program Concepts / Learning To Program
- Computer Science, Software Engineering
- Computers
- Logic Design
- Theory Of Computation
- Computer Networks
- Computer Science, Information Systems
- Theoretical Computing
- Life Sciences: General Issues
Kollektion
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer LINK 全文期刊数据库
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Thieme Connect (journals)
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
Zeitschrift / Serie