Where and how do we encounter God’s revelation made once for-all in Christ Jesus? The answer to this urgent question is explored in Matthias Joseph Scheeben’s Handbook of Catholic Dogmatics, Book One: Theological Epistemology, Part One: The Objective Principles of Theological Knowledge, here translated for the first time in English by Michael J. Miller. Scheeben (1835–1888), a renowned German theologian, in this unabridged first part of a two-volume set, begins with a discussion of the nature and scope of dogmatic theology as a science. He treats divine revelation as the source of theological knowledge and as transmitted in Scripture and in the Apostolic Tradition. Included in this volume is Scheeben’s treatise, “The Objective Principles of Theological Knowledge.” Scheeben writes on faith in its source, contents, and handing on in the Church as it confronts the believer, eliciting his or her assent.

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Going undercover to investigate the death of a drowning victim at the request of the man's wealthy and influential uncle, Inspector Thomas Lynley uncovers dark secrets in his client's family.