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
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
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lee mas
Agent-Oriented Information Systems II
Information systems have become the backbone of all kinds of organizations - day. In almost every sector – manufacturing, ...
Lee mas
Agent-Oriented Software Engineering V
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Lee mas
Agile Software Engineering
This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
Lee mas
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical ...
Lee mas
Algèbre, Chapitres 1 à 3 = Algebra, Chapters 1 to 3
To do algebra is essentially to calculate, that is to say to perform, on elements of a set, (
Lee mas
Analysis I
Logical thinking, the analysis of complex relationships, the recognition of und- lying simple structures which are common ...
Lee mas
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Biomimicry for Optimization, Control, and Automation
In this book, we focus onhowtousebiomimicryof the functionaloperationofthe “hardwareandso- ware” of biological systems ...
Lee mas
Business Process Management
Business process management is usually treated from two different perspectives: business administration and computer science. ...
Lee mas
Business Process Management
Business process management is usually treated from two different perspectives: business administration and computer science. ...
Lee mas
Codes: An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle ...
Lee mas
Computational Thinking Education
This book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational ...
Lee mas
Conceptual Modeling - ER 2007
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lee mas
Conceptual Modeling - ER 2007
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lee mas
