Martin Davis – författare
Visar alla böcker från författaren Martin Davis. Handla med fri frakt och snabb leverans.
22 produkter
22 produkter
Computability, Complexity, and Languages
Fundamentals of Theoretical Computer Science
Häftad, Engelska, 1994
690 kr
Skickas inom 7-10 vardagar
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 and Automata, Logic, Complexity, and Unsolvability. Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. The number of exercises included has more than tripled. Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
215 kr
Skickas inom 5-8 vardagar
210 kr
Skickas inom 5-8 vardagar
523 kr
Skickas inom 5-8 vardagar
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 Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.
1 011 kr
Skickas inom 7-10 vardagar
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 students of housing law will need to have access. Text and Materials on Housing Law Covers housing law topics at undergraduate and postgraduate level Explores the increasingly important area of housing and human rights Deals with housing issues raised by the changing patterns of relationships within society Covers unlawful eviction and the new legislation on homelessnessThe inclusion of procedural material in this work is of great value to housing professionals (local authorities, housing associations, high-street solicitors) and also enhances its usefulness to academics and students by linking the relevant substantive law to a procedural awareness.
The Undecidable
Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions
Häftad, Engelska, 2004
292 kr
Skickas inom 3-6 vardagar
204 kr
Skickas inom 3-6 vardagar
190 kr
Skickas inom 3-6 vardagar
227 kr
Skickas inom 3-6 vardagar
2 336 kr
Skickas inom 10-15 vardagar
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 of the computer age – the logicians.
2 610 kr
Skickas inom 10-15 vardagar
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 personnel with a clear understanding of the basics of injection moulding, resulting in more efficient processing, reduced cycle times, and better part quality with fewer rejects.
336 kr
Skickas inom 5-8 vardagar
168 kr
Skickas inom 5-8 vardagar
569 kr
Skickas inom 10-15 vardagar
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 of the computer age – the logicians.
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Inbunden, Engelska, 2012
1 068 kr
Skickas inom 10-15 vardagar
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 Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Häftad, Engelska, 2014
1 068 kr
Skickas inom 10-15 vardagar
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 Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.
211 kr
Skickas inom 5-8 vardagar
227 kr
Skickas
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. Written with a deep understanding of the material, Davis presents a masterful portrait of locality astrology today, and its potential for the future. Davis begins this work with a first in astrological literature: recounting the history of the field (telling its story), from ancient Babylonia to modern times. He then introduces specific, essential works of contemporary astrologers who are utilising the techniques in their work. Davis shows how locations of significance and global hotspots can be identified astrologically, bringing the influence of space (where something may happen) into the usual astrological focus on time (when something may happen). This is a critical enlargement of astrological perspective for today's needs, were an understanding of influences around the globe is critical for our very well being.
193 kr
Skickas
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 places for holiday, work, relationships - you name it. This revised edition includes the fascinating case histories of Edward Snowden and Ronnie Biggs, and it is also organised in a more reader-friendly format. Enjoy.
1 916 kr
Skickas inom 10-15 vardagar
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.
1 916 kr
Skickas inom 10-15 vardagar
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.
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Häftad, Engelska, 2015
553 kr
Skickas inom 10-15 vardagar
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 selected from 92submissions. The series of International Conferences on Logic for Programming,Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,some of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.