Dynamik und Diversität des Gottesdienstes

Der Blick auf die Entwicklung der Liturgie hat ...

Integrated Formal Methods

Nachhaltige Wasserbewirtschaftung

Der Wassersektor gehört zu den ganz großen aktu...

Modeling and Verification of Real-time Systems

This title is devoted to presenting some of the...

Segensfeiern in der offenen Kirche

Neben den klassischen Liturgien der Kirche gibt...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings ...

Modeling and Verification of Real-time Systems

This title is devoted to presenting some of the...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 y...

Interactive Theorem Proving

This book constitutes the refereed proceedings ...

Liturgie und Konfession

Seit der Verabschiedung der Liturgiekonstitutio...

Amt - Macht - Liturgie

Zu den Ursachen der aktuellen Kirchenkrise gehö...

Gegenstand und Methoden qualitativer Sozialforschung

Das Buch bietet einen praktischen Einblick in v...