Electronic Books

Total Books: 1 - 20 /701
A Computational Model of Natural Language Communication

Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...

Lire la suite
A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...

Lire la suite
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

Lire la suite
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

Lire la suite
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...

Lire la suite
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...

Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Lire la suite
Active Conceptual Modeling of Learning

This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...

Lire la suite
Adaptive Hypermedia and Adaptive Web-Based Systems

Here are the refereed proceedings of the 4th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, ...

Lire la suite
Adaptive Hypermedia and Adaptive Web-Based Systems

This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...

Lire la suite
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...

Lire la suite
Adaptive Multimedia Retrieval: User, Context, and Feedback

This book is an extended collection of revised contributions that were initially submitted to the International Workshop ...

Lire la suite
Adaptive Multimedia Retrieval:User, Context, and Feedback

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Adaptive Multimedia Retrieval, ...

Lire la suite
Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...

Lire la suite
Adaptive and Personalized Semantic Web

Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of ...

Lire la suite
Advances in Computer Science - ASIAN 2005. Data Management on the Web

This book constitutes the proceedings of the 10th ASIAN conference was held in Kunming, China,2005.Each year, the conference ...

Lire la suite
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Lire la suite
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Lire la suite
Total Books: 1 - 20 /701