Los Angeles, 24 Stunden vor der Jahrtausendwende: Ex-Cop Lenny Nero kommt nicht über die Trennung...

Object-Z is an object-oriented extension of the formalspecification language Z. It adds to Z no...

The Oxford 1937 Life and Work Conference is a highly important event in the history of the ecumen...

The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...

Invited Papers.- A Family of Mathematical Methods for Professional Software Documentation.- Gener...

This book explores the roles of religion in the current refugee crisis of Europe. Combining socio...

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, ...

Graeme Smith, MD, PhD is a Professor and Head of Obstetrics & Gynecology at Queen's University. H...

Accessible guide to working collaboratively with individuals and incorporating recovery principle...

At age fifty, Graeme and Candy have a mid-life crisis! Abandon their comfortable Edinburgh life a...

Graeme and Pam were missionaries with World Vision International in Africa and Papua New Guinea f...

China Japan and South Korea's international relations are shaped by the fact that all three count...