Suchergebnisse für ""Susanne Biundo""
4 Artikel gefunden
Suchfilter
Cover Automatische Synthese rekursiver Programme als Beweisverfahren
Susanne Biundo 
Automatische Synthese rekursiver …
Broschiertes Buch

54,99 €
Cover Automatische Synthese rekursiver Programme als Beweisverfahren (eBook, PDF)
Susanne Biundo 
Automatische Synthese rekursiver …
eBook, PDF

42,99 €
Cover KI 2004: Advances in Artificial Intelligence
Susanne Biundo / …
KI 2004: Advances in Artificial …
Broschiertes Buch

39,99 €
Cover Recent Advances in AI Planning
Susanne Biundo / …
Recent Advances in AI Planning
Broschiertes Buch

39,99 €

Ähnliche Artikel

Cover Rewriting Techniques and Applications
Comon 
Rewriting Techniques and Applications
Broschiertes Buch

39,99 €
Cover NASA Formal Methods
 
NASA Formal Methods
Broschiertes Buch

98,99 €
Cover Grundlagen des maschinellen Beweisens
Dieter Hofbauer, …
Grundlagen des maschinellen Beweisens
Broschiertes Buch

44,99 €
Cover Logic Program Synthesis and Transformation
Proietti 
Logic Program Synthesis and Transformation
Broschiertes Buch

39,99 €
Cover Static Analysis
 
Static Analysis
Broschiertes Buch

53,99 €
Cover Static Analysis
 
Static Analysis
Broschiertes Buch

38,99 €
Cover Computer Aided Verification
Hu 
Computer Aided Verification
Broschiertes Buch

77,99 €
Cover Logic for Programming, Artificial Intelligence, and Reasoning
 
Logic for Programming, Artificial …
Broschiertes Buch

38,99 €
Cover Computer Aided Verification
Rajeev Alur / Doron …
Computer Aided Verification
Broschiertes Buch

77,99 €
Cover Automated Technology for Verification and Analysis
 
Automated Technology for Verification …
Broschiertes Buch

38,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter