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 ...
اقرأ المزيد
