Claude Kirchner - Böcker
Visar alla böcker från författaren Claude Kirchner.
5 produkter
5 produkter
Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Häftad, Engelska, 1998
709 kr
Skickas inom 10-15 vardagar
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Häftad, Engelska, 2007
709 kr
Skickas inom 10-15 vardagar
Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration
Häftad, Engelska, 2009
709 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Häftad, Engelska, 2010
1 429 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Häftad, Engelska, 2010
1 429 kr
Skickas inom 10-15 vardagar