1
0
0
(1 - 17 von 18
)
bokus.com: Ansgar Fehnker - Böcker | Bokus bokhandel
Köp böcker av Ansgar Fehnker:
Author: Ansgar Fehnker
easychair.org
Intelligence and Reasoning - Short Presentations · Ansgar Fehnker, Annabelle ...
Embedded Software: Third International Conference, EMSOFT 2003,...
books.google.de
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in...
Automated Technology for Verification and Analysis: Second...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in...
Formal Approaches to Software Testing: Third International Workshop...
books.google.de
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Efficient Guiding Towards Cost-Optimality in Uppaal.
Ansgar Fehnker on Apple Books
books.apple.com
Preview and download books by Ansgar Fehnker, including Logic for Programming, Artificial Intelligence, and Reasoning.
Formal Modeling and Analysis of Timed Systems: 11th International...
books.google.cz
Donzé Georgios Fainekos Jean-Marie Farines Ansgar Fehnker Goran Frehse ...
Formal Techniques for Safety-Critical Systems: Second International...
books.google.cz
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October The
Handbook of Networked and Embedded Control Systems - Google Books
books.google.de
The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, and students a broad,...
ansgar fehnker: 1 Books available | chapters.indigo.ca
www.chapters.indigo.ca
Buy ansgar fehnker Books at Indigo.ca. Shop amongst our popular books, including 1, Logic For Programming, Artificial Intelligence, And Reasoning and more from...
Formal Techniques for Safety-Critical Systems: Third International...
books.google.de
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in...
Logic for Programming, Artificial Intelligence, and Reasoning: 20th...
books.google.cz
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in...
Guiding and Cost-Optimality in UPPAAL
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
Modeling and Verification of Parallel Processes: 4th Summer School,...
books.google.de
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP...
Models, Algebras and Logic of Engineering Software - Google Books
books.google.de
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.cz
180–197, Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen,
...
Logic for Programming, Artificial Intelligence, and Reasoning in...
books.apple.com
This book constitutes the proceedings of the 20th
International Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-20, held in...
Verwandte Suchanfragen zu Ansgar Fehnker
Ralf Huuck Paul Pettersson Gerd Behrmann | Stefan Edelkamp Wolf Rödiger Ansgar Grüne | Maurice Gully Matthias Fruth Anke Baumhöfer |
Personen Vorname "Ansgar" (2713) Name "Fehnker" (28) |
sortiert nach Relevanz / Datum