Research Catalog

  • Predicate transformer semantics / Ernest G. Manes.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 94-338Offsite
  • Constructing language processors for little languages / Randy M. Kaplan.

    • Text
    • New York : Wiley, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-458Offsite
  • Synon developer's guide for the AS/400 / John Porter.

    • Text
    • New York : McGraw-Hill, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 96-289Offsite
  • Advanced Windows programming / Martin Heller.

    • Text
    • New York : J. Wiley, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-367Offsite
  • Karel the robot : a gentle introduction to the art of programming / Richard E. Pattis.

    • Text
    • New York : Wiley, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-1116Offsite
  • Systematic programming : an introduction.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .W5713Off-site
  • Genetic programming : proceedings of the first annual conference, 1996 / edited by John R. Koza [and others].

    • Text
    • Cambridge, Mass. : MIT Press, [1996], ©1996.
    • 1996-1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .G45 1996gOff-site
  • The McGraw-Hill PC programmer's desk reference / Maria P. Canton, Julio Sanchez.

    • Text
    • New York : McGraw-Hill, [1996], ©1996.
    • 1996-1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .C36 1996gOff-site
  • Computer simulation in genetics / [by] Jack L. Crosby.

    • Text
    • London ; New York : Wiley, [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QH441.2 .C88 1973Off-site
  • Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005 / Geoff Sutcliffe, Andrei Voronkov, (eds.).

    • Text
    • Berlin : Springer, 2005. [Great Britain]
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .L735 2005gOff-site
  • Teorii︠a︡ avtomatov, algoritmov i matematicheskai︠a︡ logika / otvetstvennyĭ redaktor A.A. Letichevskiĭ ; otvetstvennyĭ za vypusk A.V. Godlevskiĭ.

    • Text
    • Kiev : Institut Kibernetiki AN USSR, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .T46 1974Off-site
  • M68000 8-/16-/32-bit microprocessors : user's manual.

    • Text
    • Englewood Cliffs, N.J. : Prentice Hall, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.8.M6895 M25 1990Off-site
  • Partial computation and the construction of language processors / Frank G. Pagan.

    • Text
    • Englewood Cliffs, N.J. : Prentice Hall, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .P329 1991Off-site
  • Programming the IBM System/360 [by] Robert F. Steinhart [and] Seymour V. Pollack.

    • Text
    • New York, Holt, Rinehart and Winston [1970]
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.8785Off-site
  • An introduction to computing: problem-solving, algorithms, and data structures [by] Daniel U. Wilde.

    • Text
    • Englewood Cliffs, N.J., Prentice-Hall [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.W54Off-site
  • Programming techniques in computer aided design / edited by M. A. Sabin.

    • Text
    • [London] : NCC Publications, [1974]
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text TA174.P74Off-site
  • Systematic programming: an introduction.

    • Text
    • Englewood Cliffs, N.J., Prentice-Hall [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.W5713Off-site
  • Computer simulation in genetics [by] Jack L. Crosby.

    • Text
    • London, New York, Wiley [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QH441.2.C76Off-site
  • Data communications using object-oriented design and C++ / Anil Ananthaswamy.

    • Text
    • New York : McGraw-Hill, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.64 .A54 1995Off-site
  • Computer simulation in genetics [by] Jack L. Crosby.

    • Text
    • London, New York, Wiley [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QH441.2 .C76Off-site
  • C and the 8051 : programming for multitasking / Thomas W. Schultz.

    • Text
    • Englewood Cliffs, N.J. : PTR Prentice Hall, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.C15 S368 1993Off-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