Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
اقرأ المزيد
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 ...
اقرأ المزيد
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
اقرأ المزيد
Defence Applications of Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
اقرأ المزيد
Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
اقرأ المزيد
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
Dependable Computing - EDCC 2005
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
اقرأ المزيد
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
اقرأ المزيد
Design and Construction of Tunnels : Analysis of controlled deformation in rocks and soils (ADECO-RS)
It uses the advance core (the core of ground ahead of the face) as a structural tool for the long and short term stabilisation ...
اقرأ المزيد
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis ...
اقرأ المزيد
Domain Decomposition Methods in Science and Engineering XVII
This volume contains a selection of papers presented at the 17th International Conference on Domain Decomposition Methods ...
اقرأ المزيدDynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For ...
اقرأ المزيد
Dynamics of Flexible Multibody Systems
A new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite ...
اقرأ المزيد
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
اقرأ المزيد
Effective Functional Verification
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...
اقرأ المزيد
Embedded Software and Systems (vol. # 3820)
Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, ...
اقرأ المزيد
Embedded System Design
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
اقرأ المزيد
Embedded System Design
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
اقرأ المزيد
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
اقرأ المزيد
