|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Abramsky, Samson | Paperback | 3642141641 /
9783642141645 | 06/2010 | $104.49 |
|  | Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Abramsky, Samson | Paperback | 3642141617 /
9783642141614 | 06/2010 | $104.49 |
|  | Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Kirchner, Claude | Paperback | 3540646752 /
9783540646754 | 06/1998 | $52.24 |
|  | Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration 2009 Edition (Lecture Notes in Computer Science / Security and Cryptology) | Cortier, Véronique | Paperback | 3642020011 /
9783642020018 | 05/2009 | $52.24 |
|  | Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday 2007 Edition (Lecture Notes in Computer Science) | Comon-Lundh, Hubert | Paperback | 3540731466 /
9783540731467 | 06/2007 | $52.24 |
|
|
|