|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, Bc, Canada, June 28-July 2, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science,) | Hu, Alan J. | Paperback | 3540646086 /
9783540646082 | 06/1998 | $104.49 |
|  | Database Theory - Icdt '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings 1995 Edition (Lecture Notes in Computer Science) | Gottlob, Georg | Paperback | 3540589074 /
9783540589075 | 01/1995 | $52.24 |
|  | Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston, Texas, Usa, November 11-14, 2 (Lecture Notes in Computer Science) | Peled, Doron a. | Paperback | 3540001417 /
9783540001416 | 10/2002 | $52.24 |
|
|
|