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...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)
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)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.196-212
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Computer Science, Artificial Intelligence
- Abstract Domain
- Complexity
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Cost Analysis
- Model Check
- Physical Sciences
- Ranking Function
- Resource Bound Analysis
- Transitive Closure
- Algorithms
- Artificial Intelligence
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@OVID
- Springer Journals
- MEDLINE
- IngentaConnect Journals
- Nexis Uni
- Nature
- Cambridge Journals Online (DEFF)
- Access via Business Source (EBSCOhost)
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library (IEL)
Zeitschrift / Serie