Cărți de Claude Kirchner

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

Lecture Notes in Computer Science, nr. 6199

Editat de Samson Abramsky et al.

30 iun 2010

Preț: 649^.87 lei 812^.33 lei

22-36 zile

-20%

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

Lecture Notes in Computer Science, nr. 4600

Editat de Hubert Comon-Lundh et al.

22 iun 2007

Preț: 327^.34 lei 409^.17 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 5458

Editat de Véronique Cortier et al.

25 mai 2009

Preț: 381^.87 lei

43-57 zile

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

Lecture Notes in Computer Science, nr. 1421

Editat de Claude Kirchner et al.

24 iun 1998

Preț: 334^.93 lei 418^.67 lei

43-57 zile

-20%