Electronic Books

Total Books: 121 - 140 /409

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 ...

Total Books: 121 - 140 /409