Books by Dowek, Gilles

See the best price to sell, buy, or rent books by Dowek, Gilles. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Computation, Proof, Machine: Mathematics Enters a New Age image

Computation, Proof, Machine: Mathematics Enters a New Age

Author(s): Dowek, Gilles
ISBN-13: 9780521118019
Edition: New
Released: May 05, 2015
Format: Hardcover, 158 pages
SEE PRICES
Computation, Proof, Machine: Mathematics Enters a New Age image

Computation, Proof, Machine: Mathematics Enters a New Age

Author(s): Dowek, Gilles
ISBN-13: 9780521133777
Edition: New
Released: May 05, 2015
Format: Paperback, 160 pages
SEE PRICES
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) image

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Author(s): Dowek, Gilles
ISBN-13: 9780857290755
Edition: 2011
Publisher: Springer
Released: Dec 15, 2010
Format: Paperback, 108 pages
SEE PRICES
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) image

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

Author(s): Dowek, Gilles
ISBN-13: 9780857291202
Edition: 2011
Publisher: Springer
Released: Jan 14, 2011
Format: Paperback, 168 pages
SEE PRICES
The Age of Algorithms image

The Age of Algorithms

Author(s): Dowek, Gilles
ISBN-13: 9781108484572
Edition: 1
Released: Apr 16, 2020
Format: Hardcover, 166 pages
SEE PRICES
The Age of Algorithms image

The Age of Algorithms

Author(s): Dowek, Gilles
ISBN-13: 9781108745420
Edition: 1
Released: Apr 16, 2020
Format: Paperback, 166 pages
SEE PRICES
Principles of Programming Languages (Undergraduate Topics in Computer Science) image

Principles of Programming Languages (Undergraduate Topics in Computer Science)

Author(s): Dowek, Gilles
ISBN-13: 9781848820319
Edition: 2009
Publisher: Springer
Released: Mar 13, 2009
Format: Paperback, 172 pages
SEE PRICES
Les démonstrations et les algorithmes: Introduction à la logique et à la calculabilité image

Les démonstrations et les algorithmes: Introduction à la logique et à la calculabilité

Author(s): Dowek, Gilles
ISBN-13: 9782730215695
Edition: ECOLE POLYTECHNIQUE
Publisher: ECOLE POLYTECH
Released: Oct 05, 2010
Format: Paperback, 194 pages
SEE PRICES
metamorphoses du calcul (les) image

metamorphoses du calcul (les)

Author(s): Dowek, Gilles
ISBN-13: 9782746503243
Publisher: POMMIER
Released: Mar 29, 2007
Format: Paperback, 0 pages
SEE PRICES