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...IEEE transactions on computer-aided design of integrated circuits and systems, 2022-11, Vol.41 (11), p.3898-3909
2022
Volltextzugriff (PDF)
Science of computer programming, 2023-01, Vol.225, p.102906, Article 102906
2023
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2022, p.1-1
2022
Volltextzugriff (PDF)
Journal of Applied Mathematics, 2014-01, Vol.2014 (2014), p.652-663-766
2014
Volltextzugriff (PDF)
IEEE transactions on reliability, 2020-03, Vol.69 (1), p.203-215
2020
Volltextzugriff (PDF)
2022 29th Asia-Pacific Software Engineering Conference (APSEC), 2022, p.397-406
2022
Volltextzugriff (PDF)
2021 28th Asia-Pacific Software Engineering Conference (APSEC), 2021, p.580-581
2021
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, 2023, Vol.14464, p.314-330
2023
Volltextzugriff (PDF)
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021, p.390-400
2021
Volltextzugriff (PDF)
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019, p.162-164
2019
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822, p.247-267
2019
Volltextzugriff (PDF)
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2022, p.782-783
2022
Volltextzugriff (PDF)
2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, p.185-195
2022
Volltextzugriff (PDF)
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS), 2023, p.72-82
2023
Volltextzugriff (PDF)
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.47-54
2021
Volltextzugriff (PDF)
2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023, p.224-235
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Abstract Interpretation
- Computer Science, Software Engineering
- Software
- Static Analysis
- Software Engineering
- Abstract Domain
- Analytical Models
- Computer Science, Theory & Methods
- Floating Point Arithmetic
- Invariant
- Program Verification
- Robustness
- Semantics
- Software Reliability
- Absolute Value
- Algorithms
- Benchmark Testing
Kollektion
- IEEE Electronic Library Online
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- eBooks on EBSCOhost
- IngentaConnect Journals
- Project Euclid Journals
- Elsevier ScienceDirect Journals Complete