Rewriting, Computation and Proof
Editat de Hubert Comon-Lundh et al.
22 iun 2007
Paperback
Preț: 320.76 lei 400.94 lei
6-8 săpt.
-20%
Cărți de Claude Kirchner
Automated Deduction - CADE-15
Editat de Claude Kirchner et al.
24 iun 1998
Paperback
Preț: 329.56 lei 411.95 lei
6-8 săpt.
-20%
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Editat de Véronique Cortier et al.
25 mai 2009
Paperback
Preț: 374.91 lei
6-8 săpt.
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Editat de Samson Abramsky et al.
30 iun 2010
Paperback
Preț: 637.64 lei 797.05 lei
3-5 săpt.
-20%