Gilles Dowek
- Auteur
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Boeken van Gilles Dowek
Serge Abiteboul
Gilles Dowek
The Age of Algorithms
€ 69,67
Algorithms are probably the most sophisticated tools that people have had at their disposal since the beginnings of human history. They have transformed science, industry, society.
Meer
Gilles Dowek
Principles of Programming Languages
€ 40,59
By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective.
Meer
Gilles Dowek
Jean-Jacques Lévy
Introduction to the Theory of Programming Languages
€ 42,94
The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems.
Meer
Yves Bertot
Gilles Dowek
Andre Hirschowitz
Christine Paulin
Laurent Thery
Theorem Proving in Higher Order Logics
€ 60,99
Recent Advancements in Hardware Verification — How to Make Theorem Proving Fit for an Industrial Usage.- Disjoint Sums over Type Classes in HOL.- Inductive Datatypes in HOL — Lessons Learned in Formal-Logic Engineering.
Meer
Alessandro Armando
Peter Baumgartner
Gilles Dowek
Automated Reasoning
€ 60,99
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008.
Meer
Serge Abiteboul€ 69,67
Gilles Dowek€ 40,59
Gilles Dowek€ 42,94
Yves Bertot€ 60,99
Alessandro Armando€ 60,99