Sortiert nach
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1016-1027
2021
- Link zum Volltext
Automated software engineering, 2023-11, Vol.30 (2), p.29, Article 29
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.314, p.34-45
2020
Link zum Volltext
2022
- Link zum Volltext
2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019, p.377-387
2019
Link zum Volltext
Neurology. Clinical practice, 2023-02, Vol.13 (1), p.e200110-e200110
2023
Link zum Volltext
Journal of acquired immune deficiency syndromes (1999), 2007-04, Vol.44 (5), p.569
2007
Link zum Volltext
Natural Disaster Hotspots Case Studies, 2006, Vol.No. 6
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Automation
- Computer Science, Software Engineering
- Programming Languages
- Algorithms
- Behavioural Types
- Computer Languages
- Concurrency
- Concurrent Computing
- False Alarms
- Life Sciences & Biomedicine
- Mathematical Models
- Model Checking
- Parameters
- Software
- Software Engineering
- Static Verification
- Adult
Kollektion
- Journals@Ovid Complete
- IngentaConnect Journals
- EZB Free E-Journals
- IEEE Electronic Library Online
- Ingenta
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Publisher website
- Springer Journals