Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Lire la suite
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Lire la suite
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 ...
Lire la suite
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suite
Defence Applications of Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteDynamic 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 ...
Lire la suite
Dynamics of Flexible Multibody Systems
A new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite ...
Lire la suite
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Lire la suite
Effective Functional Verification
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...
Lire la suite
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, ...
Lire la suite
Embedded System Design
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
Lire la suite
Embedded System Design
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
Lire la suite
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 ...
Lire la suite
