Gilles Dowek의 책들 - BookPine

Qui a hacké Garoutzia ?: Tragicomédie policière en quatre actes, qui raconte les vies successives de Garoutzia

Qui a hacké Garoutzia ?: Tragicomédie policière en quatre actes, qui raconte les vies successives de Garoutzia

Serge Abiteboul

Pourquoi Moi ?: Le Hasard Dans Tous Ses États

Pourquoi Moi ?: Le Hasard Dans Tous Ses États

Sebastian Dieguez

The Age of Algorithms

The Age of Algorithms

Serge Abiteboul

Intelligence artificielle

Intelligence artificielle

Enki Bilal

Le temps des algorithmes

Le temps des algorithmes

Serge Abiteboul

Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek

La logique

La logique

Gilles Dowek

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... Computer Science and General Issues)

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... Computer Science and General Issues)

Gilles Dowek

Informatique et sciences du numérique - Edition spéciale Python !: Manuel de spécialité ISN en terminale - Avec des exercices corrigés et des idées de projets (Noire)

Informatique et sciences du numérique - Edition spéciale Python !: Manuel de spécialité ISN en terminale - Avec des exercices corrigés et des idées de projets (Noire)

Claudio Cimelli

Informatique et Sciences du Numérique: Spécialité ISN en Terminale S

Informatique et Sciences du Numérique: Spécialité ISN en Terminale S

Claudio Cimelli

Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Gilles Dowek

Automated Reasoning

Automated Reasoning

Alessandro Armando

Principles of Programming Languages

Principles of Programming Languages

Gilles Dowek

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Alessandro Armando

Quand la science a dit c'est bizarre ! - Poche

Quand la science a dit c'est bizarre ! - Poche

Étienne Klein

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek