Electronic Books

Total Books: 21 - 40 /2781
A Modern Theory of Factorial Design

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

Lire la suite
A Modern Theory of Factorial Design

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

Lire la suite
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 ...

Lire la suite
A Posteriori Error Analysis Via Duality Theory

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

Lire la suite
A Practical Introduction to PSL

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

Lire la suite
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 ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania

The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...

Lire la suite
A Structural Framework for the Pricing of Corporate Securities

This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...

Lire la suite
AI in Marketing, Sales and Service : How Marketers without a Data Science Degree can use AI, Big Data and Bots / Peter Gentsch

Shows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...

Lire la suite
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 ...

Lire la suite
ARIS Design Platform

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

Lire la suite
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, ...

Lire la suite
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Lire la suite
Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

Lire la suite
Access Control Models and Architectures For IoT and Cyber Physical Systems / Maanak Gupta, Smriti Bhatt, Asma Hassan Alshehri, Ravi Sandhu

Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...

Lire la suite
Active Conceptual Modeling of Learning

This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...

Lire la suite
Active Flow Control

This volume contains a well balanced combination of theoretical and experimental state-of-the-art results of Active Flow ...

Lire la suite
Total Books: 21 - 40 /2781