Electronic Books

Total Books: 1 - 20 /1881
3-D Shape Estimation and Image Restoration

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

Weiterlesen
3-D Shape Estimation and Image Restoration

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

Weiterlesen
3D Imaging for Safety and Security

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

Weiterlesen
3D Imaging for Safety and Security

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

Weiterlesen
A Benchmark Approach to Quantitative Finance

The general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...

Weiterlesen
A Changing World

Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...

Weiterlesen
A Course in Credibility Theory and its Applications

It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to ...

Weiterlesen
A Graph-Theoretic Approach to Enterprise Network Dynamics

This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...

Weiterlesen
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Weiterlesen
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Weiterlesen
A Modern Course in Aeroelasticity

In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...

Weiterlesen
A Portrait of State-of-the-Art Research at the Technical University of Lisbon

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...

Weiterlesen
A Posteriori Error Analysis Via Duality Theory

This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...

Weiterlesen
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

Weiterlesen
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

Weiterlesen
A Practical Theory of Reactive Systems

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

Weiterlesen
A Software Process Model Handbook for Incorporating Peoples Capabilities

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...

Weiterlesen
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems

ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...

Weiterlesen
ARIS Design Platform

ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...

Weiterlesen
ARIS Design Platform : Getting Started with BPM

Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...

Weiterlesen
Total Books: 1 - 20 /1881