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

Most popular at the top

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

  • Computational Logic in Multi-agent Systemsby Katsumi Inoue; Ken Satoh; Francesca Toni

    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007; US$ 69.95

    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current... more...

  • Integrierte Digitale Schaltungenby Heinrich Klar; Tobias Noll

    Springer Berlin Heidelberg 2015; US$ 129.00

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

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

    Springer Berlin Heidelberg 2013; US$ 49.99

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

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

  • Computer Science Logicby Jacques DuParc; Thomas A. Henzinger

    Springer 2007; US$ 99.00

    This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. The 36 revised full papers presented together with the abstracts of 6 invited lectures were carefully reviewed and selected from 116 submissions.... 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...

  • Introduction to Formal Grammarsby Maurice Gross; Noam Chomsky; Andre Lentin

    Springer Berlin Heidelberg 2012; US$ 99.00

    The present work originates in a course given by the authors during the last few years in various university departments and institutions, among which we should like to mention: the Centre de Linguistique Quantitative of the Faculte des Sciences de Paris, created at the instance of the late Professor Favard; the Chaire d'Analyse Numerique of the Faculte... more...

  • Computer Simulation Studies in Condensed-Matter Physics XVIIIby

    Springer Berlin Heidelberg 2007; US$ 299.00

    Almost two decadesago,becauseof the tremendousincreaseinthe powerand utility of computer simulations,The University of Georgiaformed the ?rst - stitutionalunitdevotedtotheuseofsimulationsinresearchandteaching:The Center for Simulational Physics. As the international simulations community expanded further, we sensed a need for a meeting place for both... more...

  • Unfoldingsby Javier Esparza; Keijo Heljanko

    Springer Berlin Heidelberg 2008; US$ 129.00

    In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic... more...