HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establish

In Darwin and Facial Expression, Paul Ekman and a cast of other notable scholars and scientists reconsider the central concepts and key sources of information i

This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The in

This edited collection considers whether it is possible to discern how the level of ideology is affected by radicalization. In other words: what happens in the