Home Advanced Search

Advanced Search - Page 1

Types in Compilation: third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
  • PDF
  • English
  • Year: 2001
  • Author: Karl Crary (auth.), Robert Harper (eds.)
IFS: Conditionals, Belief, Decision, Chance and Time
  • PDF
  • English
  • Year: 1980
  • Author: William L. Harper (auth.), William L. Harper, Robert Stalnaker, Glenn Pearce (eds.)
The Connected Home: The Future of Domestic Life
  • PDF
  • English
  • Year: 2011
  • Author: Richard Harper (auth.), Richard Harper (eds.)
Lake Naivasha, Kenya: Papers submitted by participants at the conference “Science and the Sustainable Management of Shallow Tropical Waters” held at Kenya Wildlife Services Training Institute, Naivasha, Kenya, 11–16 April 1999 together with those from additional studies on the lake
  • PDF
  • English
  • Year: 2002
  • Author: Robert Becht, David M. Harper (auth.), David M. Harper, R. R. Boar, M. Everard, P. Hickley (eds.)
Inside the Smart Home
  • PDF
  • English
  • Year: 2003
  • Author: Richard Harper (auth.), Richard Harper PhD (eds.)
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)
Practical Foundations For Programming Languages
  • PDF
  • English
  • Year: 2016
  • Author: Robert Harper
Practical foundations for programming languages
  • PDF
  • English
  • Year: 2016
  • Author: Harper, Robert
Practical Foundations for Programming Languages
  • EPUB
  • English
  • Year: 2016
  • Author: Robert Harper
Practical Foundations for Programming Languages
  • PDF
  • English
  • Author: Robert Harper
search