Electronic Books

Total Books: 1 - 20 /599

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Total Books: 1 - 20 /599