Bibliografie

Ergebnisse für "merz, stephan"

Ähnliche Suchbegriffe: beetz, stephan, werz, stephanie

1 - 10 von 10
Zur Detailsuche

Ergebnisse

Formal Systems Specification
The RPC-Memory Specification Case Study, Lecture Notes in Computer Science 1169
Manfred Broy/Stephan Merz/Katharina Spies
Springer Verlag GmbH
Erschienen am 06.11.1996
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Temporal Logic and State Systems
Texts in Theoretical Computer Science. An EATCS Series
Kröger, Fred/Merz, Stephan
Springer Verlag GmbH
Erschienen am 25.11.2010
€ 80,24
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Temporal Logic and State Systems
Texts in Theoretical Computer Science. An EATCS Series
Kröger, Fred/Merz, Stephan
Springer Verlag GmbH
Erschienen am 27.03.2008
€ 80,24
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Nicht wie Außenstehende und stumme Zuschauer
Liturgie - Identität - Partizipation, Kirche in Zeiten der Veränderung 7
Stefan Kopp (Professor)/Stephan Wahle
Herder Verlag GmbH
Erschienen am 07.07.2021
€ 38,00
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5,2014, Proceedings, Lecture Notes in Computer Science 8829 - Programming and Software Engineering
Stephan Merz/Jun Pang
Springer Verlag GmbH
Erschienen am 23.09.2014
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Sexueller Missbrauch von Kindern und Jugendlichen im Raum von Kirche
Analysen - Bilanzierungen - Perspektiven, Quaestiones disputatae 309
Konrad Hilpert (Prof.)/Stephan Leimgruber (Prof.)/Jochen Sautermeister
Herder Verlag GmbH
Erschienen am 13.07.2020
€ 58,00
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Segensfeiern in der offenen Kirche
Neue Gottesdienstformen in theologischer Reflexion, Quaestiones disputatae 305
Julia Knop/Benedikt Kranemann
Herder Verlag GmbH
Erschienen am 18.05.2020
€ 50,00
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25,2016, Proceedings, Lecture Notes in Computer Science 9807 - Theoretical Computer Science and General Issues
Jasmin Christian Blanchette/Stephan Merz
Springer Verlag GmbH
Erschienen am 07.08.2016
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Und wenn sie doch mehr von Gott erzählten ...
Auf der Suche nach einer angemessenen Liturgiesprache
Schmid-Keiser, Stephan
Pustet, Friedrich Verlag
Erschienen am 13.09.2021
€ 26,95
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14,2010, Proceedings, Lecture Notes in Computer Science 6396 - Programming and Software Engineering
Dominique Méry/Stephan Merz
Springer Verlag GmbH
Erschienen am 06.10.2010
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen