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...International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.691-715
2022
Volltextzugriff (PDF)
Formal methods in system design, 2023-12
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2020-12, Vol.42 (3), p.1-50, Article 13
2020
Volltextzugriff (PDF)
Static Analysis, 2023, Vol.14284, p.259-285
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.58 (1), p.3-31
2017
Volltextzugriff (PDF)
Information processing letters, 2018-11, Vol.139, p.18-23
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2017-06, Vol.59 (1), p.121-163
2017
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.58 (1), p.33-65
2017
Volltextzugriff (PDF)
Integrated Formal Methods, 2017, Vol.10510, p.85-101
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-06, Vol.97, p.105-130
2018
Volltextzugriff (PDF)
Static Analysis, 2021, Vol.12389, p.89-112
2021
Volltextzugriff (PDF)
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, p.221-230
2019
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2016, p.234-252
2016
Volltextzugriff (PDF)
Automated Reasoning, 2014, p.184-191
2014
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2017, Vol.10483, p.132-150
2017
Volltextzugriff (PDF)
Automated Reasoning, 2014, p.208-223
2014
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2017, p.350-354
2017
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2015, p.417-419
2015
Volltextzugriff (PDF)
Manufacturing letters, 2024-10, Vol.41, p.91-102
2024
Volltextzugriff (PDF)
Superconductor science & technology, 2024-08, Vol.37 (8), p.85028
2024
Volltextzugriff (PDF)
Open heart, 2020-05, Vol.7 (1), p.e001164
2020
Volltextzugriff (PDF)
Clinical research in cardiology, 2018-08, Vol.107 (8), p.688-697
2018
Volltextzugriff (PDF)
Procedia CIRP, 2023, Vol.120, p.720-725
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Symbolic Execution
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Logic
- Additive Manufacturing
- Artificial Intelligence
- Complexity
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Runtime Complexity
- Science & Technology - Other Topics
- Symbolic And Algebraic Manipulation
- Term Rewriting
- Automation
- Calcification
- Calcium
Kollektion
- IngentaConnect Journals
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Journals@Ovid Complete
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter eBooks
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- MEDLINE
- ProQuest Dissertations & Theses A&I
- De Gruyter Open Access Books
- IEEE Electronic Library Online
- BMJ Journals
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Acm Transactions On Programming Languages And Systems
- Clinical Research In Cardiology
- Formal Methods In System Design
- Information Processing Letters
- International Journal On Software Tools For Technology Transfer
- Journal Of Logical And Algebraic Methods In Programming
- Manufacturing Letters
- Open Heart
- Procedia Cirp
Neu hinzugefügt