Electronic Books

Total Books: 81 - 100 /209

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

Total Books: 81 - 100 /209