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...Tools and Algorithms for the Construction and Analysis of Systems, p.811-830
Volltextzugriff (PDF)
Formal methods in system design, 2021-08, Vol.57 (2), p.246-269
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2002-05, Vol.24 (3), p.217-298
2002
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-33
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 3
2019
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2018-04, Vol.32 (1)
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.21-30
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-31
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.186-200
2005
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2023-05, Vol.20 (3), p.2256-2273
2023
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.5-20
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.157-171
2005
Volltextzugriff (PDF)
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, p.1069-1084
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.2402-2433, Article 356
2024
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-10, Vol.19 (5), p.535-547
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 209
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-26
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1878-1904, Article 288
2023
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.408-422
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Volltextzugriff (PDF)
Formal methods in system design, 2019-11, Vol.54 (2), p.191-231
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2009-05, Vol.5, Issue 2
2009
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.423-438
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Programming Languages
- Abstract Interpretation
- Software Engineering
- Shape Analysis
- Abstract Domain
- Concurrency
- Static Analysis
- Program Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Verification
- Computer Science, Information Systems
Kollektion
- IngentaConnect
- ACM Digital Library (Association for Computing Machinery)
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- IEEE/IET Electronic Library (IEL)
- Springer journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Proceedings Of The Acm On Programming Languages
- Software Engineering Notes
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Ieee Transactions On Dependable And Secure Computing
- Logical Methods In Computer Science
Neu hinzugefügt