Home Advanced Search

Advanced Search - Page 1

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers
  • PDF
  • English
  • Year: 1999
  • Author: Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
  • PDF
  • English
  • Year: 2003
  • Author: Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Limits of Computation: From a Programming Perspective
  • PDF
  • English
  • Year: 2016
  • Author: Bernhard Reus (auth.)
Logic of Computation
  • PDF
  • English
  • Year: 1997
  • Author: Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Conference in Mathematical Logic — London ’70
  • PDF
  • English
  • Year: 1972
  • Author: Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (eds.)
Basiswissen Allgemeinmedizin
  • PDF
  • German
  • Year: 2017
  • Author: Bernhard Riedl, Wolfgang Peter (auth.)
Spider Ecophysiology
  • PDF
  • English
  • Year: 2013
  • Author: Thorsten Burmester (auth.), Wolfgang Nentwig (eds.)
Gesundheit und Medizin im interdisziplinären Diskurs
  • PDF
  • German
  • Year: 2008
  • Author: Bernhard Laux (auth.), Professor Dr. Thorsten Kingreen, Professor Dr. Bernhard Laux (eds.)
search