Electronic Books

Total Books: 21 - 40 /91

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 ...

Total Books: 21 - 40 /91