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 ...
Lee mas
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 ...
Lee mas
Defending Life
Defending Life discusses the relationship between hosts and parasites. A major contention of the book is that the immune ...
Lee mas
Deformable Models
Deformable Models: Theory and Biomaterial Applications is the second installation in the two-volume set Deformable Models ...
Lee mas
Deformable Models
Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
ECOOP 2006 - Object-Oriented Programming
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lee mas
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Functional Verification of Programmable Embedded Architectures
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Lee mas
Geometry of Principal Sheaves
The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract ...
Lee mas
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 ...
Lee mas
Groundwater and Ecosystems
Groundwater Dependent Ecosystems (GDEs) frequently exhibit rich biological diversity and can provide enormous economic wealth. ...
Lee mas
Guide to Efficient Software Design
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
Lee mas
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lee mas
