Top 348 todd durham PDF Book Page 14

book image

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)
·251 Pages
·2002
·9.923 MB

book image

A Transect Through the New England Appalachians: Burlington, Vermont to Durham, New Hampshire July 2-8, 1989

John B. Lyons, Wallace A. Bothner, Barry L. Doolan, Norman L. Hatch, Robert H. Moench, Rolfe Stanley(auth.)
·68 Pages
·5.422 MB

book image

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

Mattijs Ghijsen, Wouter Jansweijer, Bob Wielinga (auth.), Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega (eds.)
·341 Pages
·2008
·10.359 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.