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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Weiterlesen
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Weiterlesen
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 ...
Weiterlesen
Active Mining
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Weiterlesen
Active Networks
The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...
Weiterlesen
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
