Showing 1 - 8 of 8 Results
1.
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, F... by Abramsky, Samson, Gavoille,... ISBN: 9783642141614 List Price: $119.00
2.
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion ... by Comon-Lundh, Hubert, Kirchn... ISBN: 9783540731467 List Price: $64.95
3.
Formal to Practical Security: Papers Issued from the 2005-2008 Frenche-Japanese Collaboration by Cortier, Véronique, Kirchn... ISBN: 9783642020018 List Price: $59.95
4.
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, F... by Abramsky, Samson, Gavoille,... ISBN: 9783642141645 List Price: $131.00
5.
Unification by Kirchner, Claude ISBN: 9780124095908 List Price: $75.00
6.
Automata, Languages and Programming by Abramsky, Samson, Gavoille,... ISBN: 9783642141638 List Price: $24.99
7.
Automated Deduction - Cade-15 by Kirchner, Claude, Kirchner,... ISBN: 9783662196786 List Price: $24.99
8.
Automata, Languages and Programming by Abramsky, Samson, Gavoille,... ISBN: 9783642141669 List Price: $24.99