Cărți de Claude Kirchner

Rewriting, Computation and Proof

Editat de Hubert Comon-Lundh et al.

22 iun 2007

Preț: 321^.74 lei 402^.18 lei

43-57 zile

-20%

Automated Deduction - CADE-15

Editat de Claude Kirchner et al.

24 iun 1998

Preț: 330^.58 lei 413^.22 lei

43-57 zile

-20%

Formal to Practical Security

Editat de Véronique Cortier et al.

25 mai 2009

Preț: 317^.47 lei 396^.84 lei

43-57 zile

-20%

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ț: 637^.64 lei 797^.05 lei

22-36 zile

-20%