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

  • Integrierte Digitale Schaltungenby Heinrich Klar; Tobias Noll

    Springer Berlin Heidelberg 2015; US$ 139.99

    Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, für die jeweilige Anwendung die günstigste Schaltungstechnik auszuwählen und anzuwenden und so das optimale Ergebnis zu erzielen. In deutscher Sprache wird erstmalig die technologieorientierte und die systemorientierte Schaltungstechnik gemeinsam... 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...

  • 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...

  • Johan van Benthem on Logic and Information Dynamicsby

    Springer International Publishing 2014; US$ 299.00

    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing... more...

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

    Springer New York 2014; US$ 179.00

    This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include  statistical timing and crosstalk analysis, statistical and... more...

  • Collaborative Design for Embedded Systemsby John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef

    Springer Berlin Heidelberg 2014; US$ 129.00

    This book presents a framework that allows the very different kinds of design models ? discrete-event models of software and continuous time models of the physical environment ? to be analyzed and simulated jointly, based on common scenarios. more...

  • Logics in Computer Scienceby Fabio Mogavero

    Atlantis Press 2013; US$ 109.00

    In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree... more...

  • Die Kunst des Entwurfs elektronischer Schaltungenby Thomas H. O'Dell

    Springer Berlin Heidelberg 2013; US$ 49.95

    Dieses Lehrbuch beschäftigt sich mit den praktischen Elementen des Entwurfs elektronischer Schaltungen. Es liefert dabei aber nicht bibliotheksartig eine Aufzählung der verschiedenen Schaltungen, sondern behandelt systematische, grundsätzliche Überlegungen, die zu einem gezielten Entwurf führen, der sich an den speziellen konkreten Anforderungen orientiert.... more...

  • Logic for Computer Science and Artificial Intelligenceby Ricardo Caferra

    Wiley 2013; US$ 212.00

    Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified... more...