Home Advanced Search

Advanced Search - Page 1

Predicate Transformer Semantics
  • DJVU
  • English
  • Year: 2004
  • Author: Ernest G. Manes
Algebraic Theories
  • PDF
  • English
  • Year: 1976
  • Author: Ernest G. Manes (auth.)
Algebraic approaches to program semantics
  • DJVU
  • English
  • Year: 1986
  • Author: Manes, Ernest G.; Arbib, Michael A
Algebraic Approaches to Program Semantics
  • PDF
  • English
  • Year: 1986
  • Author: Ernest G. Manes, Michael A. Arbib
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974
  • DJVU
  • English
  • Year: 1975
  • Author: M. A. Arbib, E. G. Manes (auth.), Dr. Ernest Gene Manes (eds.)
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974
  • PDF
  • English
  • Year: 1975
  • Author: M. A. Arbib, E. G. Manes (auth.), Dr. Ernest Gene Manes (eds.)
Foundations of System Theory: Finitary and Infinitary Conditions
  • PDF
  • English
  • Year: 1976
  • Author: Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes (auth.)
Systems: Approaches, Theories, Applications: Including the Proceedings of the Eighth George Hudson Symposium Held at Plattsburgh, New York, April 11–12, 1975
  • PDF
  • English
  • Year: 1977
  • Author: Michael A. Arbib, Ernest G. Manes (auth.), William E. Hartnett (eds.)
Die Reichsversicherungsordnung: Band 2 Die Krankenversicherung
  • PDF
  • German
  • Year: 1912
  • Author: Manes
Marxists and Utopias in Texas
  • PDF
  • English
  • Year: 1980
  • Author: Ernest G. Fischer
search