Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2008
  • Author: Primiero, Giuseppe
Information and Knowledge: A Constructive Type-theoretical Approach
  • PDF
  • English
  • Year: 2008
  • Author: Giuseppe Primiero (auth.)
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
Global Children, Global Media: Migration, Media and Childhood
  • PDF
  • English
  • Year: 2007
  • Author: Liesbeth de Block, David Buckingham (auth.)
Global Children, Global Media: Migration, Media and Childhood
  • PDF
  • English
  • Year: 2007
  • Author: Liesbeth de Block, David Buckingham (auth.)
Introduction to Inverse Problems in Imaging
  • PDF
  • English
  • Year: 2021
  • Author: M. Bertero, P. Boccacci, Christine De Mol
Governing the Rural in Interwar Europe
  • PDF
  • English
  • Year: 2018
  • Author: Liesbeth van de Grift; Amalia Ribi Forclaz
Literature, Language, and Multiculturalism in Scandinavia and the Low Countries
  • PDF
  • English
  • Year: 2013
  • Author: Wolfgang Behschnitt; Sarah De Mul; Liesbeth Minnaard
search