Spatial Information Theory
This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...
اقرأ المزيد
Spatial Information Theory
Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
اقرأ المزيد
Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach
This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
