Hoppa till sidans huvudinnehåll

Claude Kirchner – författare

Visar alla böcker från författaren .
5 produkter
Claude Kirchner, Helene Kirchner - Automated Deduction - CADE-15, Häftad

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

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof, Häftad

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

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada - Formal to Practical Security, Häftad

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

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

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 439 kr

Skickas inom 10-15 vardagar