Hoppa till sidans huvudinnehåll

Claude Kirchner - Böcker

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

Automated Deduction - CADE-15

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

AvClaude Kirchner,Helene Kirchner

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

AvHubert Comon-Lundh,Claude Kirchner m. fl.

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

AvVéronique Cortier,Claude Kirchner m. fl.

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

AvSamson Abramsky,Cyril Gavoille m. fl.

Häftad, Engelska, 2010

1 419 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

AvSamson Abramsky,Cyril Gavoille m. fl.

Häftad, Engelska, 2010

1 419 kr

Skickas inom 10-15 vardagar