Electronic Books

Total Books: 21 - 40 /81
978-3-540-74459-7
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 ...

Continue reading
978-3-540-74459-7
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 ...

Continue reading
978-1-4020-5676-5
Defending Life

Defending Life discusses the relationship between hosts and parasites. A major contention of the book is that the immune ...

Continue reading
978-0-387-68343-0
Deformable Models

Deformable Models: Theory and Biomaterial Applications is the second installation in the two-volume set Deformable Models ...

Continue reading
978-0-387-68413-0
Deformable Models

Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-35727-8
ECOOP 2006 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...

Continue reading
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Continue reading
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Continue reading
978-3-540-76811-1
Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Continue reading
978-3-540-76811-1
Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Continue reading
978-3-540-32250-4
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 ...

Continue reading
978-3-540-72703-3
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 ...

Continue reading
978-0-387-26399-1
Functional Verification of Programmable Embedded Architectures

This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...

Continue reading
978-1-4020-3416-9
Geometry of Principal Sheaves

The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract ...

Continue reading
978-4-431-78399-2
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 ...

Continue reading
978-1-4020-4738-1
Groundwater and Ecosystems

Groundwater Dependent Ecosystems (GDEs) frequently exhibit rich biological diversity and can provide enormous economic wealth. ...

Continue reading
978-3-030-28501-2
Guide to Efficient Software Design

This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...

Continue reading
978-0-387-71740-1
Hardware Verification with SystemVerilog

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

Continue reading
Total Books: 21 - 40 /81