Hoppa till sidans huvudinnehåll

Claude Kirchner – författare

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

729 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 Kirchnerm. 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

AvVéronique Cortier,Claude Kirchnerm. 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

AvSamson Abramsky,Cyril Gavoillem. fl.

Häftad, Engelska, 2010

1 449 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 Gavoillem. fl.

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar