Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suitePart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lire la suiteIllustrates the principles of project management and the essentials of cost planning and control with easy-to-understand ...
Lire la suiteThis book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...
Lire la suiteThe book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
Lire la suiteThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suiteA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suiteThis study aimed to find a model consisting of a set of financial ratios in which each ratio has its own weight that indicate ...
Lire la suiteA Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lire la suiteThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lire la suiteThe general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught ...
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 suiteThis volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
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 suiteSheds light on the challenges and solutions for companies when dealing with the online consumer on social media and in the ...
Lire la suite