Electronic Books

Total Books: 1 - 20 /1881
978-1-84628-688-9
3-D Shape Estimation and Image Restoration

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

learn more
978-1-84628-688-9
3-D Shape Estimation and Image Restoration

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

learn more
978-1-4020-6182-0
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 ...

learn more
978-1-4020-6182-0
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 ...

learn more
978-3-540-47856-0
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 ...

learn more
978-1-4020-4436-6
A Changing World

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

learn more
978-3-540-29273-9
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 ...

learn more
978-0-8176-4519-9
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 ...

learn more
978-3-540-71999-1
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 ...

learn more
978-3-540-71999-1
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 ...

learn more
978-1-4020-2106-0
A Modern Course in Aeroelasticity

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

learn more
978-1-4020-5690-1
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 ...

learn more
978-0-387-23537-0
A Posteriori Error Analysis Via Duality Theory

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

learn more
978-0-387-36123-9
A Practical Introduction to PSL

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

learn more
978-3-540-69303-1
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 ...

learn more
978-3-540-27348-6
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, ...

learn more
978-0-387-25489-0
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 ...

learn more
978-1-84800-310-1
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 ...

learn more
978-1-84800-111-4
ARIS Design Platform

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

learn more
978-1-84628-613-1
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, ...

learn more
Total Books: 1 - 20 /1881