Research Catalog

  • Some aspects of the mathematical theory of control processes / R.E. Bellman, I. Glicksberg, O.A. Gross.

    • Text
    • Santa Monica, California : Rand Corporation, [1958]
    • 1958
    • 1 Item
    FormatCall NumberItem Location
    Text HB199 .R16Off-site
  • Optimization / A.O. Converse.

    • Text
    • New York : Holt, Rinehart and Winston, 1970.
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text 8151.2647Off-site
  • Mathematical programs for activity analysis / edited by Paul van Moeseke.

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text T57.7.M63.1974Off-site
  • Computational methods for optimizing distributed systems / K.L. Teo, Z.S. Wu.

    • Text
    • Orlando : Academic Press, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA377 .T43 1984Off-site
  • Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M367 1993Off-site
  • Predicate transformer semantics / Ernest G. Manes.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .M342 1992Off-site
  • Optimum packing and depletion: the computer in space - and resource-usage problems [by] A.R. Brown.

    • Text
    • London, Macdonald and Co.; New York, American Elsevier, 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text T57.7 .B8Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta