Författare: Gilles Dowek

Stöd
Marion Roman is a France-based translator.




9 E-böcker av Gilles Dowek

Gilles Dowek & Jean-Jacques Levy: Introduction to the Theory of Programming Languages
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. Intr …
PDF
Engelska
DRM
€34.55
Gilles Dowek: Proofs and Algorithms
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: I …
PDF
Engelska
DRM
€34.73
Gilles Dowek: Computation, Proof, Machine
EPUB
Engelska
DRM
€55.36
Gilles Dowek: Principles of Programming Languages
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.It is important to …
PDF
Engelska
DRM
€36.02
Alessandro Armando & Peter Baumgartner: Automated Reasoning
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research pa …
PDF
Engelska
DRM
€57.60