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 Successful Transformation? : Restructuring of the Czech Automobile Industry
This book investigates the complex processes of the post-1990 transformation in the Czech automotive industry and its selective ...
Lire la suite
A Taste of Topology
The present book grew out of notes for an introductory topology course at the University of Alberta. It provides a concise ...
Lire la suite
A Trading Desk View of Market Quality
"Market quality" is a complex, ambiguous term that means different things to different people. How should it be defined, ...
Lire la suite
AI 2004: Advances in Artificial Intelligence
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Lire la suite
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lire la suite
AI*IA 2005: Advances in Artificial Intelligence
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...
Lire la suite
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
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
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lire la suite
Accounting and Statistical Analyses for Sustainable Development Multiple Perspectives and Information-Theoretic Complexity Reduction
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
Lire la suite
Active Mining
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Lire la suite
Active Networks
The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 ...
Lire la suite
Acute Endocrinology : From Cause to Consequence
The integration of endocrinology in critical care medicine has led to new experimental and clinical data on the complex endocrine ...
Lire la suite
Adaptable Architecture: Theory and practice / Robert Schmidt, Simon Austin, James Pinder
provides thought-provoking and inquisitive insights into how we can prolong the useful life of buildings by designing them ...
Lire la suite
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suite
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...
Lire la suite
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Lire la suite
Adaptive Machine Learning Algorithms with Python : Solve Data Analytics and Machine Learing Problems on Edge Devices / Chanchal Chatterjee
Learn to use adaptive algorithms to solve real-world streaming data problems. This book covers a multitude of data processing ...
Lire la suite
Adaptive and Integrated Water Management : Coping with Complexity and Uncertainty
The volume includes selected contributions on conceptual and methodological innovations and empirical insights from case ...
Lire la suite
