Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
Designing Smart Homes
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This ...
اقرأ المزيد
Developing Students Statistical Reasoning : Connecting Research and Teaching Practice
This book is written for mathematics and statistics educators and researchers. It summarizes the research and highlights ...
اقرأ المزيد
Diagrammatic Representation and Inference
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
اقرأ المزيد
Diagrammatology
Diagrammatology investigates the role of diagrams for thought and knowledge. Based on the general doctrine of diagrams in ...
اقرأ المزيدEarly Geometrical Thinking in the Environment of Patterns, Mosaics and Isometries
This book discusses the learning and teaching of geometry, with a special focus on kindergarten and primary education. It ...
اقرأ المزيد
Engineering Interactive Systems : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
This book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE ...
اقرأ المزيد
Entity-Oriented Search
This open access book covers all facets of entity-oriented search—where “search” can be interpreted in the broadest ...
اقرأ المزيد
Formal Methods in Software and Systems Modeling
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
اقرأ المزيد
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيد
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
اقرأ المزيد
Fuzzy Implications
Fuzzy Implications (FIs) generalize the classical implication and play a similar important role in Fuzzy Logic (FL), both ...
اقرأ المزيد
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
اقرأ المزيد
Graph-based Knowledge Representation : Computational Foundations of Conceptual Graphs
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
اقرأ المزيد
Handbook of Spatial Logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
اقرأ المزيد
Illinois Institute of Technology
Illinois Institute of Technology an architectural tour by Franz Schulze with photographs by Richard Barnes foreword by Lew ...
اقرأ المزيد
Information Technology and Lawyers
The area of Information Technology & Lawyers is a fascinating one. Both from a practical and an academic perspective the ...
اقرأ المزيد
Innovative Concepts for Autonomic and Agent-Based Systems
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate ...
اقرأ المزيد
Intelligence and Security Informatics : IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
اقرأ المزيد
