author:Platzer, André | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Correct System Design: Symposium in Honor of Ernst-Ruediger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Theoretical Computer Science and General Issues)

Meyer, Roland／Platzer, André／Wehrheim, Heike

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science)

Platzer, Andre／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)

Platzer, André／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo

Logical foundations of cyber-physical systems

André Platzer

Logical foundations of cyber-physical systems

André Platzer

Logical analysis of hybrid systems : proving theorems for complex dynamics

André Platzer

Transnationalisierung der Arbeit und der Arbeitsbeziehungen : Interdisziplinäre Perspektiven

Hans-Wolfgang Platzer, Matthias Klemm, Udo Dengel (Hrsg.)

Die Corona-Pandemie : Ethische, gesellschaftliche und theologische Reflexionen einer Krise

Wolfgang Kröll ... [et al.]

Die Unabhängigkeit der Datenschutzkontrolle : bereichsübergreifende Betrachtung eines Grundprinzips der Fremd- und Eigenkontrolle unter besonderer Beachtung der DSGVO

Matthias Platzer

Bronislaw Huberman und das Vaterland Europa : ein Violinvirtuose als Vordenker der europäischen Einigungsbewegung in den 1920er und 1930er Jahren

Hans-Wolfgang Platzer

1
2
3
4
5