Home Advanced Search

Advanced Search - Page 1

The Foundations of Program Verification
  • PDF
  • German
  • Year: 1987
  • Author: Jacques Loeckx, Kurt Sieber (auth.)
The Foundations of Program Verification
  • DJVU
  • English
  • Year: 2013
  • Author: Kurt Sieber; Jacques Loeckx; Ryan Stansifer
Algorithmentheorie
  • PDF
  • German
  • Year: 1976
  • Author: Prof. Dr. Jacques Loeckx (auth.)
Computability and Decidability: An Introduction for Students of Computer Science
  • PDF
  • English
  • Year: 1972
  • Author: Prof. Dr. Jacques Loeckx (auth.)
Grundlagen der Programmiersprachen
  • PDF
  • German
  • Year: 1986
  • Author: Prof. Dr.-Ing. Jacques Loeckx, Prof. Kurt Mehlhorn Ph. D., Prof. Dr. rer. nat. Reinhard Wilhelm (auth.)
Der Dauerwald
  • PDF
  • German
  • Year: 1928
  • Author: Philipp Sieber (auth.)
Fatal Remedies: The Ironies of Social Intervention
  • PDF
  • English
  • Year: 1981
  • Author: Sam D. Sieber (auth.)
The Ethics of Social Research: Surveys and Experiments
  • PDF
  • English
  • Year: 1982
  • Author: Joan E. Sieber (auth.), Joan E. Sieber (eds.)