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, 2006-11, Vol.2, Issue 5
2006
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2010, Vol.6397, p.372-386
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.95-108
2006
Volltextzugriff (PDF)
Journal of symbolic computation, 2020-07, Vol.99, p.21-49
2020
Volltextzugriff (PDF)
Applications and Theory of Petri Nets 2004, 2004, Vol.3099, p.258-277
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.430-435
2006
Volltextzugriff (PDF)
Theory and Practice of Algorithms in (Computer) Systems, 2011, Vol.6595, p.151-162
2011
Volltextzugriff (PDF)
Science of computer programming, 2012-09, Vol.77 (10-11), p.1095-1121
2012
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022, Vol.13703, p.335-355
2022
Volltextzugriff (PDF)
2013 13th International Conference on Application of Concurrency to System Design, 2013, p.216-225
2013
Volltextzugriff (PDF)
Constraints : an international journal, 2009-09, Vol.14 (3), p.325-356
2009
Volltextzugriff (PDF)
Principles and Practice of Constraint Programming – CP 2010, 2010, p.297-304
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.380-395
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.98-111
2005
Volltextzugriff (PDF)
Information and computation, 2006-10, Vol.204 (10), p.1493-1525
2006
Volltextzugriff (PDF)
2010 10th International Conference on Application of Concurrency to System Design, 2010, p.95-104
2010
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2012, p.171-187
2012
Volltextzugriff (PDF)
Fundamenta informaticae, 2011, Vol.107 (2-3), p.289-311
2011
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2017, 2017, Vol.10491, p.101-118
2017
Volltextzugriff (PDF)
2008 8th International Conference on Application of Concurrency to System Design, 2008, p.108-117
2008
Volltextzugriff (PDF)
Journal of automated reasoning, 2005-10, Vol.35 (1-3), p.265-293
2005
Volltextzugriff (PDF)
Formal Methods in Computer-Aided Design, 2004, Vol.3312, p.186-200
2004
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2005-08, Vol.44 (4), p.373-399
2005
Volltextzugriff (PDF)
Formal Techniques for Distributed Systems, 2012, Vol.7273, p.84-100
2012
Volltextzugriff (PDF)
2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.185-194
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Mathematics
- Nusmv
- Software
- Bounded Model Checking
- Physical Sciences
- Mathematics, Applied
- Truth Assignment
- Bound Model Check
- Conjunctive Normal Form
- Life Sciences & Biomedicine
- Software Engineering
Kollektion
- Ingenta Connect
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- IEEE Electronic Library Online
- Journals@Ovid Ovid Full Text
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Online
- Psychology and Behavioral Sciences Collection
- Springer journals
- Taylor & Francis Current Content Access
- MEDLINE
- Taylor & Francis Journals
- Applied Social Sciences Index & Abstracts (ASSIA)
- ACM Digital Library
- Oxford journals
Zeitschrift / Serie
Neu hinzugefügt