Sortiert nach
1st ed. 2019., 2019
Volltextzugriff (PDF)
2019
Volltextzugriff (PDF)
1, 2007
Volltextzugriff (PDF)
Computer languages, systems & structures, 2017-12, Vol.50, p.82-107
2017
Volltextzugriff (PDF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.32-3215
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2017-04, Vol.12, Issue 4
2017
Volltextzugriff (PDF)
ACM computing surveys, 2012, Vol.44 (1), p.1-39
2012
Volltextzugriff (PDF)
2007th edition, 2007
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 1
2017
Volltextzugriff (PDF)
Coordination Models and Languages, p.202-218
Volltextzugriff (PDF)
Integrated Formal Methods, p.241-255
Volltextzugriff (PDF)
Computer journal, 2011-04, Vol.54 (4), p.589-601
2011
Volltextzugriff (PDF)
From Lambda Calculus to Cybersecurity Through Program Analysis, p.201-215
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.455-470
Volltextzugriff (PDF)
1, 2019
Volltextzugriff (PDF)
Security and Trust Management, p.72-88
Volltextzugriff (PDF)
Static Analysis, p.159-173
Volltextzugriff (PDF)
Information and computation, 2001-07, Vol.168 (1), p.68-92
2001
Volltextzugriff (PDF)
Models, Mindsets, Meta: The What, the How, and the Why Not?, p.89-109
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
- Software Engineering
- Computer Programming / Software Development
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Programming & Scripting Languages: General
- Networking And Internet Architecture
- Computer Science, Information Systems
- Programming Languages
- Theoretical Computing
- Logic
- Abstract Interpretation
- Software
- Operational Semantic
- Engineering
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ScienceDirect Journals (5 years ago - present)
- ACM Digital Library
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Business Source Ultimate
- SpringerLink Journals (MCLS)
- IngentaConnect Journals
- Oxford Journals
- Cambridge Journals Online (DEFF)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Theoretical Computer Science
- Acm Computing Surveys
- Sigplan Notices
- Computer Journal
- Computer Languages, Systems & Structures
- Information And Computation
- Information Processing Letters
- International Journal On Software Tools For Technology Transfer