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