The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books

  • 18 Unconventional Essays on the Nature of Mathematicsby Reuben Hersh

    Springer New York 2006; US$ 89.99

    This book comes from the Internet. Browsing the Web, I stumbled on philosophers, cognitive scientists, sociologists, computer scientists, even mathematicians!?saying original, provocative things about mathematics. And many of these people had probably never heard of each other! So I have collected them here. This way, they can read each other?s work.... more...

  • Abhandlung über die Prinzipien der Logikby Michael Wolff

    Vittorio Klostermann 2009; US$ 92.74

    Die Frage, welches der vielen divergierenden modernen Logiksysteme ?die eine, richtige" Logik enthält, wird von Logikern gerne zurückgewiesen: eine solche Logik gebe es nicht. In Michael Wolffs Buch wird diese Frage anders behandelt, nämlich durch Anwendung der Methode der logisch-semantischen Sprachanalyse auf die Sprachen der Logik selbst. Diese... more...

  • Abstract Computing Machinesby W. Kluge

    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 109.00

    This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines. more...

  • Abstraction, Refinement and Proof for Probabilistic Systemsby Annabelle McIver; Charles Carroll Morgan

    Springer New York 2006; US$ 199.00

    Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. more...

  • Access Control, Security, and Trustby Shiu-Kai Chin; Susan Beth Older

    CRC Press 2010; US$ 104.95

    Developed from the authors? courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple... more...

  • Action-minimizing Methods in Hamiltonian Dynamicsby Alfonso Sorrentino

    Princeton University Press 2015; US$ 45.00

    John Mather?s seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach?known as Aubry-Mather theory?singles out the existence of special orbits and invariant measures of the system, which possess... more...

  • Adapting Proofs-as-Programsby Iman Poernomo; John N. Crossley; Martin Wirsing

    Springer New York 2007; US$ 169.00

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated... more...

  • Additive Number Theoryby David Chudnovsky; Gregory Chudnovsky

    Springer New York 2010; US$ 179.00

    Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of additive number theory. The applications discussed include communication theory and digital signal processing, image processing, optimization and discrete geometry. more...

  • Admissibility of Logical Inference Rulesby V.V. Rybakov

    Elsevier Science 1997; US$ 195.00

    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: ? admissible or permissible inference rules ? the derivability of the admissible inference rules ? the structural completeness of logics ? the bases for admissible and valid inference rules.... more...

  • Advanced Topics in Bisimulation and Coinductionby Davide Sangiorgi; Jan Rutten

    Cambridge University Press 2011; US$ 88.00

    Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. more...