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 aspects of computing, 2017-09, Vol.29 (5), p.911-931
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 2
2012
Volltextzugriff (PDF)
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.1116-1121
2021
Volltextzugriff (PDF)
2016 Formal Methods in Computer-Aided Design (FMCAD), 2016, p.177-184
2016
Volltextzugriff (PDF)
Nonlinear analysis. Hybrid systems, 2011-05, Vol.5 (2), p.343-366
2011
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.625-639
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.62-77
Volltextzugriff (PDF)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, p.248-262
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.119-134
Volltextzugriff (PDF)
Integrated Formal Methods, p.168-182
Volltextzugriff (PDF)
Recent Advances in Constraints, p.51-65
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.158-172
Volltextzugriff (PDF)
Journal on satisfiability, Boolean modeling and computation, 2007-05, Vol.1 (3-4), p.209-236
2007
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2010-10, Vol.79 (7), p.436-466
2010
Volltextzugriff (PDF)
IFAC Proceedings Volumes, 2009, Vol.42 (17), p.162-167
2009
Volltextzugriff (PDF)
Validation and Verification of Automated Systems, p.207-220
Volltextzugriff (PDF)
Third International Conference on Systems (icons 2008), 2008, p.196-201
2008
Volltextzugriff (PDF)
Foundations of Software Engineering: Proceedings of the 3rd international workshop on Software quality assurance; 06-06 Nov. 2006, 2006, p.14-21
2006
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.172-186
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Conjunctive Normal Form
- Automatic Verification
- Bound Model Check
- Bounded Model Checking
- Constraint Satisfaction Problems
- Craig Interpolation
- Embedded Systems
- Encoding
- Hybrid Systems
- Logic
- Mathematics
- Mathematics, Applied
- Model Check
- Physical Sciences
Kollektion