|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Wiedijk, Freek | Paperback | 3540009132 /
9783540009139 | 03/2003 | $104.49 |
|  | The Seventeen Provers of the World: Foreword by Dana S. Scott 2006 Edition (Lecture Notes in Artificial Intelligence) | Wiedijk, Freek | Paperback | 3540307044 /
9783540307044 | 02/2006 | $56.99 |
|  | Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers 2003 Edition (Lecture Notes in Computer Science) | Geuvers, Herman | Paperback | 354014031X /
9783540140313 | 04/2003 | $52.24 |
|
|
|