Gilles Dowek – författare
Visar alla böcker från författaren Gilles Dowek. Handla med fri frakt och snabb leverans.
21 produkter
Proofs and Algorithms
An Introduction to Logic and Computability
Av Gilles Dowek
Häftad, 2011
399 kr
Lägg i varukorg
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: Introduction to Logic and Computability is an introduction to the fundamental concepts of …
Computation, Proof, Machine
Mathematics Enters a New Age
Av Gilles Dowek
Inbunden, 2015
1336 kr
Lägg i varukorg
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of …
Computation, Proof, Machine
Mathematics Enters a New Age
Av Gilles Dowek
Häftad, 2015
781 kr
Lägg i varukorg
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of …
Introduction to the Theory of Programming Languages
Av Gilles Dowek, Jean-Jacques Lévy
Häftad, 2010
399 kr
Lägg i varukorg
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. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to …
Introduction to the Theory of Programming Languages
Av Jean-Jacques Levy, Gilles Dowek
E-bok, 2010
439 kr
Lägg i varukorg
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. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to …
Proofs and Algorithms
An Introduction to Logic and Computability
Av Gilles Dowek
E-bok, 2011
444 kr
Lägg i varukorg
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: Introduction to Logic and Computability is an introduction to the fundamental concepts of …
Age of Algorithms
Av Gilles Dowek, Serge Abiteboul
E-bok, 2020
296 kr
Lägg i varukorg
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. They upset the concepts of work, property, government, private life, even humanity. Going easily from one extreme to …
Age of Algorithms
Av Gilles Dowek, Serge Abiteboul
E-bok, 2020
303 kr
Lägg i varukorg
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. They upset the concepts of work, property, government, private life, even humanity. Going easily from one extreme to …
The Age of Algorithms
Av Serge Abiteboul, Gilles Dowek
Häftad, 2020
291 kr
Lägg i varukorg
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. They upset the concepts of work, property, government, private life, even humanity. Going easily from one extreme to …
Computation, Proof, Machine
Mathematics Enters a New Age
Av Gilles Dowek
E-bok, 2015
766 kr
Lägg i varukorg
Computation is revolutionizing our world, even the inner world of the ''pure'' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority …
Computation, Proof, Machine
Mathematics Enters a New Age
Av Gilles Dowek
E-bok, 2015
766 kr
Lägg i varukorg
Computation is revolutionizing our world, even the inner world of the ''pure'' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority …
Principles of Programming Languages
Av Gilles Dowek
Häftad, 2009
377 kr
Lägg i varukorg
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 realise that knowledge of a single programming language is not really enough. To be a good …
Principles of Programming Languages
Av Gilles Dowek
E-bok, 2009
460 kr
Lägg i varukorg
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 realise that knowledge of a single programming language is not really enough. To be a good …
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
Av Gilles Dowek
Häftad, 2014
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, …
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
Av Gilles Dowek
E-bok, 2014
710 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, …
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings
Av Laurent Thery, Christine Paulin m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Av Gilles Dowek, Jan Heering m. fl.
Häftad, 1996
568 kr
Lägg i varukorg
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an …
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Av Yves Bertot, Gilles Dowek m. fl.
Häftad, 1999
552 kr
Lägg i varukorg
This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at …
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Av Alessandro Armando, Peter Baumgartner m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
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 papers and 13 revised system descriptions presented together with 4 invited papers and a summary of …
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Av Gilles Dowek, Peter Baumgartner m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
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 papers and 13 revised system descriptions presented together with 4 invited papers and a summary of …
The Age of Algorithms
Av Serge Abiteboul, Gilles Dowek
Inbunden, 2020
742 kr
Tillfälligt slut
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. They upset the concepts of work, property, government, private life, even humanity. Going easily from one extreme to …
