Computational Science and High Performance Computing III : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007
This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and ...
Continue reading
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Continue reading
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Continue reading
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems
This volume presents a well balanced combination of state-of-the-art theoretical results in the field of nonlinear controller ...
Continue reading
Control of Nonlinear and Hybrid Process Systems
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific ...
Continue reading
Control of Redundant Robot Manipulators
This monograph provides a comprehensive and thorough treatment of the problem of controlling a redundant robot manipulator. ...
Continue reading
Control of Sandwich Nonlinear Systems Authors
This unique monograph introduces an important new area of control system research and presents some new methods for solving ...
Continue reading
Cryptography and Coding
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key ...
Continue reading
Cryptography and Coding
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key ...
Continue reading
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
Continue reading
CyberParks – The Interface Between People, Places and Technology
This book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
Continue reading
Discrete, Continuous, and Hybrid Petri Nets
The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with ...
Continue reading
Diversity and Inclusion in Global Higher Education Lessons from Across Asia
This book offers pioneering insights and practical methods for promoting diversity and inclusion in higher education classrooms ...
Continue reading
Dynamical Vision
Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera. However, ...
Continue reading
Dynamical Vision
Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera. However, ...
Continue reading
Foreign Exchange Rate Forecasting using Artificial Neural Networks
In this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of ...
Continue reading
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Fringe 2005
In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...
Continue reading
