Home Advanced Search

Advanced Search - Page 1

Reflections on Programming Systems: Historical and Philosophical Aspects
Reflections on Programming Systems: Historical and Philosophical Aspects
  • PDF
  • English
  • Year: 2018
  • Author: Liesbeth De Mol, Giuseppe Primiero
Information and knowledge: A constructive type-theoretical approach
Information and knowledge: A constructive type-theoretical approach
  • PDF
  • English
  • Year: 2008
  • Author: Primiero, Giuseppe
Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
  • PDF
  • english
  • Year: 2009
  • Author: Maarten de Mol
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
Eating in Theory
Eating in Theory
  • PDF
  • English
  • Year: 2021
  • Author: Annemarie Mol
The Frisian Popular Militias between 1480 and 1560
The Frisian Popular Militias between 1480 and 1560
  • PDF
  • English
  • Year: 2022
  • Author: Hans Mol
Een tweede leven met Formule 1
Een tweede leven met Formule 1
  • EPUB
  • Dutch
  • Year: 2021
  • Author: Olav Mol
Train Lord: The Astonishing True Story of One Man's Journey to Getting His Life Back On Track
Train Lord: The Astonishing True Story of One Man's Journey to Getting His Life Back On Track
  • EPUB
  • English
  • Year: 2022
  • Author: Oliver Mol
Lessons in Maa: A grammar of Maasai language
  • PDF
  • English
  • Year: 1995
  • Author: Frans Mol
search