Home Advanced Search

Advanced Search - Page 1

Programming in Martin-Löf's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Microsoft Forefront Identity Manager 2010 R2 Handbook
  • PDF
  • English
  • Year: 2012
  • Author: Nordstrom Kent
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Pannovation and the Gatefree Space
  • EPUB
  • English
  • Year: 2013
  • Author: Jan Rollof, Bengt Johansson
Continuities in Political Action: A Longitudinal Study of Political Orientations in Three Western Democracies
  • PDF
  • English
  • Year: 1990
  • Author: M. Kent Jennings (ed.), Jan W. van Deth (ed.)
Building vocabulary for college
  • PDF
  • English
  • Year: 2009
  • Author: R Kent Smith
Confessions of a Homegrown Alien: An Australian Memoir
  • EPUB
  • English
  • Year: 2016
  • Author: Jan Smith
Descent in Buildings
  • AZW3
  • English
  • Year: 2015
  • Author: Bernhard Mühlherr, Holger P. Petersson, Richard M. Weiss
Descent in Buildings (AM-190)
  • PDF
  • English
  • Year: 2015
  • Author: Bernhard Mühlherr; Holger P. Petersson; Richard M. Weiss
search