Jacques Loeckx

Jacques Loeckx (* 2. November 1931 in Brüssel; † 4. Januar 2020 in Köln) war ein belgischer Informatiker, der an der Universität des Saarlandes lehrte. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 21 für Suche 'Loeckx, Jacques', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The Foundations of Program Verification

    The Foundations of Program Verification von Loeckx, Jacques

    Veröffentlicht 1987

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Grundlagen der Programmiersprachen mit zahlreichen Beispielen und Aufgaben

    Grundlagen der Programmiersprachen mit zahlreichen Beispielen und Aufgaben von Loeckx, Jacques 1931-2020, Mehlhorn, Kurt 1949-, Wilhelm, Reinhard 1946-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Algorithmic specifications of abstract data types410 Saarbrücken

    Algorithmic specifications of abstract data types410 Saarbrücken von Loeckx, Jacques

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Some properties of implementations of abstract data types

    Some properties of implementations of abstract data types von Loeckx, Jacques

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Formale Korrektheitsbeweise für While-Programme

    Formale Korrektheitsbeweise für While-Programme von Loeckx, Jacques

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Specification of abstract data types

    Specification of abstract data types von Loeckx, Jacques, Ehrich, Hans-Dieter 1943-, Wolf, Markus

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    OBSCURE, a specification language for abstract data types

    OBSCURE, a specification language for abstract data types von Lehmann, Thomas, Loeckx, Jacques

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The foundations of program verification

    The foundations of program verification von Loeckx, Jacques, Sieber, Kurt

    Veröffentlicht 1987
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The foundations of program verification

    The foundations of program verification von Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Algorithmentheorie

    Algorithmentheorie von Loeckx, Jacques

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    The fixpoint theorem and the principle of computational induction

    The fixpoint theorem and the principle of computational induction von Loeckx, Jacques

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Mechanical construction of boundedcontext parsers for Chomsky 0-type languages

    Mechanical construction of boundedcontext parsers for Chomsky 0-type languages von Loeckx, Jacques

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The specification language of OBSCURE

    The specification language of OBSCURE von Lehmann, Thomas, Loeckx, Jacques

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Grundlagen der Programmiersprachen

    Grundlagen der Programmiersprachen von Loeckx, Jacques 1931-2020, Mehlhorn, Kurt 1949-, Wilhelm, Reinhard 1946-

    Veröffentlicht 1986
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Implementations of abstract data types and their correctness proofs

    Implementations of abstract data types and their correctness proofs von Loeckx, Jacques

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    An axiomatic justification of the LCF-system

    An axiomatic justification of the LCF-system von Barth, Wolfgang, Loeckx, Jacques

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    An algorithm normalizing elementary while-programs

    An algorithm normalizing elementary while-programs von Lehmann, S., Loeckx, Jacques

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Algorithmentheorie

    Algorithmentheorie von Loeckx, Jacques

    Veröffentlicht 1976

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Computability and decidability an introduction for students of computer science

    Computability and decidability an introduction for students of computer science von Loeckx, Jacques

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Mechanical construction of bounded-context parsers for Chomsky O-type languages

    Mechanical construction of bounded-context parsers for Chomsky O-type languages von Loeckx, Jacques

    Veröffentlicht 1969
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: