Home Advanced Search

Advanced Search - Page 1

Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets
Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets
  • DJVU
  • French
  • Year: 2012
  • Author: Gilles Dowek, et al.
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
  • EPUB
  • English
  • Author: Gilles Dowek
Computation, Proof, Machine: Mathematics Enters a New Age
Computation, Proof, Machine: Mathematics Enters a New Age
  • PDF
  • English
  • Year: 2015
  • Author: Gilles Dowek
La Lógica
La Lógica
  • PDF
  • Spanish
  • Year: 2001
  • Author: Gilles Dowek
Principles of programming languages
Principles of programming languages
  • PDF
  • English
  • Year: 2016
  • Author: Dowek, Gilles
The age of algorithms
The age of algorithms
  • PDF
  • English
  • Year: 2020
  • Author: Serge Abiteboul, Gilles Dowek
Le temps des algorithmes
Le temps des algorithmes
  • PDF
  • French
  • Year: 2017
  • Author: Gilles Dowek, Serge Abiteboul
Las teorías de la guerra justa en el siglo XVI y sus expresiones contemporáneas
  • PDF
  • Spanish
  • Year: 2013
  • Author: Gilles Bataillon et al. (coords.)
Introduction to the Theory of Programming Languages [recurso electrónico]
Introduction to the Theory of Programming Languages [recurso electrónico]
  • EPUB
  • English
  • Year: 2011
  • Author: Gilles Dowek & Jean-Jacques Lévy
Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek, Jean-Jacques Lévy (auth.)
search