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