Claude Kirchner | Booky.fi

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

Kirchner, Claude; Kirchner, Helene
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

51,40 €

Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Comon-Lundh, Hubert; Kirchner, Claude; Kirchner, Hélène
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration

Cortier, Véronique; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,40 €

Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings,

Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; Meyer auf der Heide, Friedhelm; Spirakis, Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

101,40 €

Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings,

Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; Meyer auf der Heide, Friedhelm; Spirakis, Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

101,40 €