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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Diagrammatic Representation and Inference
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
Lee mas
Diagrammatology
Diagrammatology investigates the role of diagrams for thought and knowledge. Based on the general doctrine of diagrams in ...
Lee masEarly 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 ...
Lee mas
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 ...
Lee mas
Entity-Oriented Search
This open access book covers all facets of entity-oriented search—where “search” can be interpreted in the broadest ...
Lee mas
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, ...
Lee mas
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee mas
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 ...
Lee mas
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Lee mas
Fuzzy Implications
Fuzzy Implications (FIs) generalize the classical implication and play a similar important role in Fuzzy Logic (FL), both ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Illinois Institute of Technology
Illinois Institute of Technology an architectural tour by Franz Schulze with photographs by Richard Barnes foreword by Lew ...
Lee mas
Information Technology and Lawyers
The area of Information Technology & Lawyers is a fascinating one. Both from a practical and an academic perspective the ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
