Martin Davis – författare
Visar alla böcker från författaren Martin Davis. Handla med fri frakt och snabb leverans.
30 produkter
From Here to There
An Astrologer's Guide to Astromapping
Av Martin Davis
Häftad, 2007
232 kr
Lägg i varukorg
Martin Davis is a leader in the field of Astrolocality astrology. His influential first book, Astrolocality Astrology [The Wessex Astrologer, 1999], is the authoritative textbook in the field. This book, 'From Here To There: an astrologer's guide to astromapping', is his latest work on the subject. …
Computability, Complexity, and Languages
Fundamentals of Theoretical Computer Science
Av Elaine J. Weyuker, Ron Sigal m. fl.
E-bok, 1994
715 kr
Lägg i varukorg
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars …
Computability, Complexity, and Languages
Fundamentals of Theoretical Computer Science
Av Martin Davis, Ron Sigal m. fl.
Häftad, 1994
730 kr
Lägg i varukorg
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars …
Universal Computer
The Road from Leibniz to Turing
Av Martin Davis
Inbunden, 2000
550 kr
Lägg i varukorg
Computers are everywhere today--at work, in the bank, in artist's studios, sometimes even in our pockets--yet they remain to many of us objects of irreducible mystery. How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as …
Text and Materials on Housing Law
Av David Hughes, Martin Davis m. fl.
Häftad, 2004
1069 kr
Lägg i varukorg
Hughes, Davis, Matthew and Jones: Text and Materials on Housing Law is a collection of housing case law and legislation combined with commentary to enable students fully to understand the often complicated language of the law. It gathers together all the important original materials to which …
The Undecidable
Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions
Häftad, 2004
302 kr
Lägg i varukorg
Universal Computer
The Road from Leibniz to Turing, Third Edition
Av Martin Davis
Inbunden, 2018
2749 kr
Lägg i varukorg
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes …
Practical Injection Molding
Av Bernie A. Olmsted, Martin Davis
Inbunden, 2001
3070 kr
Lägg i varukorg
This work focuses on the factors critical to successful injection moulding, including knowledge of plastic materials and how they melt, the importance of mould design, the role of the screw, and the correct use of the controls of an injection moulding machine. It seeks to provide operating …
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Av Martin Davis
Inbunden, 2022
352 kr
Lägg i varukorg
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Av Martin Davis
Häftad, 2022
176 kr
Lägg i varukorg
Practical Injection Molding
Av Martin Davis, Bernie A. Olmsted
E-bok, 2001
3428 kr
Lägg i varukorg
This work focuses on the factors critical to successful injection moulding, including knowledge of plastic materials and how they melt, the importance of mould design, the role of the screw, and the correct use of the controls of an injection moulding machine. It seeks to provide operating …
Universal Computer
The Road from Leibniz to Turing, Third Edition
Av Martin Davis
Häftad, 2018
634 kr
Lägg i varukorg
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes …
Universal Computer
The Road from Leibniz to Turing, Third Edition
Av Martin Davis
E-bok, 2018
729 kr
Lägg i varukorg
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes …
Universal Computer
The Road from Leibniz to Turing, Third Edition
Av Martin Davis
E-bok, 2018
745 kr
Lägg i varukorg
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes …
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Av Martin Davis, Edmond Schonberg
Inbunden, 2012
1096 kr
Lägg i varukorg
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the …
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Av Edmond Schonberg, Martin Davis
E-bok, 2012
1459 kr
Lägg i varukorg
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the …
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Av Martin Davis, Edmond Schonberg
Häftad, 2014
1096 kr
Lägg i varukorg
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the …
Practical Injection Molding
Av Martin Davis, Bernie A. Olmsted
E-bok, 2001
3428 kr
Lägg i varukorg
This work focuses on the factors critical to successful injection moulding, including knowledge of plastic materials and how they melt, the importance of mould design, the role of the screw, and the correct use of the controls of an injection moulding machine. It seeks to provide operating …
Astrolocality Astrology: A Guide to What it is and How to Use it
Av Martin Davis
Häftad, 2014
203 kr
Lägg i varukorg
Welcome to the revised and updated version of Astrolocality Astrology. In the 15 years since the original version was published, the world has shrunk and computer software has dramatically improved. It is now easier than ever to access astro-mapping software and so quite literally seek out the best …
Cartographic Analysis of Soviet Military City Plans
Av Martin Davis
Inbunden, 2021
1967 kr
Lägg i varukorg
The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This thesis provides an in-depth examination of the …
Cartographic Analysis of Soviet Military City Plans
Av Martin Davis
E-bok, 2021
2599 kr
Lägg i varukorg
The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This thesis provides an in-depth examination of the …
Cartographic Analysis of Soviet Military City Plans
Av Martin Davis
Häftad, 2022
1967 kr
Lägg i varukorg
The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This thesis provides an in-depth examination of the …
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Av Martin Davis, Ansgar Fehnker m. fl.
Häftad, 2015
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and …
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Av Andrei Voronkov, Annabelle McIver m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and …
