Top 196 aarin durham PDF Book Page 8

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

book image

Graph-Theoretic Concepts in Computer Science: 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers

Luca Cittadini, Giuseppe Di Battista, Massimo Rimondini (auth.), Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniel Paulusma (eds.)
·396 Pages
·2008
·6.356 MB

book image

Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers

Dave Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou (auth.), Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni (eds.)
·288 Pages
·2008
·5.88 MB

book image

Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

John W. Gray (auth.), Michael Fourman, Christopher Mulvey, Dana Scott (eds.)
·793 Pages
·1979
·11.629 MB

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