Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Runtime Verification, p.21-37
Link zum Volltext
1st Edition 2017, 2017
Link zum Volltext
Logical methods in computer science, 2016-01, Vol.12, Issue 4
2016
Link zum Volltext
International journal on software tools for technology transfer, 2020-04, Vol.22 (2), p.195-217
2020
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 4
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.92-110
2017
Link zum Volltext
Science of computer programming, 2023-01, Vol.225, p.102913, Article 102913
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-07, Vol.217 (Proc. FORECAST 2016), p.81-92
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.16-31
2015
Link zum Volltext
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
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
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.63-78
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-06, Vol.154 (Proc. QAPL 2014), p.1-16
2014
Link zum Volltext
1, 1999
Link zum Volltext
Performance evaluation, 2013-05, Vol.70 (5), p.317-349
2013
Link zum Volltext
Performance evaluation, 2018-10, Vol.126, p.1-21
2018
Link zum Volltext
International journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311
2018
Link zum Volltext
Science of computer programming, 2015-10, Vol.110, p.23-50
2015
Link zum Volltext
Models, Languages, and Tools for Concurrent and Distributed Programming, p.260-277
Link zum Volltext
Science of computer programming, 2019-07, Vol.180, p.16-17
2019
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 Engineering
- Model Checking
- Spatial Logics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Process Algebra
- Closure Spaces
- Algebra
- Collective Adaptive Systems
- Discrete Time Markov Chains
- Networking And Internet Architecture
- Self-Organisation
- Software
- Software Engineering/programming And Operating Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Nature - Complete Springer Journals
- EBSCOhost Business Source Ultimate
- Wiley-Blackwell Online Books - All Titles (includes Withdrawn titles)
- Wiley-Blackwell Journals
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- International Journal On Software Tools For Technology Transfer
- Logical Methods In Computer Science
- Science Of Computer Programming
- Acm Computing Surveys
- The Journal Of Logic And Algebraic Programming
- Theoretical Computer Science
- Performance Evaluation