Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “alan ja robinson”
Skip side bar filters

  • Handbook of Automated Reasoning

    Edited by Alan J.A. Robinson, Andrei Voronkov ...
    Series Book 1 - Handbook of Automated Reasoning
    Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. ... Read more

    $446.39 CAD

People who read this also enjoyed

  • The Great Mathematicians

    by Raymond Flood, Robin Wilson ...
    Mathematics pervades our daily lives. It is intimately involved whenever one starts a car, switches on the television, flies on a plane, forecasts the weather, books a holiday on the internet, programmes a computer, navigates heavy traffic, analyses statistical data, or seeks a cure for a disease. Our credit cards and the nation's defence secrets are kept secure by encryption methods based on ... Read more

    $4.99 CAD or Free with Kobo Plus

  • The Man of Numbers

    Fibonacci's Arithmetic Revolution

    by Keith Devlin ...
    In 1202, a 32-year old Italian finished one of the most influential books of all time, which introduced modern arithmetic to Western Europe. Devised in India in the 7th and 8th centuries and brought to North Africa by Muslim traders, the Hindu-Arabic system helped transform the West into the dominant force in science, technology, and commerce, leaving behind Muslim cultures which had long known it ... Read more

    $24.99 CAD

  • The Mathematical Tourist

    New and Updated Snapshots of Modern Mathematics

    by Ivars Peterson ...
    "A top-notch survey of the frontiers of contemporary mathematics. . . . accessible to nonexpert but attentive readers." — Los Angeles TimesIn the first edition of The Mathematical Tourist, renowned science journalist Ivars Peterson took readers on an unforgettable tour through the sometimes bizarre, but always fascinating, landscape of modern mathematics. Now the journey continues in a new, ... Read more

    $17.59 CAD

  • Database Nation

    The Death of Privacy in the 21st Century

    by Simson Garfinkel ...
    Fifty years ago, in 1984, George Orwell imagined a future in which privacy was demolished by a totalitarian state that used spies, video surveillance, historical revisionism, and control over the media to maintain its power. Those who worry about personal privacy and identity--especially in this day of technologies that encroach upon these rights--still use Orwell's "Big Brother" language to ... Read more

    $12.99 CAD

  • Vedic Mathematics

    by Sumita Bose ...
    Vedic Mathematics unfolds a new method of approach to mathematics. It is based on sixteen one line formulae known as &quote;sutras&quote; and thirteen one line corollaries known as &quote;upa sutra&quote;. These simple straight forward formulae and techniques help in solving complex mathematical problems in quick and easy steps.The step-by-step easy methods explained in this book help to remove ... Read more

    $9.99 CAD

  • Aspect-Oriented Database Systems

    by Awais Rashid ...
    Series series Computer Science (R0)
    Recently, a new set of software development techniques has become available, collectively termed Aspect-Oriented Software Development (AOSD). This aims to support the modularization of systemic properties (also referred to as crosscutting concerns) and their subsequent composition with the other parts of a system.Rashid focuses on the use of Aspect-Oriented Programming (AOP) techniques to ... Read more

    $64.99 CAD

  • Mathematical Logic

    by R.O. Gandy, C.E.M. Yates ...
    Series Book 4 - Collected Works of A.M. Turing
    Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is ... Read more

    $167.99 CAD

  • Mathematical Logic for Computer Science

    by Mordechai Ben-Ari ...
    Series series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... Read more

    $77.99 CAD

  • Handbook on Ontologies

    Edited by Steffen Staab, Rudi Studer ...
    Series series Computer Science (R0)
    An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology ... Read more

    $499.99 CAD

  • The Essential Guide to Video Processing

    by Alan C. Bovik ...
    This comprehensive and state-of-the art approach to video processing gives engineers and students a comprehensive introduction and includes full coverage of key applications: wireless video, video networks, video indexing and retrieval and use of video in speech processing. Containing all the essential methods in video processing alongside the latest standards, it is a complete resource for the ... Read more

    $82.39 CAD

  • The Crossing of Heaven

    Memoirs of a Mathematician

    by Karl Gustafson, Ioannis Antoniou ...
    Series series Mathematics and Statistics (R0)
    Among the group of physics honors students huddled in 1957 on a Colorado mountain watching Sputnik bisect the heavens, one young scientist was destined, three short years later, to become a key player in America’s own top-secret spy satellite program. One of our era’s most prolific mathematicians, Karl Gustafson was given just two weeks to write the first US spy satellite’s software. The project ... Read more

    $42.99 CAD