Electronic Books

Total Books: 61 - 80 /87

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Modelling Distributed Systems

Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...

Principles of Security and Trust

This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

The Semantic Web – ISWC 2005

A little over a decade has passed since the release of the ?rst Netscape browser. In 1995,the World Wide Web was viewedlargelyas ...

The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Total Books: 61 - 80 /87