Home Advanced Search

Advanced Search - Page 1

Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
  • PDF
  • english
  • Year: 2009
  • Author: Maarten de Mol
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Maarten de Mol, Marko van Eekelen (auth.), Peter Achten, Pieter Koopman (eds.)
Reflections on Programming Systems: Historical and Philosophical Aspects
  • PDF
  • English
  • Year: 2018
  • Author: Liesbeth De Mol, Giuseppe Primiero
Extending Modal Logic [PhD Thesis]
  • PDF
  • English
  • Year: 1993
  • Author: Maarten de Rijke
Mathematics that Works, Vol. 2: Analysis Applied
  • PDF
  • English
  • Year: 2020
  • Author: Maarten de Gee
Sharing the Pie : Taxing Multinationals in a Global Market
  • EPUB
  • English
  • Year: 2017
  • Author: Maarten Floris de Wilde
Introduction to Inverse Problems in Imaging
  • PDF
  • English
  • Year: 2021
  • Author: M. Bertero, P. Boccacci, Christine De Mol
Broiler Signals
  • PDF
  • English
  • Year: 2013
  • Author: Koos van Middelkoop, Maarten de Gussem
Specifying Syntactic Structures
  • PDF
  • English
  • Year: 1997
  • Author: Patrick Blackburn & Maarten de Rijke (eds.)
Windows Runtime via C#
  • EPUB
  • English
  • Year: 2013
  • Author: Jeffrey Richter, Maarten van de Bospoort
search