Sortiert nach
Runtime Verification, p.21-37
Link zum Volltext
PloS one, 2020-10, Vol.15 (10), p.e0241394-e0241394
2020
Link zum Volltext
International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.615-640
2021
Link zum Volltext
BMC medical research methodology, 2023-07, Vol.23 (1), p.169-169, Article 169
2023
Link zum Volltext
IEEE access, 2023, Vol.11, p.47282-47290
2023
Link zum Volltext
Storicamente, 2014-06, Vol.10 (1)
2014
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-08, Vol.125 (Proc. HSB 2013), p.3-19
2013
Link zum Volltext
Machines (Basel), 2023-02, Vol.11 (2), p.268
2023
Link zum Volltext
Information and computation, 2016-04, Vol.247, p.37-86
2016
Link zum Volltext
Logical methods in computer science, 2015-06, Vol.11, Issue 2
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-10, Vol.227 (Proc. QAPL 2016), p.30-43
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.32-47
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.16-31
2015
Link zum Volltext
Information and computation, 2016-04, Vol.247, p.235-253
2016
Link zum Volltext
Information and computation, 2015-06, Vol.242, p.183-226
2015
Link zum Volltext
Theoretical computer science, 2015-07, Vol.587, p.3-25
2015
Link zum Volltext
ACM transactions on modeling and computer simulation, 2019-12, Vol.29 (4), p.1-2
2019
Link zum Volltext
Performance evaluation, 2019-02, Vol.129, p.60-80
2019
Link zum Volltext
Performance evaluation, 2013-05, Vol.70 (5), p.317-349
2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-07, Vol.85 (Proc. QAPL 2012), p.106-121
2012
Link zum Volltext
Theoretical computer science, 2023-10, Vol.977, p.114169, Article 114169
2023
Link zum Volltext
Theoretical computer science, 2020-05, Vol.816, p.221-248
2020
Link zum Volltext
Constraints : an international journal, 2008-06, Vol.13 (1-2), p.66-90
2008
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Mathematics
- Physical Sciences
- Computer Science, Software Engineering
- Humans
- Mathematics, Applied
- Fluid Approximation
- Mathematical & Computational Biology
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Female
- Logic
- Male
- Hybrid Systems
- Operations Research & Management Science
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Springer Book Series
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ScienceDirect Journals (5 years ago - present)
- ACM Digital Library
- Springer Online Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- IEEE Electronic Library (IEL)
- Journals@Ovid
- Single Journals
- Wiley Online Library All Journals
- JSTOR Archive Collection A-Z Listing
- Wiley Online Library Full Collection 2018
- Oxford Journals Current Collection
- American Physical Society Journals
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Theoretical Computer Science
- Information And Computation
- Performance Evaluation
- European Journal Of Cancer
- Logical Methods In Computer Science
- Performance Evaluation Review
- Constraints : An International Journal