|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures 2002 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540440445 /
9783540440444 | 08/2002 | $52.24 |
|  | Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings 1989 Edition (Lecture Notes in Computer Science) | Pitt, David H. | Paperback | 354051662X /
9783540516620 | 08/1989 | $52.24 |
|  | Semantics and Logics of Computation (Publications of the Newton Institute) | Pitts, Andrew M. | Paperback | 0521118468 /
9780521118460 | 08/2009 | $49.39 |
|  | Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers 1995 Edition (Lecture Notes in Computer Science) | Dybjer, Peter | Paperback | 3540605797 /
9783540605799 | 10/1995 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers 2000 Edition (Lecture Notes in Computer Science) | Coquand, Thierry | Paperback | 3540415173 /
9783540415176 | 12/2000 | $52.24 |
|
|
|