Treffer 1 – 6 von 6 für Suche 'Stärk, Robert F. 1963-', 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
    A general semiunification algorithm and its correctness proof

    A general semiunification algorithm and its correctness proof von Stärk, Robert F. 1963-

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Abstract state machines a method for high-level system design and analysis ; with 19 tables

    Abstract state machines a method for high-level system design and analysis ; with 19 tables von Börger, Egon, Stärk, Robert F. 1963-

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM

    Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM von Stärk, Robert F. 1963-, Schmid, Joachim, Börger, Egon

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Java and the Java virtual machine definition, verification, validation ; with 18 tables

    Java and the Java virtual machine definition, verification, validation ; with 18 tables von Stärk, Robert F. 1963-, Schmid, Joachim, Börger, Egon

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Eine mathematische Theorie der Informationssysteme

    Eine mathematische Theorie der Informationssysteme von Kohlas, Jürg, Stärk, Robert F. 1963-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Input-output dependencies of normal logic programs

    Input-output dependencies of normal logic programs von Stärk, Robert F. 1963-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: