Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, p.1-2
2023
Volltextzugriff (PDF)
2008 11th IEEE High Assurance Systems Engineering Symposium, 2008, p.117-124
2008
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-07, Vol.157 (Proc. SYNT 2014), p.84-99
2014
Volltextzugriff (PDF)
Numerical Software Verification, p.3-25
Volltextzugriff (PDF)
Acta informatica, 2017-11, Vol.54 (7), p.693-726
2017
Volltextzugriff (PDF)
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020, p.1-6
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2018, Vol.60 (1), p.43-62
2018
Volltextzugriff (PDF)
NASA Formal Methods, 2018, Vol.10811, p.121-138
2018
Volltextzugriff (PDF)
NASA Formal Methods, p.401-419
Volltextzugriff (PDF)
Formal methods in system design, 2019-11, Vol.54 (3), p.364-387
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-12, Vol.63 (4), p.1055-1075
2019
Volltextzugriff (PDF)
ACM transactions on cyber-physical systems, 2022-04, Vol.6 (2), p.1-3
2022
Volltextzugriff (PDF)
NASA Formal Methods, p.97-114
Volltextzugriff (PDF)
NASA Formal Methods, p.117-132
Volltextzugriff (PDF)
NASA Formal Methods, p.85-93
Volltextzugriff (PDF)
ACM transactions on cyber-physical systems, 2021-10, Vol.5 (4), p.1-3
2021
Volltextzugriff (PDF)
MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM), 2018, p.547-552
2018
Volltextzugriff (PDF)
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022, p.15354-15364
2022
Volltextzugriff (PDF)
IEEE transactions on artificial intelligence, 2024-07, Vol.5 (7), p.3384-3392
2024
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.215-224
2010
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.69-84
Volltextzugriff (PDF)
NASA Formal Methods, p.353-360
Volltextzugriff (PDF)
2021 IEEE International Symposium on Circuits and Systems (ISCAS), 2021, p.1-5
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Engineering
- Computer Science, Artificial Intelligence
- Machine Learning
- Engineering, Electrical & Electronic
- Artificial Intelligence
- Computer Science, Information Systems
- Robustness
- Automation & Control Systems
- Neural Networks
- Algorithms
- Cyber-Physical Systems
- Telecommunications
- Data Models
- Large Language Models
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- Springer Book Series (Lecture Notes)
- IEEE Xplore
- ACM Digital Library
- EZB-FREE-00999 freely available EZB journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Journals@Ovid
- SpringerLink Journals - AutoHoldings
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library All Obooks
Zeitschrift / Serie
- International Journal Of Bioinformatics Research And Applications
- Acm Transactions On Cyber-Physical Systems
- Electronic Proceedings In Theoretical Computer Science
- Journal Of Automated Reasoning
- Sigplan Notices
- Acta Informatica
- Computer
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Methods In System Design
- Ieee Transactions On Artificial Intelligence
Neu hinzugefügt