Gilles Dowek - Böcker

Visar alla böcker från författaren Gilles Dowek.
11 produkter
Gilles Dowek, Paris) Dowek, Gilles (Ecole Polytechnique - Computation, Proof, Machine, Inbunden

Computation, Proof, Machine

Av Gilles Dowek, Paris) Dowek, Gilles (Ecole Polytechnique

Inbunden, Engelska, 2015

1 409 kr

Skickas inom 7-10 vardagar
Gilles Dowek - Computation, Proof, Machine, Häftad

Computation, Proof, Machine

Av Gilles Dowek

Häftad, Engelska, 2015

749 kr

Skickas inom 7-10 vardagar
Gilles Dowek, Jean-Jacques Lévy - Introduction to the Theory of Programming Languages, Häftad

Introduction to the Theory of Programming Languages

Av Gilles Dowek, Jean-Jacques Lévy

Häftad, Engelska, 2010

519 kr

Skickas inom 10-15 vardagar
Gilles Dowek - Proofs and Algorithms, Häftad

Proofs and Algorithms

Av Gilles Dowek

Häftad, Engelska, 2011

519 kr

Skickas inom 10-15 vardagar
Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA) - The Age of Algorithms, Inbunden

The Age of Algorithms

Av Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA)

Inbunden, Engelska, 2020

779 kr

Skickas inom 7-10 vardagar
Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA) - The Age of Algorithms, Häftad

The Age of Algorithms

Av Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA)

Häftad, Engelska, 2020

279 kr

Skickas inom 7-10 vardagar
Gilles Dowek - Principles of Programming Languages, Häftad

Principles of Programming Languages

Av Gilles Dowek

Häftad, Engelska, 2009

489 kr

Skickas inom 10-15 vardagar
Gilles Dowek - Rewriting and Typed Lambda Calculi, Häftad

Rewriting and Typed Lambda Calculi

Av Gilles Dowek

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller - Higher-Order Algebra, Logic, and Term Rewriting, Häftad
Del 1074 - Lecture Notes in Computer Science

Higher-Order Algebra, Logic, and Term Rewriting

Av Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad
Del 1690 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar
Alessandro Armando, Peter Baumgartner, Gilles Dowek - Automated Reasoning, Häftad

Automated Reasoning

Av Alessandro Armando, Peter Baumgartner, Gilles Dowek

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar