Electronic Books

Total Books: 501 - 520 /979

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Full colour throughout, the book explores programming language developments from machine code to more natural language forms, ...

Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...

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

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

This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications ...

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

This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...

The main aim of this research book is to report a sample of the most recent advances in the field of intelligent interactive ...

The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the ...

Web personalizationcan be de?ned as any set of actions that can tailor the Web experience to a particular user or set of ...

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Tutoring Systems, ITS 2008, ...

The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments ...

This book constitutes the refereed proceedings of the 8th International Workshop on Intelligent Virtual Agents, IVA 2008, ...

The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...

Human Computer Interaction has been looking at versions of these questions for a long time now, but as technology advances ...

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

Total Books: 501 - 520 /979