Treffer 1 – 20 von 23 für Suche 'Kröger, Fred', Suchdauer: 0,06s 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
    Temporal Logic and State Systems

    Temporal Logic and State Systems von Kröger, Fred, Merz, Stephan

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


    Gespeichert in:
  2. 2
    Skript zur Vorlesung Einführung in die Informatik 1 TU München, Wintersemester 1985/1986

    Skript zur Vorlesung Einführung in die Informatik 1 TU München, Wintersemester 1985/1986 von Kröger, Fred

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Temporal logic of programs

    Temporal logic of programs von Kröger, Fred

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Relationships between intermittent and invariant assertions

    Relationships between intermittent and invariant assertions von Kröger, Fred

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Uniform calculi for programming mechanisms and the description of their effects

    Uniform calculi for programming mechanisms and the description of their effects von Kröger, Fred

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    An extension of propositional logic by algorithmic concepts

    An extension of propositional logic by algorithmic concepts von Kröger, Fred

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Normdeklaratoren

    Normdeklaratoren von Kröger, Fred

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Einführung in die Informatik Algorithmenentwicklung

    Einführung in die Informatik Algorithmenentwicklung von Kröger, Fred

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


    Gespeichert in:
  9. 9
    Layers of temporal structures

    Layers of temporal structures von Merz, Stephan, Kröger, Fred

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Temporal logic of programs

    Temporal logic of programs von Kröger, Fred

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Temporal logic of programs

    Temporal logic of programs von Kröger, Fred

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Abstract modules

    Abstract modules von Kröger, Fred

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The treatment of macro expansions in the temporal logic of parallel programs

    The treatment of macro expansions in the temporal logic of parallel programs von Kausche, Andreas, Kröger, Fred

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Unendliche Schlußregeln zur Verifikation von Programmen

    Unendliche Schlußregeln zur Verifikation von Programmen von Kröger, Fred

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Über die Konstruktion höherer arithmetischer Ordinalzahloperationen nach Saarnio

    Über die Konstruktion höherer arithmetischer Ordinalzahloperationen nach Saarnio von Kröger, Fred

    Veröffentlicht 1971
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Temporal logic and state systems

    Temporal logic and state systems von Kröger, Fred 1945-, Merz, Stephan 1963-

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Einführung in die Informatik Algorithmenentwicklung

    Einführung in die Informatik Algorithmenentwicklung von Kröger, Fred

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Temporal Logic of programs

    Temporal Logic of programs von Kröger, Fred

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Transforming temporal logic specifications

    Transforming temporal logic specifications von Schlingloff, Holger, Kröger, Fred

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    The treatment of macro expansions in the temporal logic of parallel programs

    The treatment of macro expansions in the temporal logic of parallel programs von Kausche, A., Kröger, Fred

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: