The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lire la suiteProvides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
Lire la suiteAssets can be defined as something of value that can be converted into cash, as all institutions and companies own assets ...
Lire la suiteARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
Lire la suiteThis publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
Lire la suiteCelebrates the rich detail in the work of Aino, Elissa, and Alvar Aalto. Every support, railing, and handle is the result ...
Lire la suiteAbductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the ...
Lire la suiteStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
Lire la suiteLes médecins généralistes sont destinataires d’un grand nombre d’informations sur l’alcool, son usage et ses conséquences ...
Lire la suiteThe general practitioner and the specialists are brought to examine a growing number of elderly or very old patients. Until ...
Lire la suiteExplores practical applications of how business ethics impacts working lives, allowing readers to reflect on their own moral ...
Lire la suiteFollowing the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...
Lire la suiteIn Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suiteThis volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suiteAs part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lire la suiteThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
Lire la suiteFirmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents ...
Lire la suite