Treffer 1 – 7 von 7 für Suche 'Burghardt, Jochen', 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
    Tool support for the formal specification method z - a survey

    Tool support for the formal specification method z - a survey von Burghardt, Jochen, Gabriel, Robert

    Veröffentlicht 1996

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Implementing anti-unification modulo equational theory

    Implementing anti-unification modulo equational theory von Burghardt, Jochen

    Veröffentlicht 1996

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Regular substitution sets a means of controlling E-unification

    Regular substitution sets a means of controlling E-unification von Burghardt, Jochen

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion

    Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion von Burghardt, Jochen

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Dienstleistungsqualität - TQM oder DIN ISO am Beispiel eines Energieversorgungsunternehmen

    Dienstleistungsqualität - TQM oder DIN ISO am Beispiel eines Energieversorgungsunternehmen von Burghardt, Jochen

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS

    Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS von Burghardt, Jochen

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Concept for an extended type checker for the Z specification language

    Concept for an extended type checker for the Z specification language von Burghardt, Jochen

    Veröffentlicht 1996

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: