This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
اقرأ المزيد
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
اقرأ المزيد
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيد
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيد
In the past decades, much progress has been made in the field of walking robots. The current state of technology makes it ...
اقرأ المزيدFast Simulation of Electro-Thermal MEMS provides the reader with a complete methodology and software environment for creating ...
اقرأ المزيد
The Fast Software Encryption 2005 Workshop was the twelfth in a series of annual workshops on symmetric cryptography, sponsored ...
اقرأ المزيد
Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...
اقرأ المزيدThis monograph describes a new family of algorithms for the simultaneous localization and mapping problem in robotics (SLAM). ...
اقرأ المزيد
Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...
اقرأ المزيد
This book is both a reference for engineers and scientists and a teaching resource, featuring tutorial chapters and research ...
اقرأ المزيد
The lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...
اقرأ المزيد
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيد
This basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
اقرأ المزيد
Lot streaming is a process of breaking a batch of jobs into smaller lots, and then processing these in an overlapping fashion ...
اقرأ المزيد
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding ...
اقرأ المزيد
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding ...
اقرأ المزيد