Sortiert nach
ACM computing surveys, 2020-01, Vol.52 (6), p.1-36
2020
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
Applicable Formal Methods for Safe Industrial Products, p.237-253
Link zum Volltext
ACM computing surveys, 2015-11, Vol.48 (2), p.1-41
2015
Link zum Volltext
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e2
2023
Link zum Volltext
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e4
2023
Link zum Volltext
ACM computing surveys, 2009-10, Vol.41 (4), p.1-36
2009
Link zum Volltext
Theoretical computer science, 2020-01, Vol.802, p.105-140
2020
Link zum Volltext
Software and systems modeling, 2019-10, Vol.18 (5), p.3097-3149
2019
Link zum Volltext
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e1
2023
Link zum Volltext
Science of computer programming, 2020-10, Vol.197, p.102510, Article 102510
2020
Link zum Volltext
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Link zum Volltext
Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100940, Article 100940
2024
Link zum Volltext
Software and systems modeling, 2023-12, Vol.22 (6), p.1737-1749
2023
Link zum Volltext
Formal aspects of computing, 2021-12, Vol.33 (6), p.923-924
2021
Link zum Volltext
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Link zum Volltext
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Link zum Volltext
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73
2017
Link zum Volltext
Lecture notes in computer science, 2006, p.220-268
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software Engineering
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Theory Of Computation
- Engineering
- Logics And Meanings Of Programs
- Life Sciences & Biomedicine
- Software Engineering/programming And Operating Systems
- Semantics
- Theoretical Computing
- Congresses
- Csp
- Math Applications In Computer Science
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore Digital Library
- MEDLINE
- LWW Total
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate
- Wiley Blackwell Single Titles
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Publisher or Other Site
- British Medical Journals Online Archive (BMJ)
- Psychology and Behavioral Sciences Collection
Zeitschrift / Serie
- Formal Aspects Of Computing
- Electronic Notes In Theoretical Computer Science
- Acm Computing Surveys
- Science Of Computer Programming
- International Journal On Software Tools For Technology Transfer
- Research Directions: Cyber-Physical Systems
- Software And Systems Modeling
- Computer
- Journal Of Chemical Ecology
- The Lancet