A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in todays world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed...
An in-depth review of key techniques in software error detection
Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through...
Logic concepts are more mainstream than you may realize. There’s logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Logic...
Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems can learn and adapt to a changing environment. In knowledge-based...
The recommended entry point to start exploring the NIO.2 API, also known as “JSR 203: More New I/O
APIs for the Java Platform” (NIO.2), is the new abstract class java.nio.file.Path. This class is a
milestone of NIO.2, and every application that involves I/O operations will exploit the powerful facilities
of this...
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
“The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field.” Journal of Symbolic Logic
Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and...
Designed to benefit scientific and engineering applications, Numerical Methods for Engineers and Scientists Using MATLAB® focuses on the fundamentals of numerical methods while making use of MATLAB software. The book introduces MATLAB early on and incorporates it throughout the chapters to perform symbolic,...
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.
The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book....
This new edition of the widely read Evolution in Four Dimensions has been revised to reflect the spate of new discoveries in biology since the book was first published in 2005, offering corrections, an updated bibliography, and a substantial new chapter. Eva Jablonka and Marion Lamb's pioneering argument proposes that there is more...
Matthew's Enigma unfolds the complex relationship between a father, who is a Romanian emigré and distinguished university professor, and his son, who was diagnosed with autism when he was 7 years old. Matei Calinescu's desire to understand Matthew -- his namesake -- is the theme of this moving memoir. Calinescu's determined...
Advanced Dynamics: Analytical and Numerical Calculations with MATLAB provides a thorough, rigorous presentation of kinematics and dynamics while using MATLAB as an integrated tool to solve problems. Topics presented are explained thoroughly and directly,allowing fundamental principles to emerge through applications from areas such as...