Home Advanced Search

Advanced Search - Page 1

The Foundations of Program Verification
  • PDF
  • German
  • Year: 1987
  • Author: Jacques Loeckx, Kurt Sieber (auth.)
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.)
The Foundations of Program Verification
  • DJVU
  • English
  • Year: 2013
  • Author: Kurt Sieber; Jacques Loeckx; Ryan Stansifer
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.)
Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974
  • PDF
  • English
  • Year: 1974
  • Author: A. Van Wijngaarden (auth.), Prof. Dr.-Ing. J. Loeckx (eds.)
Crise financière et capital fictif
  • PDF
  • French
  • Year: 2009
  • Author: Guigou, Jacques; Wajnsztejn, Jacques
L’évanescence de la valeur: une présentation critique du groupe Krisis
  • PDF
  • French
  • Year: 2004
  • Author: Guigou, Jacques ; Wajnsztejn, Jacques