Digital Media, Online Activism, and Social Movements in Korea studies onlin...

This book examines how agricultural innovation arises in four African countries-Ghana, Kenya, Tan...

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...

Formal methods is the term used to describe the specification and verification of software and so...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...

This book constitutes the proceedings of the 24th International Conference on Formal Methods for ...

This book constitutes the proceedings of the Third International Symposium on Dependable Software...

Join Mary, Joseph, the shepherds and the angels as they celebrate the birth of Jesus. This softy-...

This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability...