

Broschiertes Buch
Theoretical Foundations
Softcover reprint of hardcover 1st ed. 1992
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08145-3
Gebundenes Buch | 81,99 € | |
eBook, PDF | 73,95 € |

Broschiertes Buch
Automated Reasoning and Practical Applications
Softcover reprint of hardcover 1st ed. 2003
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08417-1
Gebundenes Buch | 41,99 € |

Gebundenes Buch
Automated Reasoning and Practical Applications
2003
23. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-64507-8

Broschiertes Buch
Second International Workshop, IMTCI 2004, Warsaw, Poland, September 13-14, 2004. Revised Selected Papers
2005
30. September 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11558637,978-3-540-29035-3
eBook, PDF | 40,95 € |

Gebundenes Buch
Theoretical Foundations
1992.
3. Dezember 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55926-9


Ähnlichkeitssuche: Fact®Finder von OMIKRON