Coordination, Organizations, Institutions, and Norms in Agent Systems II
In recent years, social and organizational aspects of agency have become major research topics in MAS. Recent applications ...
Lire la suite
Coordination, Organizations, Institutions, and Norms in Agent Systems II
In recent years, social and organizational aspects of agency have become major research topics in MAS. Recent applications ...
Lire la suite
Defending Life
Defending Life discusses the relationship between hosts and parasites. A major contention of the book is that the immune ...
Lire la suite
Deformable Models
Deformable Models: Theory and Biomaterial Applications is the second installation in the two-volume set Deformable Models ...
Lire la suite
Deformable Models
Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...
Lire la suite
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lire la suite
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lire la suite
ECOOP 2006 - Object-Oriented Programming
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
Lire la suite
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lire la suite
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lire la suite
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lire la suite
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lire la suite
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite
Functional Fractional Calculus for System Identification and Controls
In this book not only mathematical abstractions are discussed in a lucid manner, but also several practical applications ...
Lire la suite
Functional Verification of Programmable Embedded Architectures
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Lire la suite
Geometry of Principal Sheaves
The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract ...
Lire la suite
Groundwater Management in Asian Cities : Technology and Policy for Sustainability
The number of city dwellers who do not have access to piped water and rely on groundwater is also increasing. In many Asian ...
Lire la suite
Groundwater and Ecosystems
Groundwater Dependent Ecosystems (GDEs) frequently exhibit rich biological diversity and can provide enormous economic wealth. ...
Lire la suite
Guide to Efficient Software Design
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
Lire la suite
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suite
