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...Logical methods in computer science, 2012-01, Vol.8, Issue 3
2012
Volltextzugriff (PDF)
Information processing letters, 2024-08, Vol.186, p.106480, Article 106480
2024
Volltextzugriff (PDF)
2016 16th International Conference on Application of Concurrency to System Design (ACSD), 2016, p.11-18
2016
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.175-250
2014
Volltextzugriff (PDF)
Information processing letters, 2013-05, Vol.113 (9), p.350-353
2013
Volltextzugriff (PDF)
Journal of applied non-classical logics, 2022-01, Vol.32 (1), p.28-54
2022
Volltextzugriff (PDF)
Fundamenta informaticae, 2019-01, Vol.167 (4), p.323-354
2019
Volltextzugriff (PDF)
Formal methods in system design, 2013-12, Vol.43 (3), p.450-492
2013
Volltextzugriff (PDF)
Formal aspects of computing, 2017-07, Vol.29 (4), p.705-750
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.480-523
2003
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.1-9
2014
Volltextzugriff (PDF)
2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011, p.107-114
2011
Volltextzugriff (PDF)
Journal of logic and computation, 2007-04, Vol.17 (2), p.333-409
2007
Volltextzugriff (PDF)
Journal of applied non-classical logics, 2004-01, Vol.14 (1-2), p.55-104
2004
Volltextzugriff (PDF)
Dependable Software Engineering: Theories, Tools, and Applications, 2015, Vol.9409, p.153-167
2015
Volltextzugriff (PDF)
2012 19th International Symposium on Temporal Representation and Reasoning, 2012, p.vii-viii
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.223-234
2000
Volltextzugriff (PDF)
Seminar on Concurrency, 2005, p.111-130
2005
Volltextzugriff (PDF)
PARLE Parallel Architectures and Languages Europe, 2005, p.277-296
2005
Volltextzugriff (PDF)
2012 Spring Congress on Engineering and Technology, 2012, p.1-6
2012
Volltextzugriff (PDF)
Verification: Theory and Practice, 2003, p.480-523
2003
Volltextzugriff (PDF)
The Analysis of Concurrent Systems, 1985, p.359-364
1985
Volltextzugriff (PDF)
Logics of Programs, 1984, p.371-382
1984
Volltextzugriff (PDF)
Automata, Languages and Programming, 1983, p.278-291
1983
Volltextzugriff (PDF)
Automata, Languages and Programming, 2000, p.223-234
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Interval Temporal Logic
- Temporal Logic
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Axiom System
- Computer Science, Information Systems
- Formalism
- Logic
- Mathematics
- Mathematics, Applied
- Operators
- Physical Sciences
- Reasoning
- Science & Technology - Other Topics
- Semantics
- Analytical Models
- Applied Sciences
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library Online
- Springer Nature - Complete Springer Journals
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis:Master (3349 titles)
- IngentaConnect Journals
- EZB-FREE-00999 freely available EZB journals
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Journals
- Taylor & Francis
- Ebook Central Perpetual and DDA
- ACM Digital Library
- Oxford University Press Journals Current
- eBooks on EBSCOhost
- SAGE Complete
Zeitschrift / Serie