کتاب های Gilles Dowek
Complexité-Simplexité
Gilles Dowek, 2014
Les Métamorphoses du calcul: Une étonnante histoire des mathématiques
Gilles Dowek, 2007
Introduction to the Theory of Programming Languages
Gilles Dowek, 2011
Introduction to the Theory of Programming Languages
Gilles Dowek, 2011
Principles of programming languages
Gilles Dowek (auth.), 2009
Principles of Programming Languages
Gilles Dowek (auth.), 2009
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Gilles Dowek (auth.), 2000
Computation, Proof, Machine: Mathematics Enters a New Age
Gilles Dowek, 2015
Introduction to the theory of programming languages
Lévy, Jean-Jacques; Dowek, Gilles, 2011
Le temps des algorithmes
Gilles Dowek, Serge Abiteboul, 2017
The age of algorithms
Serge Abiteboul, Gilles Dowek, 2020
