Electronic Books

Total Books: 181 - 200 /209

Studies in Legal Logic

Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, ...

Task Models and Diagrams for User Interface Design

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...

Task Models and Diagrams for Users Interface Design ; 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

The Death of Metaphysics; The Death of Culture

This volume critically explores the nature and depth of our contemporary cultural crisis: its lack of traditional orientation ...

The Dynamics of Thought

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...

The Semantic Web

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...

The Semantic Web: Research and Applications

Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...

The Semantic Web: Research and Applications (vol. # 3532)

The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...

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 ...

Theory of Legal Principles

This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Transactions on Computational Science II

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

Transactions on Rough Sets II

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...

Transactions on Rough Sets III

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...

Transactions on Rough Sets V

Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...

Transactions on Rough Sets VIII

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

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 ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Total Books: 181 - 200 /209