Home Advanced Search

Advanced Search - Page 1

Prolog: Eine methodische Einführung
  • PDF
  • German
  • Year: 1988
  • Author: Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmitz (eds.)
Prolog: Eine methodische Einführung
  • PDF
  • German
  • Year: 1990
  • Author: Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmitz (eds.)
Prolog: Eine methodische Einführung
  • PDF
  • German
  • Year: 1992
  • Author: Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmitz (eds.)
Prolog: eine methodische Einführung
  • DJVU
  • German
  • Year: 1992
  • Author: Cordes, Ralf; Schmitz, Paul et al.
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
  • PDF
  • English
  • Year: 2005
  • Author: Heinrich Rust (auth.)
Zuverlässigkeit und Verantwortung: Die Ausfallsicherheit von Programmen
  • PDF
  • German
  • Year: 1994
  • Author: Heinrich Rust (auth.)
Sicherheit in Informationssystemen: Proceedings des gemeinsamen Kongresses SECUNET’91- Sicherheit in netzgestützten Informationssystemen (des BIFOA) und 2. Deutsche Konferenz über Computersicherheit (des BSI)
  • PDF
  • German
  • Year: 1991
  • Author: Dr. Roland Hüber (auth.), Heiko Lippold, Paul Schmitz, Heinrich Kersten (eds.)
Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: D. M. Gabbay (auth.), Rudolf Kruse, Pierre Siegel (eds.)
Mehr als nur Programmieren…: Eine Einführung in die Informatik
  • PDF
  • German
  • Year: 1993
  • Author: Rainer Gmehlich, Heinrich Rust (auth.)
AeroStruct: Enable and Learn How to Integrate Flexibility in Design: Contributions to the Closing Symposium of the German Research Initiative AeroStruct, October 13–14, 2015, Braunschweig, Germany
  • PDF
  • English
  • Year: 2018
  • Author: Ralf Heinrich (eds.)
search