Sortiert nach
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-09, Vol.44 (3), p.1-40
2022
Volltextzugriff (PDF)
Formal methods in system design, 2023-10
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.59 (1), p.3-45
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-76, Article 1
2023
Volltextzugriff (PDF)
Artificial intelligence, 2022-07, Vol.308, p.103724, Article 103724
2022
Volltextzugriff (PDF)
Formal methods in system design, 2021-08, Vol.57 (2), p.270-302
2021
Volltextzugriff (PDF)
Formal methods in system design, 2021-01, Vol.57 (2), p.270-302
2021
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.47-61
Volltextzugriff (PDF)
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021, p.1-9
2021
Volltextzugriff (PDF)
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Volltextzugriff (PDF)
Static Analysis, 2018, Vol.11002, p.423-444
2018
Volltextzugriff (PDF)
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Volltextzugriff (PDF)
Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826
2022
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.196-218
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.282-300
Volltextzugriff (PDF)
Computer Science -- Theory and Applications, 2015, Vol.9139, p.426-442
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.745-761
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Volltextzugriff (PDF)
Fundamentals of Computation Theory, p.3-10
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2014, p.208-219
Volltextzugriff (PDF)
Static Analysis, p.280-297
Volltextzugriff (PDF)
PRIMA 2015: Principles and Practice of Multi-Agent Systems, p.185-200
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.375-387
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Benchmark Testing
- Complexity
- Computer Science, Artificial Intelligence
- Data Structures
- Physical Sciences
- Software
- Abstract Domain
- Automation
- Cognition
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Cost Analysis
- Engineering
Kollektion
- Ingenta
- SpringerLink Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IEEE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- RCN full-text journals@Ovid
- MEDLINE
- IngentaConnect Journals
- Nexis Uni
- Nature Journals
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- Elsevier ScienceDirect Journals
Zeitschrift / Serie
- Formal Methods In System Design
- Nature Communications
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Computational Logic
- Acm Transactions On Programming Languages And Systems
- Artificial Intelligence
- Biodiversity Data Journal
- Biodiversity Data Jurnal
- International Journal On Software Tools For Technology Transfer