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 ...
اقرأ المزيد
A Brief History of Computing
This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
اقرأ المزيد
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيد
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيد
Advances in Design and Specification Languages for SoCs
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...
اقرأ المزيد
Agent-Oriented Software Engineering V
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
اقرأ المزيد
Agent-Oriented Software Engineering VI
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
اقرأ المزيد
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيد
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيد
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
اقرأ المزيد
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
اقرأ المزيد
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
اقرأ المزيد
Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
اقرأ المزيد
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيد
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيد
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيد
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
اقرأ المزيد
