Sortiert nach
Tools and Methods of Program Analysis, 2018, Vol.779, p.77-89
2018
Volltextzugriff (PDF)
Tools and Methods of Program Analysis, 2017, p.114-126
2017
Volltextzugriff (PDF)
CONCUR 2003 - Concurrency Theory, 2003, p.327-349
2003
Volltextzugriff (PDF)
Computer Security – ESORICS 2006, 2006, p.362-383
2006
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.53-68
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.101-117
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.256-273
Volltextzugriff (PDF)
Tools and Methods of Program Analysis, 2017, Vol.779, p.139-150
2017
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.118-134
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.178-193
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.194-210
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.227-243
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.292-304
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.135-160
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, 2023, Vol.13923, p.161-177
2023
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.211-226
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.244-255
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.3-18
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.83-100
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.305-317
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, p.362-376
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Mathematics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Physical Sciences
- Software
- Logic
- Mathematics, Applied
- Memory And File Management
- Memory Organisation. Data Processing
- Mathematical Foundations
- Computer Science, Software Engineering
- Mathematical Logic, Foundations, Set Theory
- Science & Technology - Other Topics
- Sciences And Techniques Of General Use
- Logic And Foundations
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ScienceDirect eBooks
- IEEE Xplore
- ACM Digital Library
- JSTOR
- Cambridge Journals Online (DEFF)
- AUTh Library subscriptions: Project Euclid Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Ovid SocietyJournals and Single Titles
- ProQuest Dissertations & Theses A&I
- Wiley Journals
Zeitschrift / Serie
- Annals Of Pure And Applied Logic
- The Journal Of Symbolic Logic
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Journal Of Computer Security
- Journal Of Pure And Applied Algebra
- Mathematical Structures In Computer Science
- The Bulletin Of Symbolic Logic
- Advances In Mathematics
Neu hinzugefügt