Sortiert nach
Electronic proceedings in theoretical computer science, 2023-09, Vol.390
2023
Volltextzugriff (PDF)
Studia logica, 2019-10, Vol.107 (5), p.1083-1088
2019
Volltextzugriff (PDF)
ACM computing surveys, 2020-07, Vol.52 (4), p.1-36
2020
Volltextzugriff (PDF)
Artificial intelligence, 2020-10, Vol.287, p.103304, Article 103304
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.146 (Proc. SR 2014), p.97-103
2014
Volltextzugriff (PDF)
Discrete event dynamic systems, 2007-06, Vol.17 (2), p.211-232
2007
Volltextzugriff (PDF)
Theoretical computer science, 2014-02, Vol.523, p.1-36
2014
Volltextzugriff (PDF)
Information and computation, 2021-10, Vol.280, p.104635, Article 104635
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-03, Vol.112 (Proc. SR 2013), p.115-122
2013
Volltextzugriff (PDF)
Theoretical computer science, 2015-10, Vol.603, p.58-83
2015
Volltextzugriff (PDF)
Information and computation, 2015-06, Vol.242, p.80-107
2015
Volltextzugriff (PDF)
ACM transactions on computational logic, 2018-09, Vol.19 (3), p.1-33
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.370, p.162-177
2022
Volltextzugriff (PDF)
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.61-75
2018
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, p.167-182
Volltextzugriff (PDF)
LATIN 2024: Theoretical Informatics, p.257-271
Volltextzugriff (PDF)
Information and computation, 2014-12, Vol.239, p.303-339
2014
Volltextzugriff (PDF)
Computer Security - ESORICS 2017, 2017, Vol.10492, p.83-102
2017
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.363-375
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-01, Vol.22 (1), p.1-24
2021
Volltextzugriff (PDF)
Discrete event dynamic systems, 2015-06, Vol.25 (1-2), p.271-294
2015
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.88-103
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-01, Vol.22 (1), p.1-24, Article 7
2021
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.253-267
Volltextzugriff (PDF)
Graphical Models for Security, p.23-49
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic
- Mathematics
- Physical Sciences
- Automation & Control Systems
- Computer Science, Software Engineering
- Computer Science And Game Theory
- Discrete Event Systems
- Logic In Computer Science
- Mathematics, Applied
- Science & Technology - Other Topics
- Software Engineering
- Computer Science, Information Systems
- Applied Sciences
- Atomic Proposition
- Automata
- Computer Science, Artificial Intelligence
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- JSTOR
- Journals@Ovid Ovid Full Text
- Taylor & Francis:Master (3349 titles)
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie