Electronic Books

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

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

Lee mas
3-D Shape Estimation and Image Restoration

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

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

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

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

Lee mas
A Changing World

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

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

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

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

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

Lee mas
A Modern Course in Aeroelasticity

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

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

Lee mas
A Posteriori Error Analysis Via Duality Theory

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

Lee mas
A Practical Introduction to PSL

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

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

Lee mas
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, ...

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

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

Lee mas
ARIS Design Platform

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

Lee mas
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, ...

Lee mas
Total Books: 1 - 20 /1888