Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-21 of 21 results
Predicate transformer semantics / Ernest G. Manes.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 94-338 Offsite Constructing language processors for little languages / Randy M. Kaplan.
- Text
- New York : Wiley, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-458 Offsite Synon developer's guide for the AS/400 / John Porter.
- Text
- New York : McGraw-Hill, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-289 Offsite Advanced Windows programming / Martin Heller.
- Text
- New York : J. Wiley, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 97-367 Offsite Karel the robot : a gentle introduction to the art of programming / Richard E. Pattis.
- Text
- New York : Wiley, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1116 Offsite Systematic programming : an introduction.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .W5713 Off-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
Item details Format Call Number Item Location Text QA76.6 .G45 1996g Off-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
Item details Format Call Number Item Location Text QA76.6 .C36 1996g Off-site Computer simulation in genetics / [by] Jack L. Crosby.
- Text
- London ; New York : Wiley, [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QH441.2 .C88 1973 Off-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
Item details Format Call Number Item Location Text QA76.63 .L735 2005g Off-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
Item details Format Call Number Item Location Text QA76.6 .T46 1974 Off-site M68000 8-/16-/32-bit microprocessors : user's manual.
- Text
- Englewood Cliffs, N.J. : Prentice Hall, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.8.M6895 M25 1990 Off-site Partial computation and the construction of language processors / Frank G. Pagan.
- Text
- Englewood Cliffs, N.J. : Prentice Hall, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .P329 1991 Off-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
Item details Format Call Number Item Location Text 81075.8785 Off-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
Item details Format Call Number Item Location Text QA76.6.W54 Off-site Programming techniques in computer aided design / edited by M. A. Sabin.
- Text
- [London] : NCC Publications, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text TA174.P74 Off-site Systematic programming: an introduction.
- Text
- Englewood Cliffs, N.J., Prentice-Hall [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA76.6.W5713 Off-site Computer simulation in genetics [by] Jack L. Crosby.
- Text
- London, New York, Wiley [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QH441.2.C76 Off-site Data communications using object-oriented design and C++ / Anil Ananthaswamy.
- Text
- New York : McGraw-Hill, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.64 .A54 1995 Off-site Computer simulation in genetics [by] Jack L. Crosby.
- Text
- London, New York, Wiley [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QH441.2 .C76 Off-site C and the 8051 : programming for multitasking / Thomas W. Schultz.
- Text
- Englewood Cliffs, N.J. : PTR Prentice Hall, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.73.C15 S368 1993 Off-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.
Explore Digital Research Books Beta