Treffer 1 – 12 von 12 für Suche 'Klaeren, Herbert A.', Suchdauer: 0,07s 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
    Vom Problem zum Programm eine Einführung in die Informatik

    Vom Problem zum Programm eine Einführung in die Informatik von Klaeren, Herbert A.

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Informatikkenntnisse von Jugendlichen untersucht am Beispiel des 11. Bundeswettbewerbs Informatik 1992/93

    Informatikkenntnisse von Jugendlichen untersucht am Beispiel des 11. Bundeswettbewerbs Informatik 1992/93 von Busse, Johannes 1966-, Klaeren, Herbert A., Reich, Gabriele

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Datenräume mit algebraischer Struktur

    Datenräume mit algebraischer Struktur von Klaeren, Herbert A.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften

    Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften von Klaeren, Herbert A.

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Vom Problem zum Programm eine Einführung in die Informatik

    Vom Problem zum Programm eine Einführung in die Informatik von Klaeren, Herbert A.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Algebraische Spezifikation eine Einführung

    Algebraische Spezifikation eine Einführung von Klaeren, Herbert A.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Einführung in die abstrakte Software-Spezifikation Ausarb. e. Vorlesung vom WS 1981/82, RWTH Aachen

    Einführung in die abstrakte Software-Spezifikation Ausarb. e. Vorlesung vom WS 1981/82, RWTH Aachen von Klaeren, Herbert A.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A constructive method for abstract algebraic software specification

    A constructive method for abstract algebraic software specification von Klaeren, Herbert A.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A simple class of algorithmic specifications for abstract software modules

    A simple class of algorithmic specifications for abstract software modules von Klaeren, Herbert A.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The development of an interpreter by means of abstract algebraic software specifications

    The development of an interpreter by means of abstract algebraic software specifications von Klaeren, Herbert A., Petzsch, H.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    On parameterized abstract software modules using inductively specified operations

    On parameterized abstract software modules using inductively specified operations von Klaeren, Herbert A.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Algebraic software specification and compiler generation A case study

    Algebraic software specification and compiler generation A case study von Klaeren, Herbert A., Petzsch, H.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: