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, ...
اقرأ المزيد
