Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
اقرأ المزيد
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
اقرأ المزيد
Dialogue as a Collective Means of Design Conversation
Dialogue as a Collective Means of Design Conversation is the second volume edited by Patrick M. Jenlink and Bela H. Banathy ...
اقرأ المزيد
Dialogue as a Means of Collective Communication
In the book, readers are introduced to five sections: Section I examines the historical and cultural perspectives of conversation. ...
اقرأ المزيد
Digital VLSI Systems Design
The book presents new material and theory as well as synthesis of recent work with complete Project Designs using industry ...
اقرأ المزيد
Embedded Systems Design
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
اقرأ المزيدExploring C for Microcontrollers
The market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
اقرأ المزيد
Fault-Tolerance Techniques for SRAM-Based FPGAs
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيد
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيد
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
اقرأ المزيد
Information Infrastructures within European Health Care
This book consolidates experiences from across Europe on the design, development, implementation and evolution of inter-organisational ...
اقرأ المزيد
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...
اقرأ المزيد
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148)
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
اقرأ المزيد
Intelligent Decision Support
This anthology contains contributions addressing current challenges and approaches of intelligent decision support in organizations. ...
اقرأ المزيد
Intelligent Systems Design and Applications
This book highlights recent research on intelligent systems and nature-inspired computing. It presents 62 selected papers ...
اقرأ المزيد
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
اقرأ المزيد
