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
Computer logic

  • Advanced Symbolic Analysis for VLSI Systemsby Guoyong Shi; Sheldon Tan; Esteban Tlelo-Cuautle

    Springer New York 2014; US$ 179.00

    Provides an overview of classical symbolic analysis methods and a comprehensive presentation on the modern BDD-based symbolic analysis techniques Describes detailed implementation strategies for BDD-based algorithms, including the principles of zero-suppression, variable ordering and canonical reduction Introduces the two successful BDD-based symbolic... more...

  • The Calculus of Computationby Aaron R. Bradley; Zohar Manna

    Springer 2007; US$ 49.95

    Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories. more...

  • Dag Prawitz on Proofs and Meaningby Heinrich Wansing

    Springer International Publishing 2014; US$ 179.00

    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic... more...

  • Design of Experiments for Reinforcement Learningby Christopher Gatti

    Springer International Publishing 2014; US$ 129.00

    This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge. The author approaches these entities using design of experiments not commonly employed to study machine learning methods. The... more...

  • Logic for Computer Science and Artificial Intelligenceby Ricardo Caferra

    Wiley 2013; US$ 212.00

    Preface xi Chapter 1. Introduction 1 1.1. Logic, foundations of computer science, and applications of logic to computer science 1 1.2. On the utility of logic for computer engineers 3 Chapter 2. A Few Thoughts Before the Formalization 7 2.1. What is logic? 7 2.2. Somehistoric landmarks 32 Chapter 3. Propositional Logic 39 3.1.... more...

  • Logic in Computer Scienceby Michael Huth; Mark Ryan

    Cambridge University Press 2004; US$ 72.00

    Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. more...

  • Semantics of Probabilistic Processesby Yuxin Deng

    Springer Berlin Heidelberg 2015; US$ 109.00

    This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in... more...

  • Specification and Verification of Declarative Open Interaction Modelsby Marco Montali

    Springer 2010; US$ 95.00

    Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension... more...

  • 1
  • Page