Home Advanced Search

Advanced Search - Page 1

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
  • DJVU
  • English
  • Year: 1998
  • Author: Giovanni Sambin, Jan M. Smith
Percezione e architettura
  • PDF
  • Italian
  • Year: 1999
  • Author: Marco Sambin
Programming in Martin-Löf's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Programming in Martin-Lof's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Confessions of a Homegrown Alien: An Australian Memoir
  • EPUB
  • English
  • Year: 2016
  • Author: Jan Smith
Begged, Borrowed, & Stolen: True Tales of Thievery from America's Past
  • EPUB
  • English
  • Year: 2021
  • Author: Jan Bridgeford-Smith
The Glass Cricket Ball: War. Art. Sacrifice
  • EPUB
  • English
  • Year: 2022
  • Author: Jan William Smith
Platone e l'Europa
  • PDF
  • Italian
  • Year: 1997
  • Author: Jan Patocka, Giovanni Reale (editor)
Individual Forms of Ownership in the Urban Housing Fund of the USSR, 1944-64
  • PDF
  • English
  • Author: Smith M.
Microsoft Office 2010: Ultimate Tips & Tricks
  • PDF
  • English
  • Author: Smith M.
search