Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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.- ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Intelligent Human Computer Interaction
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...
Lee mas
Intelligent Information Processing II
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
Lee mas
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 ...
Lee mas
Intelligent Media Technology for Communicative Intelligence
The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Intelligent Virtual Agents (vol. # 3661)
The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments ...
Lee mas
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, ...
Lee mas
Interactive Computation
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...
Lee mas
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 ...
Lee mas
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lee mas
