Claude Kirchner | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

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
2007
Pehmeäkantinen kirja

51,10 €

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

Kirchner, Claude; Kirchner, Helene
Springer
1998
Pehmeäkantinen kirja

51,10 €

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

Cortier, Véronique; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki
Springer
2009
Pehmeäkantinen kirja

51,10 €

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

100,90 €

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

100,90 €