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...Interactive Theorem Proving, p.163-179
Volltextzugriff (PDF)
Journal of computer security, 2019-01, Vol.27 (1), p.137-163
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.249-277, Article 9
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2014-03, Vol.36 (1), p.1-35, Article 4
2014
Volltextzugriff (PDF)
Interactive Theorem Proving, p.19-34
Volltextzugriff (PDF)
Static Analysis, p.65-88
Volltextzugriff (PDF)
Logical methods in computer science, 2012-05, Vol.8, Issue 2 (2)
2012
Volltextzugriff (PDF)
Static Analysis, p.274-309
Volltextzugriff (PDF)
Static Analysis, p.89-112
Volltextzugriff (PDF)
Static Analysis, p.310-332
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-30
2020
Volltextzugriff (PDF)
Static Analysis, p.223-247
Volltextzugriff (PDF)
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.1267-1279
2014
Volltextzugriff (PDF)
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-12
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-03, Vol.56 (3), p.283-308
2016
Volltextzugriff (PDF)
HERO: Heterogeneous systems - software-hardware integration, 2020, p.200-222
2020
Volltextzugriff (PDF)
Static Analysis, p.35-64
Volltextzugriff (PDF)
Static Analysis, p.333-356
Volltextzugriff (PDF)
Static Analysis, p.3-6
Volltextzugriff (PDF)
Static Analysis, p.357-379
Volltextzugriff (PDF)
Static Analysis, p.178-199
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Programming Languages
- Mathematics
- Logic
- Physical Sciences
- Mathematics, Applied
- Science & Technology - Other Topics
- Proof Assistant
- Abstract Interpretation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Verified Compilation
- Logic In Computer Science
- Software
- Operational Semantic
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Collection
- Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- IEEE/IET Electronic Library (IEL)
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Sigplan Notices
- Journal Of Computer Security
- Journal Of Automated Reasoning
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Theoretical Computer Science
- Acm Sigplan Notices
- Lecture Notes In Computer Science