Electronic Books

How AI Impacts Urban Living and Public Health

This book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...

Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...

Innovative Internet Computing Systems

Innovative Learning Environments in STEM Higher Education Opportunities, Challenges, and Looking Forward

As explored in this book, higher education in STEM fields is influenced by many factors, including education research, government ...

Intelligent Agents and Multi-Agent Systems

A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- ...

Intelligent Agents and Multi-Agent Systems : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...

Intelligent Educational Machines

Artificial Intelligence and Education is an ever-growing research area. It uses artificial intelligence tools and techniques ...

Intelligent Human Computer Interaction

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...

Interactive Storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ...

Internet of Things. Information Processing in an Increasingly Connected World

This book cover a wide range of topics from a technology to a business perspective and include among others hardware, software ...

Interval / Probabilistic Uncertainty and Non-Classical Logics

This book contains proceedings of the first international workshop that brought together researchers working on interval ...

Knowledge-Based Virtual Education

The book covers a multitude of important issues on the subject of "Innovations in Knowledge-Based Virtual Education ", ...

Logic, Language, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

Logical Foundations for Rule-Based Systems

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

Mathematical Foundations of Computer Science 2006

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...

Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...

Model-Driven Architecture - Foundations and Applications

The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...