Home Advanced Search

Advanced Search - Page 1

A Modern Perspective on Type Theory: From its Origins until Today
  • PDF
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt (auth.)
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Thirty Five Years of Automating Mathematics
  • PDF
  • English
  • Year: 2003
  • Author: Fairouz D. Kamareddine (eds.)
Intelligent Technologies and Applications: First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Imran Sarwar Bajwa, Fairouz Kamareddine, Anna Costa
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: Professor Rob Nederpelt, Professor Herman Geuvers
Narratives of Technology
  • PDF
  • English
  • Year: 2016
  • Author: J. M. van der Laan (auth.)
Model-Based Design of Adaptive Embedded Systems
  • PDF
  • English
  • Year: 2013
  • Author: Jacques Verriet, Twan Basten, Roelof Hamberg (auth.), Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet (eds.)
Model-Based Design of Adaptive Embedded Systems
  • PDF
  • English
  • Year: 2013
  • Author: Jacques Verriet, Twan Basten, Roelof Hamberg (auth.), Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet (eds.)
search