Sortiert nach
Formal Modeling and Analysis of Timed Systems, p.224-243
Volltextzugriff (PDF)
Computer Vision – ACCV 2020, p.189-205
Volltextzugriff (PDF)
Programming Languages and Systems, p.491-513
Volltextzugriff (PDF)
Programming Languages and Systems, p.155-170
Volltextzugriff (PDF)
New generation computing, 2022-07, Vol.40 (2), p.507-540
2022
Volltextzugriff (PDF)
IEEE transactions on intelligent vehicles, 2023-04, Vol.8 (4), p.3040-3072
2023
Volltextzugriff (PDF)
Programming Languages and Systems, p.58-77
Volltextzugriff (PDF)
Artificial intelligence, 2024-01, Vol.326, p.104045, Article 104045
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-01, Vol.174 (Proc. HAS 2014), p.22-39
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.128-143
Volltextzugriff (PDF)
Theoretical computer science, 2018-11, Vol.747, p.33-47
2018
Volltextzugriff (PDF)
Runtime Verification, p.100-120
Volltextzugriff (PDF)
Programming Languages and Systems, p.309-328
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.293-313
2020
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-01, Vol.136, p.100922, Article 100922
2024
Volltextzugriff (PDF)
Logics in Artificial Intelligence, p.681-696
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.33-52
Volltextzugriff (PDF)
Automata, Languages and Programming, p.392-403
Volltextzugriff (PDF)
Journal of The Society of Instrument and Control Engineers, 2014/12/10, Vol.53(12), pp.1080-1085
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2006-01, Vol.2, Issue 3
2006
Volltextzugriff (PDF)
2024 IEEE Intelligent Vehicles Symposium (IV), 2024, p.3154-3154
2024
Volltextzugriff (PDF)
Computer Vision – ACCV 2022, p.274-290
Volltextzugriff (PDF)
Programming Languages and Systems, p.514-533
Volltextzugriff (PDF)
Static Analysis, p.278-299
Volltextzugriff (PDF)
Computer Aided Verification, p.462-478
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Logic
- Program Logic
- Type System
- Hybrid System
- Software
- Computer Science, Artificial Intelligence
- Male
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering
- Exact Sciences And Technology
- Female
- Humans
Kollektion
- Ingenta
- EZB Free E-Journals
- SpringerLink Series
- MEDLINE
- Elsevier ScienceDirect Journals
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Springer Nature
- Cambridge Journals Online (DEFF)
- Wiley Online Library
- Oxford University Press Journals Current
- IngentaConnect Journals
Zeitschrift / Serie
- Environmental Science & Technology
- Acm Sigplan Notices
- Chembiochem : A European Journal Of Chemical Biology
- Internal Medicine
- Journal Of Functional Programming
- Sigplan Notices
- Artificial Intelligence
- Biochemical And Biophysical Research Communications
- Bioorganic & Medicinal Chemistry Letters
- Cen Case Reports
Neu hinzugefügt