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

  • Z User Workshop, London 1992by

    Springer London 2013; US$ 99.00

    The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation... 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...

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

  • Theory and Practice of Computationby

    Springer Japan 2013; US$ 109.00

    This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)?2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research?Osaka University, the University of the Philippines Diliman, and De La... more...

  • ESL Models and their Applicationby Brian Bailey; Grant Martin

    Springer US 2009; US$ 129.00

    Through the device of a set of real examples taken from recent industry experience, this invaluable volume distils the state of the art in system-level design models and provides a wealth of practical guidance to readers that can be put into immediate use. more...

  • Johan van Benthem on Logic and Information Dynamicsby Alexandru Baltag; Sonja Smets

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

  • Logic Synthesis for Compositional Microprogram Control Unitsby Alexander Barkalov; Larysa Titarenko

    Springer Berlin Heidelberg 2008; US$ 209.00

    This book presents design methods for and hardware amount optimization for compositional microprogram control units (CMCU). It includes new models of control units, methods of their synthesis and a lot of examples. more...

  • Logic Synthesis for FSM-Based Control Unitsby Alexander Barkalov; Larysa Titarenko

    Springer Berlin Heidelberg 2009; US$ 209.00

    The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solutions (library cells) for implementation of such regular... more...

  • Instruction Sequences for Computer Scienceby Jan A Bergstra; Cornelis A. Middelburg

    Atlantis Press 2012; US$ 149.00

    This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction... 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...