The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...