The Leading eBooks Store Online

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

New to eBooks.com?

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
Computable functions

Most popular at the top

  • Computability and Logicby George S. Boolos; John P. Burgess; Richard C. Jeffrey

    Cambridge University Press 2002; US$ 28.00

    Now in its fourth edition, this book on logic has been enhanced and rewritten. more...

  • Basics Of Contemporary Cryptography For It Practitionersby Boris Ryabko; Andrey Fionov

    World Scientific Publishing Company 2005; US$ 128.00

    The aim of this book is to provide a comprehensive introduction to cryptography without using complex mathematical constructions. The themes are conveyed in a form that only requires a basic knowledge of mathematics, but the methods are described in sufficient detail to enable their computer implementation. The book describes the main techniques and... more...

  • New Computational Paradigmsby S.B. Cooper; Benedikt Lowe; Andrea Sorbi

    Springer 2007; US$ 169.00

    Examines developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book covers topics in computability theory such as relative computability, theory of numberings, and domain theory. more...

  • Computable Structures and the Hyperarithmetical Hierarchyby C.J. Ash; J. Knight

    Elsevier Science 2000; US$ 170.00

    This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...

  • Computation and Automataby Arto Salomaa

    Cambridge University Press 1985; US$ 72.00

    In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science. more...

  • Computability Theoryby Herbert B. Enderton

    Elsevier Science 2011; US$ 9.99

    Computability Theory more...

  • Symbolic-Numeric Computationby Dongming Wang; Lihong Zhi

    Springer 2007; US$ 139.00

    The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration... more...

  • Logic and Computationby Lawrence C. Paulson

    Cambridge University Press 1987; US$ 55.00

    This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program... more...

  • Theory of Computationby George Tourlakis

    Wiley 2014; US$ 124.00

    Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM... more...

  • Computable Modelsby Raymond Turner

    Springer 2009; US$ 109.00

    Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models... more...