Home Advanced Search

Advanced Search - Page 1

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

PDF
English
Year: 2015
Author: Roland Meyer, André Platzer, Heike Wehrheim (eds.)

Logical Foundations of Cyber-Physical Systems

PDF
English
Year: 2018
Author: André Platzer

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

PDF
English
Year: 2020
Author: Wolfgang Ahrendt, Heike Wehrheim

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

PDF
English
Year: 2010
Author: André Platzer (auth.)

Shopping Malls: InterdisziplinÄre Betrachtungen eines neuen Raumtyps

PDF
German
Year: 2007
Author: Jan Wehrheim (auth.), Jan Wehrheim (eds.)

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

PDF
English
Year: 2009
Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

PDF
English
Year: 1998
Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)

Call Center Benchmarking: Was die Besten anders machen und wie Sie davon profitieren können

PDF
German
Year: 2005
Author: Anton Meyer, Roland Kantsperger (eds.)

Steuerliches Leistungsfähigkeitsprinzip und zivilrechtliches Ausgleichssystem: Zum zivilrechtlichen Ausgleich von Steuerfolgen

PDF
German
Year: 2013
Author: André Meyer

Engrenages

PDF
French
Year: 2022
Author: André Meyer