Claude Kirchner - Böcker

Visar alla böcker från författaren Claude Kirchner.

5 produkter

Kategorier

5 produkter

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Av Claude Kirchner, Helene Kirchner

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Rewriting, Computation and Proof

Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Av Hubert Comon-Lundh, Claude Kirchner m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

Av Véronique Cortier, Claude Kirchner m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Av Samson Abramsky, Cyril Gavoille m. fl

Häftad, Engelska, 2010

1 459 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Av Samson Abramsky, Cyril Gavoille m. fl

Häftad, Engelska, 2010

1 459 kr

Skickas inom 10-15 vardagar