Treffer 1 – 11 von 11 für Suche 'Manes, Ernest G. 1943-', 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
    Predicate transformer semantics

    Predicate transformer semantics von Manes, Ernest G. 1943-

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


    Gespeichert in:
  2. 2
    Foundations of system theory finitary and infinitary conditions

    Foundations of system theory finitary and infinitary conditions von Anderson, Brian D. O. 1949-, Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A triple miscellany some aspects of the theory of algebras over a triple

    A triple miscellany some aspects of the theory of algebras over a triple von Manes, Ernest G. 1943-

    Veröffentlicht 1967
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Algebraic approaches to program semantics

    Algebraic approaches to program semantics von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Algebraic approaches to program semantics

    Algebraic approaches to program semantics von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Foundations of systems theory finitary and infinitary conditions

    Foundations of systems theory finitary and infinitary conditions von Anderson, Brian D. O. 1949-, Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Predicate transformer semantics

    Predicate transformer semantics von Manes, Ernest G. 1943-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Algebraic approaches to program semantics

    Algebraic approaches to program semantics von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algebraic theories

    Algebraic theories von Manes, Ernest G. 1943-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Arrows, structures, and functors the categorical imperative

    Arrows, structures, and functors the categorical imperative von Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25 - 26, 1974

    Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25 - 26, 1974

    Veröffentlicht 1975
    Weitere Verfasser: “… Manes, Ernest G. 1943- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: