Sortiert nach
Innovations in systems and software engineering, 2023-12, Vol.19 (4), p.359-377
2023
Volltextzugriff (PDF)
International trade forum, 2019-07, Vol.2019 (2), p.37-38
2019
Volltextzugriff (PDF)
International trade forum, 2019-04 (2), p.37
2019
Volltextzugriff (PDF)
NASA Formal Methods, 2021, Vol.12673, p.131-150
2021
Volltextzugriff (PDF)
International trade forum, 2020-03, Vol.2020 (1), p.29-29
2020
Volltextzugriff (PDF)
International trade forum, 2020-01 (1), p.29
2020
Volltextzugriff (PDF)
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.618-621
2019
Volltextzugriff (PDF)
Computer graphics forum, 2022-12, Vol.41 (8), p.327-338
2022
Volltextzugriff (PDF)
International trade forum, 2017-09, Vol.2017 (3), p.34-36
2017
Volltextzugriff (PDF)
International trade forum, 2017-07, Vol.3, p.34
2017
Volltextzugriff (PDF)
NASA Formal Methods, 2019, Vol.11460, p.166-185
2019
Volltextzugriff (PDF)
2021 IEEE Winter Conference on Applications of Computer Vision (WACV), 2021, p.878-887
2021
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, p.21-28
Volltextzugriff (PDF)
The Semantic Web: Research and Applications, p.375-390
Volltextzugriff (PDF)
2023 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 2023, p.1-8
2023
Volltextzugriff (PDF)
International journal on document analysis and recognition, 2011-12, Vol.14 (4), p.349-372
2011
Volltextzugriff (PDF)
Applied Mechanics and Materials, 2012-11, Vol.229-231, p.1106-1109
2012
Volltextzugriff (PDF)
2023 Formal Methods in Computer-Aided Design (FMCAD), 2023, p.152-161
2023
Volltextzugriff (PDF)
The Semantic Web: ESWC 2012 Satellite Events, p.430-434
Volltextzugriff (PDF)
2021 Formal Methods in Computer Aided Design (FMCAD), 2021, p.112-122
2021
Volltextzugriff (PDF)
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019, p.370-384
2019
Volltextzugriff (PDF)
2019 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 2019, p.1-8
2019
Volltextzugriff (PDF)
Geographic Information Science, p.249-260
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Engineering
- Computer Science, Theory & Methods
- Algorithms
- Humans
- Artificial Intelligence
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic
- Female
- Machine Learning
- Oncology
- Training
- Angiogenesis
- Computer Science, Artificial Intelligence
- Covid-19
- Inductive Invariant
- Invariant Inference
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- IEL
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- Business Source Ultimate
- MEDLINE
- IngentaConnect Journals
- Journals@Ovid Complete
- ACM Digital Library
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- Wiley Online Library Journals
- Wiley Online Library Full Collection 2018
- Nature Journals
- SAGE Journals
Zeitschrift / Serie
Neu hinzugefügt