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

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

  • Automatische Synthese rekursiver Programme als Beweisverfahrenby Susanne Biundo

    Springer Berlin Heidelberg 2013; US$ 49.99

    In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k|nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa~t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden,... more...

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

    Springer Berlin Heidelberg 2007; US$ 59.99

    This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software. 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...

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

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

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

  • The Correctness-by-Construction Approach to Programmingby Derrick G. Kourie; Bruce W. Watson

    Springer Berlin Heidelberg 2012; US$ 119.00

    Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields. 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...

  • Deontic Logic, Agency and Normative Systemsby

    Springer London 2012; US$ 149.00

    This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies... more...