Helmut Veith - Böcker
Visar alla böcker från författaren Helmut Veith.
6 produkter
6 produkter
1 969 kr
Skickas inom 10-15 vardagar
509 kr
Skickas inom 10-15 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Häftad, Engelska, 2008
1 419 kr
Skickas inom 10-15 vardagar
Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Häftad, Engelska, 2013
1 419 kr
Skickas inom 10-15 vardagar
939 kr
Tillfälligt slut