 | Basic Simple Type Theory By Hindley J. Roger Format: Paperback Publisher: Cambridge University Press Publication Date: 2/28/2008
| $31.57You save* $3.42 |
 | Internet and Network Economics: Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 1/31/2008
| $93.02You save* $5.98 |
 | Progress in Artificial Life: Third Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 ProceedingsFormat: Paperback Publisher: Springer Publication Date: 12/31/2007
| $74.16You save* $5.79 |
 | Symbolic and Numerical Scientific ComputationFormat: Paperback Publisher: Springer Publication Date: 3/31/2008
| $61.88You save* $2.12 |
 | Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised SeFormat: Paperback Publisher: Springer Publication Date: 2/28/2008
| $74.16You save* $5.79 |
 | Graph Theory: Proceedings of a Conference Held in Lagow, Poland, February 10-13, 1981Format: Paperback Publisher: Springer Publication Date: 11/30/1983
| $43.07You save* $2.93 |
 | Algorithmic Number Theory: 8th International Symposium, Ants-VIII Banff, Canada, May 17-22, 2008 ProceedingsFormat: Paperback Publisher: Springer Publication Date: 6/30/2008
| $79.11You save* $5.84 |
 | Parameterized and Exact Computation: Third International Workshop, Iwpec 2008, Victoria, Canada, May 14-16, 2008, ProceedingsFormat: Hardcover Publisher: Springer Publication Date: 6/30/2008
| $54.36You save* $5.59 |
 | Algorithmic Game Theory: First International Symposium, Sagt 2008, Paderborn, Germany, April 30 - May 2, 2008, ProceedingsFormat: Hardcover Publisher: Springer Publication Date: 6/30/2008
| $69.21You save* $5.74 |
 | A Tribute to Paul ErdosFormat: Paperback Publisher: Cambridge University Press Publication Date: 6/30/2008
| $52.48You save* $2.52 |