Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-9 of 9 results
X Protocol reference manual : for X11, release 6 / edited and with an introduction by Adrian Nye.
- Text
- Sebastapol, CA : O'Reilly & Associates, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.76.W56 X13 1995 Off-site Mastering C++ : an introduction to C++ and object-oriented programming for C and Pascal programmers / Cay S. Horstmann.
- Text
- New York : John Wiley & Sons, ©1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.73.C153 H67 1996 Off-site X Protocol reference manual : for X11, release 6 / edited and with an introduction by Adrian Nye.
- Text
- Sebastopol, Calif. : O'Reilly & Associates, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.76.W56 X13 1995 Off-site Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.).
- Text
- Berlin ; New York : Springer, ©1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I57 1996 Off-site Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall International, ©1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B335 Off-site Principles of computer programming : a mathematical approach / Harlan D. Mills [and others].
- Text
- Boston : Allyn and Bacon, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .P743 1987 Off-site SAS/GRAPH software : reference, version 6.
- Text
- Cary, NC : SAS Institute, 1990.
- 1990
- 2 Items
Item details Format Call Number Item Location Text QA276.4 .S2365 1990 v.1 Off-site Item details Format Call Number Item Location Text QA276.4 .S2365 1990 v.2 Off-site TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1991-
- 1991-present
- 2 Items
Item details Format Call Number Item Location Text QA76.76.D47 I58 1991 Off-site Item details Format Call Number Item Location Text QA76.76.D47 I58 1991 Off-site Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1995 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.
