25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
A Computational Model of Natural Language Communication
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lee mas
A Cost Based Approach to Project Management : Planning and Controlling Construction Project Costs /
Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand ...
Lee masA Guide to Sustainable Corporate Responsibility : From Theory to Action
This book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...
Lee mas
A History of Physical Theories of Comets, From Aristotle to Whipple
The book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas ...
Lee masA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lee mas
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, ...
Lee masA Proposed Model for Predicting Financial Loss of Private Conventional and Islamic Banks in Syria رنيم الحصري ؛ رغد الرهونجي ؛ راما الحكواتي ؛ إشراف د. علاء صالحاني
This study aimed to find a model consisting of a set of financial ratios in which each ratio has its own weight that indicate ...
Lee masA Short Course in Soil–Structure Engineering of Deep Foundations, Excavations and Tunnels
A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Lee mas
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lee mas
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lee mas
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lee mas
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lee mas
Abord Clinique des Urgences au Domicile du Patient = Emergency Clinic at the Patient's Home
The general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught ...
Lee mas
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lee mas
Abstraction, Reformulation and Approximation
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lee mas
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lee mas
Abuse of Dominant Position: New Interpretation, New Enforcement Mechanisms?
As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lee mas
Acceptance and Usage of Technology through the Digital User Experience / Nedra Bahri-Ammari, Imene Ben Yahia-Boumaiza
Sheds light on the challenges and solutions for companies when dealing with the online consumer on social media and in the ...
Lee mas
