Claude Kirchner - Böcker

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

Automated Deduction - CADE-15

Av Claude 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

Av Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, V. Ronique Cortier - Formal to Practical Security, Häftad

Formal to Practical Security

Av Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, V. Ronique Cortier

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

Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis

Häftad, Engelska, 2010

1 449 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

Av Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar