1
0
0
(1 - 30 von 32
)
Untersuchungen über den Einfluß des Spannungszustandes auf bruchmechanische Kennwerte.
von Peter Schmidt / Dietmar Aurich / Rolf Helms / Helmut Veith / Josef Ziebs, Berlin: BAM Bundesanstalt für Materialprüfung, Feb , 118 S., m. Abb., brosch. gelocht (Reihe: BAM Forschungsbericht, Nr. 65) (ISSN ), 1980, Broschiert
bokus.com: Computer Science Logic - Anuj Dawar, Helmut Veith - Häftad...
Pris: kr. Häftad, Skickas inom 3-6 vardagar. Köp Computer Science Logic av Anuj Dawar, Helmut Veith på Bokus.com.
Helmut Veith - VDOC.PUBvdoc.pub › author › helmut-veith
vdoc.pub
Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.) 11,571; 2,908.
Erziehung zur Demokratie? - Maren Roth - Google Books
books.google.de
Jürgen Fischer danke ich für die Ausdauer und die beständige Unterstützung, Tanja Dresp, Birgit Stempel und Dr. Helmut Veith für das Korrekturlesen des ...
Hardware and Software: Verification and Testing: 5th International...
books.google.de
December Avi Ziv Kedar Namjoshi Andreas Zeller Conference Organization General Chair Helmut Veith Technische Universität Darmstadt, Germany ...
Integrated Formal Methods: 11th International Conference, IFM
books.google.de
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in...
Helmut Veith | Penguin Random House
www.penguinrandomhouse.com
Books by Helmut Veith published by The MIT Press · SHARE: · SMS ...
Kurt Gödel: Das Album - The Album - Karl Sigmund, John Dawson, Kurt...
books.google.de
Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die...
Logic for Programming, Artificial Intelligence, and Reasoning: 15th...
books.google.de
15th International Conference, LPAR 2008, Doha, Qatar, November , 2008, Proceedings Iliano Cervesato, Helmut Veith, Andrei Voronkov ...
Sie nannten sich Der Wiener Kreis: Exaktes Denken am Rand des...
books.google.de
Der Wiener Kreis ist aus dem Geistesleben des 20. Jahrhunderts nicht wegzudenken. Anknüpfend an Russell und Einstein versucht ein Team von Mathematikern,...
Time for Verification: Essays in Memory of Amir Pnueli - Google Books
books.google.de
This volume is dedicated to the memory of Amir Pnueli: a great scientist, a colleague and a friend. Amir touched our lives in several ways. As a scientist,...
Verification of Infinite-State Systems with Applications to Security...
books.google.de
The recent years have brought a number of advances in the development of infinite state verification, using techniques such as symbolic or parameterized...
Helmut Veith
www.iacr.org
Helmut Veith Search web for home page. Publications ... Coauthors of Helmut Veith. Stephen Chenney (1) · Jana Dittmann (1) · Somesh Jha (1) · Stefan ...
Database Theory - ICDT'99: 7th International Conference, Jerusalem,...
books.google.de
den Bussche Luc Vandeurzen Panos Vassiliadis Helmut Veith Roger Weber ...
Automata, Languages and Programming: 31st International Colloquium,...
books.google.de
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement for symbolic model checking.
Die Fakultät für Informatik/The Faculty of Informatics:...
books.google.de
Die Fakultat fur Informatik an der Technischen Universitat Wien steht fur Exzellenz in der Forschung, Qualitat in der Lehre und Leidenschaft in der Innovation....
Formal Methods in Computer-Aided Design: 5th International...
books.google.de
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin,...
Theory and Applications of Satisfiability Testing: 6th International...
books.google.de
[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] Pankaj Chauhan, Edmund M. Clarke, Samir Sapra, James Kukula, Helmut Veith, and Dong ...
Formal Methods in Computer-Aided Design: 5th International ...
books.google.de
Edmund M. Clarke, Somesh Jha, Yuan Lu, and Helmut Veith. Tree-like counterexamples in model checking. In Proceedings of the 17th Annual IEEE Symposium ...
(ebook) Logic for Programming, Artificial Intelligence, and Reasoning...
www.dymocks.com.au
Buy Logic for Programming, Artificial Intelligence, and Reasoning from Dymocks online BookStore. Find latest reader reviews and much more at Dymocks
Verification, Model Checking, and Abstract Interpretation: 19th
books.google.de
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018,...
Automata, Languages and Programming: 38th International Colloquium,...
books.google.com.au
... Johannes Uhlmann Irek Ulidowski Ugo Vaccaro Sándor Vágvölgyi Vasco T. Vasconcelos Andrea Vattani Roope Vehkalahti Helmut Veith Santosh S. Vempala Betti Venneri Carmine Ventre Elad Verbin Oleg Verbitsky Nikolay Vereshchagin Ivan Visconti Mahesh Viswanathan Berthold Vöcking Markus Völker Walter Vogler ...
beluga - Exemplare: Model-Based Development of...
beluga.sub.uni-hamburg.de
Model-Based Development of Software-intensive Automotive Systems ; Stefan Kugele. Gutachter: Manfred Broy; Helmut Veith. Betreuer: Manfred Broy. Kein Bild ...
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in...
25 Years of Model Checking: History, Achievements, Perspectives -...
books.google.de
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved...
Formal Methods and Software Engineering: 11th International...
books.google.de
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design...
sortiert nach Relevanz / Datum