Rainer Hähnle - Bücher - alle Infos bei Yasni.de

(1 - 5 von 5

)

Fundamental Approaches to Software Engineering: 22nd International...

books.google.ca

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software...

Logic for Programming, Artificial Intelligence, and Reasoning: 9th...

books.google.ca

... Olivier Gasquet José Manuel Gómez Rainer Haehnle Juan Heguiabehere Thomas Hillenbrand Emil Jerabek Konstantin Korovin Dominique Larchey-Wendling Stefan ...

Official Gazette of the United States Patent and Trademark Office:...

books.google.ca

gelgerate Manufaktur Hellmuth Kuntze GmbH & Co. KG Cl . Blum , Rainer ; Haehnle , Hans - Joachim ; and Hoffmann , Gerhard ,

Construction and Evolution of Code Generators: A Model-Driven and...

books.google.de

Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that...

Resolution Proof Systems: An Algebraic Theory - Z. Stachniak - Google...

books.google.de

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems...

Verwandte Suchanfragen zu Rainer Hähnle

Andreas Hesky
Marc Krezer

Personen
Vorname "Rainer" (37159)
Name "Hähnle" (104)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Rainer Hähnle

Fundamental Approaches to Software Engineering: 22nd International...

Logic for Programming, Artificial Intelligence, and Reasoning: 9th...

Official Gazette of the United States Patent and Trademark Office:...

Construction and Evolution of Code Generators: A Model-Driven and...

Resolution Proof Systems: An Algebraic Theory - Z. Stachniak - Google...