Sortiert nach
1st Edition 2017, 2017
Link zum Volltext
Science of computer programming, 2021-06, Vol.206, p.102626, Article 102626
2021
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
1, 1999
Link zum Volltext
1, 2017
Link zum Volltext
Theoretical computer science, 2014-06, Vol.538, p.1-1
2014
Link zum Volltext
Software Engineering for Collective Autonomic Systems, p.3-71
Link zum Volltext
2017
Link zum Volltext
ACM computing surveys, 2013-10, Vol.46 (1), p.5
2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-07, Vol.85
2012
Link zum Volltext
From Data to Models and Back, p.78-90
Link zum Volltext
Coordination Models and Languages, 2020, p.230-239
2020
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355
2009
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355-357
2009
Link zum Volltext
ACM computing surveys, 2014, Vol.46 (1)
2014
Link zum Volltext
Theoretical Computer Science, p.222-235
Link zum Volltext
Software, Services, and Systems, p.619-640
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.132-151
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-07, Vol.57
2011
Link zum Volltext
Formal aspects of computing, 1999-12, Vol.11 (6), p.637-664
1999
Link zum Volltext
Advances in Model and Data Engineering in the Digitalization Era, p.285-301
Link zum Volltext
Trustworthy Global Computing, p.297-314
Link zum Volltext
ModelEd, TestEd, TrustEd, p.254-275
Link zum Volltext
Performance evaluation review, 2019-01, Vol.46 (2), p.30-32
2019
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Model Checking
- Algebra
- Compilers
- Discrete Time Markov Chains
- Formal Semantics
- Mathematics
- Programming Languages, Compilers, Interpreters
- Software
- Theoretical Computing
- Verification
- Autonomic Computing
- Collective Adaptive Systems
- Computer Logic
- Computer Programming, Programs, Data
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- Springer Book Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- SpringerLink
- EBSCOhost Business Source Ultimate
- Wiley Online Library All Obooks
Zeitschrift / Serie
- The Journal Of Logic And Algebraic Programming
- Acm Computing Surveys
- Electronic Proceedings In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Theoretical Computer Science
- Acm Sigmetrics Performance Evaluation Review
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Performance Evaluation Review
- Science Of Computer Programming