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 ...
اقرأ المزيد
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Control of Redundant Robot Manipulators
This monograph provides a comprehensive and thorough treatment of the problem of controlling a redundant robot manipulator. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Cryptography and Coding
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key ...
اقرأ المزيد
Cryptography and Coding
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Dynamical Vision
Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera. However, ...
اقرأ المزيد
Dynamical Vision
Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera. However, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Fringe 2005
In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...
اقرأ المزيد
