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...Formal methods in system design, 2013-08, Vol.43 (1), p.61-92
2013
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2017-12, Vol.39 (4), p.1-27, Article 15
2017
Volltextzugriff (PDF)
Journal of computer and system sciences, 2017-03, Vol.84, p.144-170
2017
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.98-114
Volltextzugriff (PDF)
Formal Methods for Eternal Networked Software Systems, p.53-113
Volltextzugriff (PDF)
Theoretical computer science, 2016-06, Vol.631, p.139-160
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2014-02, Vol.10, Issue 1
2014
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2017-08, Vol.16 (3), p.1-27
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2015-06, Vol.11, Issue 2
2015
Volltextzugriff (PDF)
Information and computation, 2014-10, Vol.237, p.1-11
2014
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.227-243
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.185-191
Volltextzugriff (PDF)
Information and computation, 2013-03, Vol.224, p.46-70
2013
Volltextzugriff (PDF)
Journal of computer and system sciences, 2014-02, Vol.80 (1), p.139-156
2014
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.112-127
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2013, p.266-277
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.317-332
Volltextzugriff (PDF)
Information and computation, 2008-05, Vol.206 (5), p.520-537
2008
Volltextzugriff (PDF)
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.33-42
2011
Volltextzugriff (PDF)
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008, p.391-402
2008
Volltextzugriff (PDF)
FM 2014: Formal Methods, p.263-278
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.228-242
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.181-187
Volltextzugriff (PDF)
Automata, Languages and Programming, p.103-114
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Markov Decision Process
- Computer Science, Software Engineering
- Logic
- Mathematics
- Controller Synthesis
- Physical Sciences
- Stochastic Game
- Science & Technology - Other Topics
- Markov Decision Processes
- Model Check
- Informatics
- Mathematics, Applied
- Atomic Proposition
- Computer Science, Hardware & Architecture
- Engineering
- Mathematics, Interdisciplinary Applications
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB-NALI5-00465 Elsevier Archive NL
- BSC - Ebsco (Business Source Ultimate)
- Journals@OVID
- Springer Journals
Zeitschrift / Serie
- Information And Computation
- Logical Methods In Computer Science
- Journal Of Computer And System Sciences
- Acm Transactions On Embedded Computing Systems
- Acm Transactions On Programming Languages And Systems
- Czech Journal Of Food Sciences
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Theoretical Computer Science