Home Advanced Search

Advanced Search - Page 1

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
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.)
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.)
Predicate Transformer Semantics
  • DJVU
  • English
  • Year: 2004
  • Author: Ernest G. Manes
Algebraic Theories
  • PDF
  • English
  • Year: 1976
  • Author: Ernest G. Manes (auth.)
Arrows structures and functors. The categorical imperative
  • DJVU
  • English
  • Year: 1975
  • Author: Michael A. Arbib
Handbook of Brain Theory and Neural Networks, 2nd Edition
  • PDF
  • English
  • Year: 2002
  • Author: Michael A. Arbib
search