Electronic Books

Total Books: 21 - 40 /2323

A Practical Introduction to PSL

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

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

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

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

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

ARIS Design Platform

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

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

Abstraction, Refinement and Proof for Probabilistic Systems

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

Abstraction, Reformulation, and Approximation

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

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

Active Knowledge Modeling of Enterprises

An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...

Ad-Hoc Networking

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)

This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...

Adaptive Atmospheric Modeling

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...

Adaptive Business Intelligence

In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...

Adaptive Hypermedia and Adaptive Web-Based Systems

This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...

Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...

Adaptive Mesh Refinement - Theory and Applications

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...

Adaptive Motion of Animals and Machines

Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function ...

Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...

Total Books: 21 - 40 /2323