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, 2021-12, Vol.23 (6), p.895-903
2021
Volltextzugriff (PDF)
Formal methods in system design, 2017-12, Vol.51 (3), p.575-607
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.895-903
2021
Volltextzugriff (PDF)
Programming Languages and Systems, p.314-333
Volltextzugriff (PDF)
Programming Languages and Systems, p.129-148
Volltextzugriff (PDF)
Automated Reasoning, 2024, Vol.14740, p.157-175
2024
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.151-167
Volltextzugriff (PDF)
Static Analysis, p.65-88
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Volltextzugriff (PDF)
Static Analysis, p.274-309
Volltextzugriff (PDF)
Static Analysis, p.89-112
Volltextzugriff (PDF)
Static Analysis, p.310-332
Volltextzugriff (PDF)
Static Analysis, p.223-247
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.717-733
2022
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)
Lecture notes in computer science, 2019, Vol.11388, p.160-182
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2009-04, Vol.5, Issue 2
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Software Engineering
- Separation Logic
- Logic In Computer Science
- Abstract Domain
- Computer Science, Artificial Intelligence
- Engineering
- Programming Languages
- Software Engineering/programming And Operating Systems
- Applied Sciences
- Computer Science, Hardware & Architecture
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- ACM Digital Library
- Electronic Journals Library
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley Online Library All Obooks
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Journal On Satisfiability, Boolean Modeling And Computation
- Logical Methods In Computer Science
- Science China. Information Sciences
- Science Of Computer Programming
Neu hinzugefügt