Home Advanced Search

Advanced Search - Page 1

Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Type theory and formal proof: an Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Geuvers, Jan Herman; Nederpelt, R. P
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Effective JavaScript: 68 Specific Ways to Harness the Power of JavaScript
  • PDF
  • English
  • Year: 2013
  • Author: David Herman
How to Succeed as an Independent Consultant, 3rd Edition
  • PDF
  • English
  • Year: 1993
  • Author: Herman Holtz
Legal Inversions: Lesbians, Gay Men, and the Politics of the Law
  • PDF
  • English
  • Year: 1995
  • Author: Didi Herman
Moby-Dick, or, the Whale
  • EPUB
  • English
  • Year: 2009
  • Author: Melville, Herman
Technical writing in the corporate world
  • PDF
  • English
  • Year: 1995
  • Author: Herman A. Estrin
search