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...Journal of applied non-classical logics, 2022-01, Vol.32 (1), p.28-54
2022
Volltextzugriff (PDF)
Formal aspects of computing, 2017-07, Vol.29 (4), p.705-750
2017
Volltextzugriff (PDF)
Information processing letters, 2024-08, Vol.186, p.106480, Article 106480
2024
Volltextzugriff (PDF)
Journal of computer security, 2008-01, Vol.16 (1), p.1-61
2008
Volltextzugriff (PDF)
Journal of applied non-classical logics, 2011-01, Vol.21 (1), p.93-131
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-06, Vol.25 (Proc. GANDALF 2010), p.103-117
2010
Volltextzugriff (PDF)
Information Security, 2005, p.446-460
1st ed, 2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.146 (Proc. SR 2014), p.57-63
2014
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.316-328
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.219-230
2004
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-03, Vol.112 (Proc. SR 2013), p.81-89
2013
Volltextzugriff (PDF)
Journal of logic and computation, 2008-08, Vol.18 (4), p.615-623
2008
Volltextzugriff (PDF)
Logic, Rationality, and Interaction, 2023, Vol.14329, p.126-134
2023
Volltextzugriff (PDF)
Theoretical computer science, 2005-06, Vol.337 (1), p.278-304
2005
Volltextzugriff (PDF)
Journal of logic and computation, 2004-04, Vol.14 (2), p.215-249
2004
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2007-02, Vol.9 (1), p.53-62
2007
Volltextzugriff (PDF)
Logical methods in computer science, 2007-07, Vol.3, Issue 3
2007
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.1-9
2014
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000, Vol.1926, p.264-275
2000
Volltextzugriff (PDF)
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, Vol.1974, p.264-276
2000
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, 2017, Vol.10606, p.110-127
2017
Volltextzugriff (PDF)
Journal of philosophical logic, 1999-12, Vol.28 (6), p.575-605
1999
Volltextzugriff (PDF)
Dependable Software Engineering: Theories, Tools, and Applications, 2015, Vol.9409, p.153-167
2015
Volltextzugriff (PDF)
Declarative Agent Languages and Technologies VI, 2009, Vol.5397, p.75-90
2009
Volltextzugriff (PDF)
Computational Logic in Multi-Agent Systems, 2012, Vol.7486, p.77-93
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Duration Calculus
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Science & Technology - Other Topics
- Interval Temporal Logic
- Model Checking
- Computer Science, Software Engineering
- Projection
- Temporal Logic
- Access Control Model
- Mathematics
- Proof System
- Software
- Temporal Projection
Kollektion
- IngentaConnect
- EZB-FREE-00999 freely available EZB journals
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis:Master (3349 titles)
- Springer Nature - Complete Springer Journals
- Taylor & Francis Journals
- Taylor & Francis
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Oxford University Press Journals Current
- Journals@Ovid Complete
- EBSCOhost Business Source Ultimate
- Jstor Complete Legacy
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Journal Of Applied Non-Classical Logics
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Logic And Computation
- Annals Of Mathematics And Artificial Intelligence
- Formal Aspects Of Computing
- Information And Computation
- Information Processing Letters
- International Journal On Software Tools For Technology Transfer