|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings 2001 Edition (Lecture Notes in Computer Science) | Berry, Gerard | Paperback | 3540423451 /
9783540423454 | 07/2001 | $104.49 |
|  | Constraints in Computational Logics: Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised 2001 Edition (Lecture Notes in Computer Science) | Comon, Hubert | Paperback | 3540419500 /
9783540419501 | 04/2001 | $52.24 |
|  | Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings 1997 Edition (Lecture Notes in Artificial Intelligence) | Comon, Hubert | Paperback | 3540629505 /
9783540629504 | 05/1997 | $52.24 |
|  | Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course 1995 Edition (Lecture Notes in Computer Science) | Comon, Hubert | Paperback | 3540593403 /
9783540593409 | 04/1995 | $52.24 |
|
|
|