Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Continue reading
Privacy Preserving Data Mining: Models and Algorithms proposes a number of techniques to perform the data mining tasks in ...
Continue reading
With our society's growing dependency on information technology systems (IT), IT security is crucial. To properly respond ...
Continue reading
This book is a modern guide for all C++ programmers to learn Intel Threading Building Blocks (TBB).this book reflects their ...
Continue reading
The point of this chapter was to demystify the garbage collection process. As you have seen, the garbage collector will only ...
Continue reading
One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...
Continue reading
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart ...
Continue reading
Probabilistic concepts play an increasingly important role in mathematics, physics, biology, financial engineering and computer ...
Continue reading
This book presents notions and ideas from the foundations of a statistical treatment of risks. Bayesian methods are frequently ...
Continue reading
This book presents notions and ideas from the foundations of a statistical treatment of risks. Bayesian methods are frequently ...
Continue reading
This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering ...
Continue reading
Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms Includes ...
Continue reading
This book introduces theoretical and novel ideas with practical potential as well as technical applications from industrial ...
Continue reading
This volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National ...
Continue reading
This volume contains the articles presented at the 16th International Meshing Roundtable (IMR) organized, in part, by Sandia ...
Continue reading
This book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment ...
Continue reading
Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers ...
Continue readingIn this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant ...
Continue readingProcess Control Performance Assessment is a practical guide to the application of control benchmarking to real, complex, ...
Continue readingThis open access book constitutes revised selected papers from the International Workshops held at the Third International ...
Continue reading