|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540852865.jpg&wmax=80&hmax=80) | Advances in Natural Language Processing: 6th International Conference, Gotal 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings 2008 Edition | Ranta, Aarne | Paperback | 3540852867 / 9783540852865 | 08/2008 | $52.24 |
| ![](thumb.php?src=products/354/9783540605799.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540415176.jpg&wmax=80&hmax=80) | 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 |
|
|
|