Sortiert nach
2013, 2013
Link zum Volltext
1st ed. 2019., 2019
Link zum Volltext
Informatik-Spektrum, 2020, Vol.43 (4), p.262-271
2020
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
Informatik-Spektrum, 2014, Vol.37 (3), p.172-190
2014
Link zum Volltext
Informatik-Spektrum, 2014, Vol.37 (3), p.165-167
2014
Link zum Volltext
Informatik-Spektrum, 2010-10, Vol.33 (5), p.514-538
2010
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
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
2013
Link zum Volltext
2., uberarb. u. erw. Aufl. 1986. 1. unverand. Nach, 2013
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Petri Nets
- Software Engineering/programming And Operating Systems
- Program Concepts / Learning To Program
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Theory Of Computation
- Computer Science, Information Systems
- Mathematical Logic
- Theoretical Computing
- Life Sciences: General Issues
- Computer Hardware
- Computer Systems Organization And Communication Networks
- Data Structures And Information Theory
Kollektion
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Free E-Journal (出版社公開部分のみ）
- IEL
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Thieme - Connect here FIRST to enable access
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- ACM Digital Library
- IngentaConnect Journals
Zeitschrift / Serie