1
0
0
(1 - 27 von 29
)
Probabilistic model checking of constraints in a supply chain...
www.econbiz.de
Author statement: Tamara Mendt, Carsten Sinz and Olga Tveretina. Year: Person: Mendt, Tamara; Sinz, Carsten; Tveretina, Olga. Published in: Business ...
Formal Aspects of Security and Trust: 7th International Workshop,...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as...
Theory and Application of Satisfiability Testing: 14th International...
books.google.de
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann...
Carsten Sinz | Papers With Codepaperswithcode.com › author › carsten-sinz
paperswithcode.com
Machine Learning Techniques for Software Quality Assurance: A Survey · no code implementations • 29 Apr • Safa Omri, Carsten Sinz. Over the last years, ...
Formal Methods and Software Engineering: 6th International Conference...
books.google.de
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and...
Theory and Applications of Satisfiability Testing - SAT 2014: 17th...
books.google.de
... Sinz, Uwe Egly. Volume Editors Carsten Sinz Karlsruher Institut für Technologie (KIT) Am Fasanengarten 5, Karlsruhe, Germany E-mail: carsten.sinz ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012,...
Verified Software: Theorie, Tools, Experiments: 5th International...
books.google.de
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and...
Verified Software: Theories, Tools, Experiments: 4th International...
books.google.de
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in...
Computer Science -- Theory and Applications: First International...
books.google.de
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR The 35 revised full theory papers...
Author: Carsten Sinz
easychair.org
A Theory of Arrays with set and copy Operations · Stephan Falke, Carsten Sinz and Florian Merz. In:SMT th International Workshop on Satisfiability ...
Handbook of Satisfiability: Second Edition - A. Biere, H. van Maaren...
books.google.de
[ SB06 ] Carsten Sinz and Armin Biere . Extended resolution proofs for conjoining bdds . In Dima Grigoriev , John Harrison , and Edward A. Hirsch , editors ...
Computer Science -- Theory and Applications: First ...
books.google.de
Carsten Sinz and Armin Biere Institute for Formal Models and Verification, Johannes Kepler University Linz, Austria {carsten.sinz, ...
SCEAS
sceas.csd.auth.gr
Carsten Sinz: [Publications] [Author Rank by year] [Co-authors] [Prefers] ... Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.
Principles and Practice of Constraint Programming - CP 2005: 11th ...books.google.com › books
books.google.de
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints Carsten Sinz Institute for Formal Models and Verification, Johannes Kepler University ...
Theory and Applications of Satisfiability Testing - SAT 2006: 9th ...books.google.com › books
books.google.de
Extended Resolution Proofs for Symbolic SAT Solving with Quantification Toni Jussila, Carsten Sinz, and Armin Biere Institute for Formal Models and ...
Principles and Practice of Constraint Programming - CP 2005: ...
books.google.de
... Cardinality Constraints Carsten Sinz Institute for Formal Models and Verification, Johannes Kepler University Linz, A Linz, Austria carsten.sinz ...
Detection of Inconsistencies in Complex Product Configuration Data ...www.aaai.org › Library › FLAIRS › flairs
www.aaai.org
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin, University of Tübingen, Germany. We present our consistency support tool BIS, an extension to the ...
Theory and Applications of Satisfiability Testing - SAT ...
books.google.de
17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July , 2014, Proceedings Carsten Sinz, Uwe Egly.
C++ mit Microsoft Visual C++ 2008: Einführung in Standard-C++,...
books.google.de
Dieses Buch ist eine systematische Einführung in die Windows-Programmierung mit C++ und Visual Studio 2008, die sich an Anfänger wendet. Es enthält zahlreiche...
Einführung in die Informatik: Objektorientiert mit Java - Wolfgang...
books.google.de
... Georg Hagel, Andreas Kaiser, Dr. Thomas Lumpp, Patrick Maier, Gerd Nusser, Ralf-Dieter Schimkat, Carsten Sinz und Dr. Andreas Speck korrekturgelesen.
Benjamin Golling, Autor auf KIT-Gründernews - Seite 2 von 3
www.kit-gruendernews.de
Das Karlsruher Unternehmen QPR Technologies entwickelt aus diesem Grund ... Dr. Carsten Sinz, Florian Merz, Dr. David Faragó, Felix Kutzner und Reimo ...
sortiert nach Relevanz / Datum