Electronic Books

Total Books: 501 - 520 /979

Integrated Formal Methods

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

Integrated Formal Methods

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

Integrated Graphic and Computer Modelling

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

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

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

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 Computing ; Proceedings of the 2021 Computing Conference, Volume 1

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

Intelligent Human Computer Interaction

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

Intelligent Information Processing II

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

Intelligent Interactive Systems in Knowledge-Based Environments

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

Intelligent Media Technology for Communicative Intelligence

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

Intelligent Techniques for Web Personalization

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

Intelligent Tutoring Systems : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings

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

Intelligent Virtual Agents (vol. # 3661)

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

Intelligent Virtual Agents : 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings

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

Interactive Computation

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

Interactive Media: The Semiotics of Embodied Interaction

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

Interactive Systems Design, Specification, and Verification

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

Total Books: 501 - 520 /979