General Works | |||
1955 | QA76 .E25. | Eckert, W. J. (Wallace John) | Faster, faster; a simple description of a giant electronic calculator and the problems it solves, by W. J. Eckert and Rebecca Jones. |
1955 | QA76 .H37. | Hastings, Cecil | Approximations for digital computers, by Cecil Hastings, Jr., assisted by Jeanne T. Hayward [and] James P. Wong, Jr. |
1957 | QA76 .S8 1957. | Stibitz, George R. (George Robert) | Mathematics and computers [by] George R. Stibitz and Jules A. Larrivee. |
1960 | QA76 .A24. | Advances in computers. | |
1960 | QA76 .B3. | Bartee, Thomas C. | Digital computer fundamentals, by Thomas C. Bartee. |
1965 | QA76 .A5. | Computers and computing. | |
1966 | QA76 .F5. | Fink, Donald G. | Computers and the human mind, by Donald G. Fink. |
1967 | QA76 .C588. | Corliss, William R. | Computers [by William R. Corliss. |
1969 | QA76 .A68. | Arnold, Robert R. | Modern data processing [by] Robert R. Arnold, Harold C. Hill [and] Aylmer V. Nichols. |
1969 | QA76 .F8. | Funderlic, R. E. | The programmer's handbook; a compendium of numerical analysis utility programs. |
1969 | QA76 .H25 1969. | Halacy, D. S. (Daniel Stephen) | Computers, the machines we think with [by] D. S. Halacy, Jr. |
1969 | QA76 .Z6. | Zobrist, George W. (George Winston) | Network computer analysis. |
1970 | QA76 .J62. | Johnson, Lyle R. | System structure in data, programs, and computers [by] Lyle R. Johnson. |
1970 | QA76 .M325. | Martin, James | The computerized society; an appraisal of the impact of computerson society over the next fifteen years [by] James Martin and Adrian R. D. Norman. |
1970 | QA76 .W533. | Wilson, Ira Gaulbert | What computers cannot do, by Ira G. and Marthann E. Wilson. |
1974 | QA76 .C362. | Carver, D. K. | Introduction to data processing [by] D. K. Carver. |
1974 | QA76 .K538. | Kochenburger, Ralph J. | Computers in modern society [by] Ralph J. Kochenburger [and] Carolyn J. Turcio. |
1975 | QA76 .C573 1975. | Computer science, a first course / A. I. Forsythe ... [et al] | |
1976 | QA76 .L33. | Laver, F. J. M. | An introduction to the uses of computers / Murray Laver. |
1976 | QA76 .M68. | Mowshowitz, Abbe. | The conquest of will : information processing in human affairs / Abbe Mowshowitz. |
1976 | QA76 .R268. | Raphael, Bertram. | The thinking computer : mind inside matter / Bertram Raphael. |
1976 | QA76 .R64. | Rosen, Saul. | Lectures on the measurement and evaluation of the performance of computing systems / Saul Rosen. |
1976 | QA76 .W44. | Weizenbaum, Joseph. | Computer power and human reason : from judgment to calculation / Joseph Weizenbaum. |
1977 | QA76 .B697. | Brady, J. M. | The theory of computer science : a programming approach / J. M. Brady. |
1980 | QA76 .A28. | Abshire, Gary M. | The impact of computers on society and ethics : a bibliography / edited by Gary M. Abshire. |
1980 | QA76 .G672 1980. | Graham, Neill | The mind tool : computers and their impact on society / Neill Graham. |
1980 | QA76 .W49. | What can be automated? : The computer science and engineering research study (COSERS) / Bruce W. Arden, editor. | |
1981 | QA76 .B45 1981. | Bernstein, Jeremy | The analytical engine : computers--past, present, and future : newly revised / Jeremy Bernstein. |
1981 | QA76 .D3336. | Deken, Joseph. | The electronic cottage / Joseph Deken. |
1981 | QA76 .M942. | Hildebrandt, Darlene Myers. | Computer science resources : a guide to professional literature /compiled and edited by Darlene Myers. |
1982 | QA76 .G589 1982. | Goldschlager, L. | Computer science : a modern introduction / L. Goldschlager and A.Lister. |
1982 | QA76 .P36 1982. | Pask, Gordon. | Micro man : computers and the evolution of consciousness / by Gordon Pask with Susan Curran. |
1983 | QA76 .B455 1983. | Berry, Adrian. | The super-intelligent machine : an electronic odyssey / Adrian Berry. |
1983 | QA76 .L415 1983. | Ledgard, Henry F. | From Baker Street to binary : an introduction to computers and computer programming with Sherlock Holmes / Henry Ledgard, E. Patrick McQuaid, Andrew Singer. |
1983 | QA76 .M37 1983. | The McGraw-Hill computer handbook / editor in chief, HarryHelms ; overview by Adam Osborne ; foreword by Thomas C.Bartee. | |
1984 | QA76 .A656 1984. | Arbib, Michael A. | Computers and the cybernetic society / Michael A. Arbib. |
1984 | QA76 .E74 1984. | Essick, Edward L. | Essentials of computer data processing / Edward L. Essick. |
1984 | QA76 .F695 1984. | Frates, Jeffrey. | Introduction to the computer : an integrated approach / by Jeffrey Frates and William Moldrup. |
1984 | QA76 .I485 1984. | Inmon, William H. | Integrating data processing systems : in theory and in practice /W.H. Inmon. |
1984 | QA76 .S47 1984. | Shallis, Michael. | The silicon idol : the micro revolution and its social implications / Michael Shallis. |
1984 | QA76 .T85 1984. | Turkle, Sherry. | The second self : computers and the human spirit / by Sherry Turkle. |
1985 | QA76 .F89 1985. | The Future of information processing technology / edited by Stephen J. Andriole. | |
1985 | QA76 .I5 1985. | The Impact of technological change in the industrialdemocracies : public attitudes toward information technology : a 1985 international comparative public opinion survey / editedby Richard D. Vine. | |
1985 | QA76 .M367 1985. | McCorduck, Pamela | The universal machine : confessions of a technological optimist /Pamela McCorduck. |
1985 | QA76 .S833 1985. | Stine, G. Harry (George Harry) | The untold story of the computer revolution : bits, bytes, bauds,and brains / by G. Harry Stine. |
1986 | QA76 .F6 1986. | For all practical purposes. [Videocassette] Computer science. / aproduction of the Chedd-Angier Production Company. | |
1986 | QA76 .N497 1986. | Nickerson, Raymond S. | Using computers : the human factors of information systems / Raymond S. Nickerson. |
1986 | QA76 .S334 1986. | Savage, John E. | The mystical machine : issues and ideas in computing / John E. Savage, Susan Magidson, John E. Savage, Alex Stein. |
1986 | QA76 .W38 1986. | Webster, Frank. | Information technology : a luddite analysis / Frank Webster, Kevin Robins. |
1986 | QA76 .W47 1986. | Wertz, Charles J. | The data dictionary : concepts and uses / Charles J. Wertz. |
1986 | QA76 .W58 1986. | Winograd, Terry. | Understanding computers and cognition : a new foundation for design / Terry Winograd, Fernando Flores. |
1988 | QA76 .C88 1988. | Trends in theoretical computer science / Egon Borger, editor. | |
1989 | QA76 .D45 1989. | Dewdney, A. K. | The Turing omnibus : 61 excursions in computer science / A.K. Dewdney. |
1989 | QA76 .I63 1989. | Introduction to computer systems : analysis, design, and applications / John A. Aseltine ... [et al.] | |
1990 | QA76 .B326 1990. | Beauty is our business : a birthday salute to Edsger W.Dijkstra / edited by W.H.J. Feijen ... [et al.] | |
1990 | QA76 .C5834 1990. | Computing before computers / edited by William Aspray. | |
1992 | QA76 .H2785 1992. | Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum. | |
1994 | QA76 .H2786 1994. | Holtzman, Steven R. | Digital mantras : the languages of abstract and virtual worlds / Steven R. Holtzman. |
1995 | QA76 .E15 1995. | Eck, David J. | The most complex machine : a survey of computers and computing / David J. Eck. |
1995 | QA76 .F54 1995. | Fiume, Eugene L. | An introduction to scientific, symbolic, and graphical computation / Eugene Fiume. |
1996 | QA76 .A594 1996. | An Introduction to high-performance scientific computing / Lloyd D. Fosdick ... [et al.] | |
1996 | QA76 .F45 1996. | Feynman, Richard Phillips. | Feynman lectures on computation / Richard P. Feynman ; edited by Anthony J.G. Hey and Robin W. Allen. |
1996 | QA76 .K537 1996. | Knuth, Donald Ervin | Selected papers on computer science / Donald E. Knuth. |
1997 | QA76 .B495 1997. | Biermann, Alan W. | Great ideas in computer science : a gentle introduction / Alan W.Biermann. |
1997 | QA76 .C57315 1997. | The computer science and engineering handbook / editor-in-chief, Allen B. Tucker, Jr. | |
1997 | QA76 .H265 1997. | HAL's legacy : 2001s computer as dream and reality / edited by David G. Stork. | |
1998 | QA76 .C5474 1998. | Complexity and real computation / Lenore Blum ... [et al.] ; foreword by Richard M. Karp. | |
Dictionaries and Encyclopedias | |||
1976 | QA76.15 .E48. | Encyclopedia of computer science / Anthony Ralston, editor, Chester L. Meek, assistant editor. | |
1983 | QA76.15 .E48 1983. | Encyclopedia of computer science and engineering / Anthony Ralston, editor ; Edwin D. Reilly, Jr., associate editor. | |
1986 | QA76.15 .L63 1986. | Longley, Dennis. | Dictionary of information technology / Dennis Longley and MichaelShain. |
1987 | QA76.15 .E184 1987. | Edmunds, Robert A. | Prentice-Hall encyclopedia of information technology / Robert A. Edmunds. |
1987 | QA76.15 .R67 1987. | Rosenberg, Jerry Martin. | Dictionary of computers, information processing, and telecommunications / Jerry M. Rosenberg. |
1988 | QA76.15 .F734 1988. | Freedman, Alan | The computer glossary : the complete illustrated desk reference /Alan Freedman. |
1992 | QA76.15 .M33 1992. | Macmillan encyclopedia of computers / Gary G. Bitter, editor in chief. | |
1992 | QA76.15 .P42 1992. | Pfaffenberger, Bryan | Que's computer user's dictionary / Bryan Pfaffenberger. |
1993 | QA76.15 .E48 1993. | Encyclopedia of computer science / editors, Anthony Ralston, Edwin D. Reilly ; Caryl Ann Dahlin, managing editor. | |
1994 | QA76.15 .I23 1994. | IBM dictionary of computing / compiled and edited by George McDaniel. | |
1995 | QA76.15 .W37 1995. | Waterfields guide to computer terms / edited by Arthur L.Delcher. | |
1996 | QA76.15 .D526 1996. | Dictionary of computing. | |
1996 | QA76.15 .M37 1996. | Margolis, Philip E. | Random House personal computer dictionary / Philip E. Margolis. |
1996 | QA76.15 .W569 1996. | Wired style : principles of English usage in the digital age / from the editors of Wired ; edited by Constance Hale. | |
1997 | QA76.15 .H32 1997. | Hansen, Brad. | The dictionary of multimedia : terms & acronyms / Brad Hansen. |
Electronic Computers: History | |||
1981 | QA76.17 .E92 1981. | Evans, Christopher Riche. | The making of the micro : a history of the computer / by Christopher Evans ; foreword by Tom Stonier. |
1982 | QA76.17 .W84 1982. | Wulforst, Harry. | Breakthrough to the computer age / Harry Wulforst. |
1984 | QA76.17 .A94 1984. | Augarten, Stan. | Bit by bit : an illustrated history of computers / Stan Augarten. |
1984 | QA76.17 .M6713 1984. | Moreau, Rene. | Ainsi naquit l'informatique. English. The computer comes of age : the people, the hardware, and the software / R. Moreau ; translated by J. Howlett. |
1984 | QA76.17 .S49 1984. | Shurkin, Joel N. | Engines of the mind : a history of the computer / Joel Shurkin. |
1986 | QA76.17 .B57 1986. | Blohm, Hans (Hans-L.) | Pebbles to computers : the thread / Hans Blohm, Stafford Beer, David Suzuki. |
1990 | QA76.17 .E15 1990. | Eames, Charles. | A computer perspective : background to the computer age / by the office of Charles & Ray Eames ; introduction by I. Bernard Cohen ; epilogue by Brian Randell. |
1990 | QA76.17 .H59 1990. | A History of scientific computing / edited by Stephen G. Nash. | |
1992 | QA76.17 .M33 1992. | The Machine that changed the world [video Recording] | |
1996 | QA76.17 .C36 1996. | Campbell-Kelly, Martin. | Computer : a history of the information machine / MartinCampbell-Kelly and William Aspray. |
1996 | QA76.17 .E34 1996. | Edwards, Paul N. | The closed world : computers and the politics of discourse in Cold War America / Paul N. Edwards. |
1998 | QA76.17 .C47 1998. | Ceruzzi, Paul E. | A history of modern computing / Paul E. Ceruzzi. |
Biography | |||
1982 | QA76.2.H64 A97. | Austrian, Geoffrey. | Herman Hollerith, forgotten giant of information processing / Geoffrey D. Austrian. |
1988 | QA76.2.A75 M65 1988. | Mollenhoff, Clark R. | Atanasoff : forgotten father of the computer / Clark R. Mollenhoff. |
1995 | QA76.2.A2 S53 1995. | Shasha, Dennis Elliott. | Out of their minds : the lives and discoveries of 15 great computer scientists / Dennis Shasha, Cathy Lazere. |
Directories | |||
1988 | QA76.215 .F84. | Fulltext sources online / BiblioData. | |
Addresses, Essays, Lectures | |||
1987 | QA76.24 .A33 1987. | ACM Turing Award lectures : the first twenty years 1966 to 1985. | |
1982 | QA76.24 .S78 1982. | Studies in computer science / Seymour V. Pollack, editor ; [contributions by] William E. Ball ... [et al.] | |
1983 | QA76.24 .A34 1983. | Advanced microprocessors / edited by Amar Gupta, Hoo-min D.Toong. | |
1985 | QA76.24 .C64 1985. | Cohabiting with computers / Joseph F. Traub, editor ; with chapters by Gordon Bell ... [et al.] | |
1986 | QA76.24 .F76 1986. | From sand to circuits, and other inquiries / edited by John J. Simon, Jr. | |
1988 | QA76.24 .C658 1988. | A computer science reader : selections from Abacus / edited by Eric A. Weiss. | |
Computer Science as a Profession | |||
1986 | QA76.25 .Z56 1986. | Zimmerman, Jan. | Once upon the future : a woman's guide to tomorrow's technology /Jan Zimmerman. |
Study and Teaching: General Works | |||
1984 | QA76.27 .B45 1984. | Berkeley, Peter E. | Computer operations training : a strategy for change / Peter E. Berkeley. |
1985 | QA76.27 .C37 1985. | The Carnegie-Mellon curriculum for undergraduate computer science/ edited by Mary Shaw. | |
1990 | QA76.27 .C38 1990. | Carroll, John M. (John Millar) | The Nurnberg funnel : designing minimalist instruction for practical computer skill / John M. Carroll. |
1997 | QA76.27 .A43 1997. | Adelman, Clifford. | Leading, concurrent or lagging? : the knowledge content of computer science in higher education and the labor market / Clifford Adelman. |
1999 | QA76.27 .H55 1999. | Hiltzik, Michael A. | Dealers of lightning : Xerox PARC and the dawn of the computer age / Michael Hiltzik. |
Problems, Exercises, Examinations | |||
1973 | QA76.28 .O5. | 101 BASIC computer games, ed. by David H. Ahl. | |
Analog Computers | |||
1971 | QA76.4 .H35. | Hausner, Arthur | Analog and analog/hybrid computer programming. |
1991 | QA76.4 .F76 1991. | From Memex to hypertext : Vannevar Bush and the mind'smachine / [edited by] James M. Nyce, Paul Kahn. | |
Digital Computers: General Works | |||
1956 | QA76.5 .W56. | Wilkes, M. V. (Maurice Vincent) | Automatic digital computers. |
1957 | QA76.5 .M185. | McCracken, Daniel D. | Digital computer programming. |
1959 | QA76.5 .J4. | Jeenel, Joachim. | Programming for digital computers. |
1960 | QA76.5 .R3. | Ralston, Anthony. | Mathematical methods for digital computers, edited by Anthony Ralston [and] Herbert S. Wilf. |
1961 | QA76.5 .S53. | Siegel, Paul. | Understanding digital computers. |
1964 | QA76.5 .M1873 1968. | McCracken, Daniel D. | Numerical methods and FORTRAN programming, with applications in engineering and science [by] Daniel D. McCracken and William S.Dorn. |
1965 | QA76.5 .M1872. | McCracken, Daniel D. | A guide to Fortran IV programming [by] Daniel D. McCracken. |
1965 | QA76.5 .P38. | Pennington, Ralph H. | Introductory computer methods and numerical analysis [by] RalphH. Pennington. |
1966 | QA76.5 .H25. | Hamblen, John Wesley | Cooperative planning for computers and computer science programs in higher education / by J. W. Hamblen [and] W. F. Atchison. |
1966 | QA76.5 .N3. | Naylor, Thomas H. | Computer simulation techniques [by] Thomas H. Naylor [and others] |
1966 | QA76.5 .W84. | Wohl, Gerald. | The computer in auditing -- the use of test data, by Gerald Wohl and Michael D'Angelico. |
1967 | QA76.5 .G68. | Grau, Albert A. | Translation of ALGOL 60 [by] A. A. Grau, U. Hill [and] H. Langmaack. Chief ed. K. Samuelson. |
1967 | QA76.5 .K36. | Karplus, Walter J. | On-line computing: time-shared man-computer systems. Edited by Walter J. Karplus. |
1967 | QA76.5 .R87. | Rutishauser, Heinz | Description of Algol 60. |
1967 | QA76.5 .V4. | Veldman, Donald J. | Fortran programming for the behavioral sciences [by] Donald J. Veldman. |
1967 | QA76.5 .Z4. | Ziegler, James R. | Time-sharing data processing systems [by] James R. Ziegler. |
1968 | QA76.5 .B2964 1968b. | Barron, D. W. (David William) | Recursive techniques in programming [by] D. W. Barron. |
1968 | QA76.5 .K57. | Knuth, Donald Ervin | The art of computer programming / Donald E. Knuth. |
1969 | QA76.5 .F454. | Flores, Ivan. | Computer organization. |
1969 | QA76.5 .S28. | Schriber, Thomas J. | Fundamentals of flowcharting [by] Thomas J. Schriber. |
1969 | QA76.5 .W28. | Walsh, Dorothy | A guide for software documentation. |
1970 | QA76.5 .C56. | Cohen, Leo J. | Operating system; analysis and design, by Leo J. Cohen. |
1970 | QA76.5 .F6. | Foster, J. M. (John Michael) | Automatic syntactic analysis, [by] J. M. Foster. |
1970 | QA76.5 .K37. | Katzan, Harry. | Advanced programming; programming and operating systems. |
1970 | QA76.5 .W36. | Watson, Richard W. | Timesharing system design concepts [by] Richard W. Watson. |
1971 | QA76.5 .B37. | Beizer, Boris | The architecture and engineering of digital computer complexes. |
1971 | QA76.5 .C6139. | Computers and computation; readings from Scientific American. With introductions by Robert R. Fenichel [and] Joseph Weizenbaum. | |
1971 | QA76.5 .F37. | Feldzamen, A. N. | The intelligent man's easy guide to computers, by A. N.Feldzamen. |
1971 | QA76.5 .G73. | Gries, David | Compiler construction for digital computers. |
1971 | QA76.5 .H442 1972. | Hawkes, Nigel. | The computer revolution. |
1972 | QA76.5 .C488. | Chu, Yaohan | Computer organization and microprogramming. |
1972 | QA76.5 .G397. | Gerald, Curtis F. | Computers and the art of computation [by] Curtis F. Gerald. |
1972 | QA76.5 .K382. | Kemeny, John G. | Man and the computer [by] John G. Kemeny. |
1972 | QA76.5 .Y64. | Yourdon, Edward. | Design of on-line computer systems. |
1973 | QA76.5 .B76. | Brinch Hansen, Per | Operating system principles. |
1976 | QA76.5 .B293. | Barna, Arpad. | Introduction to microcomputers and microprocessors / Arpad Barna,Dan I. Porat. |
1976 | QA76.5 .C612565. | Computer design development : principal papers / edited by EarlE. Swartzlander, Jr. | |
1976 | QA76.5 .M224. | Mano, M. Morris | Computer system architecture / M. Morris Mano. |
1976 | QA76.5 .S657. | Soucek, Branko. | Microprocessors and microcomputers / Branko Soucek. |
1977 | QA76.5 .L377. | Leahy, William F. | Microprocessor architecture and programming / William F. Leahy. |
1978 | QA76.5 .H34. | Harrison, Thomas J. | Minicomputers in industrial control : an introduction / edited byThomas J. Harrison. |
1978 | QA76.5 .S565. | Small systems computer sourcebook / edited by J. C. Boonham. | |
1979 | QA76.5 .B517. | Bishop, Ron | Basic microprocessors and the 6800 / Ron Bishop. |
1980 | QA76.5 .B776. | Brown, Carol W. | The minicomputer simplified : an executive's guide to thebasics / Carol W. Brown. |
1980 | QA76.5 .S558. | Sloan, M. E. (Martha E.) | Introduction to minicomputers and microcomputers / M. E. Sloan. |
1981 | QA76.5 .H46. | Herbert, Frank. | Without me you're nothing : the essential guide to home computers/ Frank Herbert, with Max Barnard. |
1981 | QA76.5 .S496. | Short, Kenneth L. | Microprocessors and programmed logic / Kenneth L. Short. |
1982 | QA76.5 .B564. | Bocchino, William A. | Simplified guide to microcomputers / William A. Bocchino. |
1982 | QA76.5 .K43 1982. | Khambata, Adi J. | Microprocessors/microcomputers : architecture, software, and systems / Adi J. Khambata. |
1982 | QA76.5 .M549 1982. | Money, Steve A. | Microprocessor data book / S.A. Money. |
1983 | QA76.5 .B454 1983. | Bertoni, Phil. | Strangers in computerland : getting comfortable with new magick [sic] / Phil Bertoni ; illustrations by Marcia Dixcy. |
1983 | QA76.5 .B668 1983. | Bowker/Bantam 1984 complete sourcebook of personal computing. | |
1983 | QA76.5 .C4164 1983. | Ceruzzi, Paul E. | Reckoners : the prehistory of the digital computer, from relays to the stored program concept |
1983 | QA76.5 .D693 1983. | Driscoll, Frederick F. | Microprocessor-microcomputer technology / Frederick F. Driscoll. |
1983 | QA76.5 .M417 1983. | Meilach, Dona Z. | Before you buy a computer : a practical guide to computer shopping / Dona Z. Meilach ; Allen E. Meilach, technical consultant. |
1983 | QA76.5 .T47 1983. | Terrell, David L. | Microprocessor technology / David L. Terrell. |
1984 | QA76.5 .F697 1984. | Freiberger, Paul | Fire in the valley : the making of the personal computer / Paul Freiberger, Michael Swaine. |
1984 | QA76.5 .H3544 1984. | The Handbook of computers and computing / edited by Arthur H. Seidman, Ivan Flores. | |
1984 | QA76.5 .L326 1984. | Large, Peter | The micro revolution revisited / Peter Large. |
1984 | QA76.5 .L3729 1984. | Lawrence, John Shelton. | The electronic scholar : a guide to academic microcomputing / John Shelton Lawrence. |
1984 | QA76.5 .M521955 1984. | Microprocessor systems : software and hardware architecture / edited by Stephen Evanczuk. | |
1985 | QA76.5 .G688 1985. | Greenfield, Joseph D. | Microprocessor handbook / Joseph D. Greenfield. |
1985 | QA76.5 .M24375 1985. | The Massively parallel processor / edited by Jerry L. Potter. | |
1986 | QA76.5 .C558 1986. | Cohen, Daniel I. A. | Introduction to computer theory / Daniel I.A. Cohen. |
1986 | QA76.5 .C723 1986. | Crawford, Walt. | Common sense personal computing : a handbook for professionals / by Walt Crawford. |
1986 | QA76.5 .F47 1986. | Flores, Ivan. | The professional microcomputer handbook / Ivan Flores, Melvyn Feuerman. |
1986 | QA76.5 .I4886 1986. | Intelligent machinery : theory and practice / edited by Ian Benson. | |
1986 | QA76.5 .L374 1986. | Lazou, Christopher. | Supercomputers and their use / Christopher Lazou. |
1987 | QA76.5 .D45 1987. | Desrochers, George R. | Principles of parallel and multiprocessing / George R.Desrochers. |
1987 | QA76.5 .O924 1987. | Ouchi, Glenn I. | Personal computers for scientists : a byte at a time / Glenn I. Ouchi. |
1987 | QA76.5 .P3145 1987. | Papers of John von Neumann on computing and computer theory / edited by William Aspray and Arthur Burks. | |
1988 | QA76.5 .B825 1988. | Burks, Alice R. | The first electronic computer : the Atanasoff story / Alice R. Burks and Arthur W. Burks. |
1988 | QA76.5 .S6573 1988. | Soucek, Branko. | Neural and massively parallel computers : the sixth generation / Branko Soucek and Marina Soucek. |
1989 | QA76.5 .H633 1989. | Holland, R. C. | Microprocessors and their operating systems : a comprehensive guide to 8-, 16-, and 32- bit hardware, assembly language, and computer architecture / R.C. Holland. |
1989 | QA76.5 .N426 1989. | Neural computing architectures : the design of brain-like machines / edited by Igor Aleksander. | |
1989 | QA76.5 .S6572 1989. | Soucek, Branko. | Neural and concurrent real-time systems : the sixth generation / Branko Soucek. |
1989 | QA76.5 .W353 1989. | Wasserman, Philip D. | Neural computing : theory and practice / Philip D. Wasserman. |
1989 | QA76.5 .W4863 1989. | Whiddett, R. J. (Richard John) | Implementation of small computer systems : case studies of applications / Dick Whiddett. |
1990 | QA76.5 .A77446 1990. | Aspray, William. | John von Neumann and the origins of modern computing / William Aspray. |
1990 | QA76.5 .B5456 1990. | Blelloch, Guy E. | Vector models for data-parallel computing / Guy E. Blelloch. |
1990 | QA76.5 .C387 1990. | Caudill, Maureen. | Naturally intelligent systems / Maureen Caudill and Charles Butler. |
1990 | QA76.5 .C482 1990. | Chorafas, Dimitris N. | Supercomputers / Dimitris N. Chorafas, Heinrich Steinmann. |
1990 | QA76.5 .H4442 1990. | Hecht-Nielsen, Robert. | Neurocomputing / Robert Hecht-Nielsen. |
1990 | QA76.5 .J83 1990. | Judd, J. Stephen. | Neural network design and the complexity of learning / J. StephenJudd. |
1991 | QA76.5 .B365 1991. | Bechtel, William. | Connectionism and the mind : an introduction to parallel processing in networks / William Bechtel and Adele Abrahamsen. |
1991 | QA76.5 .H42 1991. | Hatcher, Philip J. | Data-parallel programming on MIMD computers / Philip J. Hatcher and Michael J. Quinn. |
1991 | QA76.5 .S536 1991. | Siewiorek, Daniel P. | The architecture of supercomputers : Titan, a case study / DanielP. Siewiorek, Philip John Koopman, Jr. |
1992 | QA76.5 .R497 1992. | Robinson, William S. (William Spencer) | Computers, minds & robots / William S. Robinson. |
1993 | QA76.5 .C612554 1993. | The Computer as medium / [edited by] Peter Bogh Andersen, Berit Holmqvist, Jens F. Jensen. | |
1993 | QA76.5 .S786 1993. | Stross, Randall E. | Steve Jobs and the NeXT big thing / Randall E. Stross. |
1994 | QA76.5 .S78513 1994. | Strobel, Stefan | Linux--vom PC zur Workstation. English. Linux--unleashing the workstation in your PC / Stefan Strobel, Thomas Uhl ; foreword by Jurgen Gulbins ; translation by RobertB ach. |
1995 | QA76.5 .H4817 1995. | High performance computing : problem solving with parallel and vector architectures / editor, Gary W. Sabot. | |
1995 | QA76.5 .L3226 1995. | Landauer, Thomas K. | The trouble with computers : usefulness, usability, and productivity / Thomas K. Landauer. |
1998 | QA76.5 .H4918 1998. | Hillis, W. Daniel. | The pattern on the stone : the simple ideas that make computers work / W. Daniel Hillis. |
Real-time Processing | |||
1983 | QA76.54 .R425 1983. | Real-time software / [edited by] Robert L. Glass. | |
1985 | QA76.54 .S28 1985. | Savitzky, Stephen R. | Real-time microprocessor systems / Stephen R. Savitzky. |
1975 | QA76.55 .B74 1975b. | Brignell, John E. | Laboratory on-line computing : an introduction for engineers and physicists / John E. Brignell, Godfrey M. Rhodes. |
1986 | QA76.55 .C66 1986. | Cooperative interfaces to information systems / edited by L. Bolcand M. Jarke. | |
1995 | QA76.55 .C58 1995. | Clark, Michael | Cultural treasures of the Internet / Michael Clark ; [with an introduction by Bill H. Washburn] |
Multimedia Systems | |||
1993 | QA76.575 .I58 1993. | Intelligent multimedia interfaces / edited by Mark T. Maybury. | |
1994 | QA76.575 .M84 1994. | Multimedia technology [video Recording] / produced by Minnesota Satellite & Technology. | |
1994 | QA76.575 .W55 1994. | Willis, William James | The age of multimedia and turbonews / Jim Willis. |
1995 | QA76.575 .C67 1995. | Contextual media : multimedia and interpretation / edited by Edward Barrett and Marie Redmond. | |
1995 | QA76.575 .G85 1995. | A guided tour of multimedia systems and applications / [editedby] Borkio Furht, Milan Milenkovic. | |
1995 | QA76.575 .U85 1995. | Using multimedia for business and education [video Recording] / Computer Television Network, the Association of Information Systems Professionals ; producer, John Bourg ; producer/director, Jeffre y Weiss. | |
1996 | QA76.575 .A35 1996. | Abrams, Arnie H. | Multimedia magic / Arnie H. Abrams ; [foreword by Kristina HooperWoolsey] |
1996 | QA76.575 .M79 1996. | Multimedia computing : preparing for the 21st century / [edited by] Sorel Reisman. | |
1996 | QA76.575 .Z47 1996. | Zhang, Allison B. | File formats on the Internet : a guide for PC users / Allison B. Zhang. |
1997 | QA76.575 .I577 1997. | Intelligent multimedia information retrieval / edited by Mark T. Maybury ; [foreword by Karen Sparck Jones] | |
1998 | QA76.575 .D545 1998. | Digital diversions : youth culture in the age of multimedia / edited by Julain Sefton-Green. | |
Parallel Processing | |||
1990 | QA76.58 .N37 1990. | Natural and artificial parallel computation / edited by M.A. Arbib and J.A. Robinson. | |
1991 | QA76.58 .P38 1991. | Past, present, parallel : a survey of available parallel computersystems / Arthur Trew and Greg Wilson, eds. | |
1992 | QA76.58 .L45 1992. | Leighton, Frank Thomson. | Introduction to parallel algorithms and architectures : arrays, trees, hypercubes / F. Thomson Leighton. |
1992 | QA76.58 .L48 1992. | Lewis, T. G. (Theodore Gyle) | Introduction to parallel computing / Ted G. Lewis and Hesham El-Rewini, with In-Kyu Kim. |
1993 | QA76.58 .G64 1993. | Golub, Gene H. (Gene Howard) | Scientific computing : an introduction with parallel computing / Gene Golub, James M. Ortega. |
1993 | QA76.58 .S62 1993. | Smith, Justin R. | The design and analysis of parallel algorithms / Justin R. Smith. |
1994 | QA76.58 .R47 1994. | Resnick, Mitchel. | Turtles, termites, and traffic jams : explorations in massively parallel microworlds / Mitchel Resnick. |
1995 | QA76.58 .G74 1995. | Greenlaw, Raymond. | Limits to parallel computation : P-completeness theory / Raymond Greenlaw, H. James Hoover, Walter L. Ruzzo. |
1996 | QA76.58 .P3635 1996. | Parallel and distributed computing handbook / Albert Y. Zomaya, editor. | |
Programming: General Works | |||
1971 | QA76.6 .W45. | Weinberg, Gerald M. | The psychology of computer programming [by] Gerald M. Weinberg. |
1972 | QA76.6 .D33. | Dahl, Ole-Johan | Structured programming, [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare. |
1972 | QA76.6 .D65. | Donovan, John J. | Systems programming [by] John J. Donovan. |
1972 | QA76.6 .G76. | Gross, Jonathan L. | Fundamental programming concepts [by] Jonathan L. Gross [and] Walter S. Brainerd. |
1972 | QA76.6 .L38. | Lee, John A. N. | Computer semantics; studies of algorithms, processors, and languages [by] John A. N. Lee. |
1972 | QA76.6 .M38. | Maurer, Hermann A. | A collection of programming problems and techniques [by] H. A. Maurer and M. R. Williams. |
1973 | QA76.6 .K64. | Knuth, Donald Ervin | The art of computer programming / [by] Donald E. Knuth. |
1973 | QA76.6 .W46. | Weingarten, Frederick W. | Translation of computer languages [by] Frederick W. Weingarten. |
1973 | QA76.6 .W5713. | Wirth, Niklaus. | Systematisches Programmieren. English. Systematic programming: an introduction. |
1974 | QA76.6 .A36. | Aho, Alfred V. | The design and analysis of computer algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman. |
1974 | QA76.6 .B77. | Brown, Peter J. | Macro processors and techniques for portable software [by] P. J. Brown. |
1974 | QA76.6 .G38 1974. | Gear, C. William (Charles William) | Computer organization and programming [by] C. William Gear. |
1974 | QA76.6 .K36 1974. | Katzan, Harry. | Information technology: the human use of computers. |
1974 | QA76.6 .K68. | Korfhage, Robert R. | Discrete computational structures [by] Robert R. Korfhage. |
1974 | QA76.6 .L37 1974. | Lee, John A. N. | The anatomy of a compiler [by] John A. N. Lee. |
1974 | QA76.6 .N54. | Nievergelt, Jurg. | Computer approaches to mathematical problems [by] JurgNievergelt, J. Craig Farrar [and] Edward M. Reingold. |
1975 | QA76.6 .J32. | Jackson, M. A. | Principles of program design / M. A. Jackson. |
1975 | QA76.6 .K874 1975. | Kurzban, Stanley A. | Operating systems principles / Stanley A. Kurzban, Thomas S. Heines, Anthony P. Sayers. |
1975 | QA76.6 .W346. | Ward, Brice. | Microprocessor/microprograming handbook / by Brice Ward. |
1976 | QA76.6 .B45. | Bennett, William Ralph | Scientific and engineering problem-solving with the computer / William Ralph Bennett, Jr. |
1976 | QA76.6 .C625. | Cole, A. J. (Alfred John) | Macro processors / A. J. Cole. |
1976 | QA76.6 .D54 1976. | Dijkstra, Edsger Wybe. | A discipline of programming / Edsger W. Dijkstra. |
1976 | QA76.6 .T38. | Tanenbaum, Andrew S. | Structured computer organization / Andrew S. Tanenbaum. |
1976 | QA76.6 .W56. | Wirth, Niklaus. | Algorithms + data structures=programs / Niklaus Wirth. |
1977 | QA76.6 .C87. | Current trends in programming methodology / Raymond T. Yeh, editor. | |
1977 | QA76.6 .G66. | Goodman, Seymour E. | Introduction to the design and analysis of algorithms / S. E. Goodman, S. T. Hedetniemi. |
1977 | QA76.6 .G69. | Graham, Neill | Microprocessor programming for computer hobbyists / by Neill Graham. |
1977 | QA76.6 .S68. | Spirn, Jeffrey R. | Program behavior : models and measurements / Jeffrey R. Spirn. |
1978 | QA76.6 .H67. | Horowitz, Ellis. | Fundamentals of computer algorithms / Ellis Horowitz, Sartaj Sahni. |
1978 | QA76.6 .K47 1978. | Kernighan, Brian W. | The elements of programming style / Brian W. Kernighan, P. J. Plauger. |
1979 | QA76.6 .E98. | Evans, Stanley J. | Microprogramming techniques with sample programs / Stanley J. Evans. |
1979 | QA76.6 .G35. | Garey, Michael R. | Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson. |
1979 | QA76.6 .L369. | Ledin, George. | The programmer's book of rules / George Ledin, Jr., Victor Ledin. |
1979 | QA76.6 .P75117. | Program construction : international summer school / F. L.Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy. | |
1980 | QA76.6 .H89. | Huyck, Peter H. | Design & memory : computer programming in the 20th century / Peter H. Huyck and Nellie W. Kremenak. |
1980 | QA76.6 .M3559. | Manna, Zohar. | Lectures on the logic of computer programming / Zohar Manna. |
1980 | QA76.6 .P9. | Pyster, Arthur B. | Compiler design and construction / Arthur B. Pyster. |
1980 | QA76.6 .R483. | Richardson, Gary L. | A primer on structured program design / Gary L. Richardson, Charles W. Butler, John D. Tomlinson. |
1980 | QA76.6 .W34. | Wand, Mitchell. | Induction, recursion, and programming / Mitchell Wand. |
1981 | QA76.6 .C56 1981. | Cline, Ben E. | Microprogramming concepts and techniques / Ben E. Cline. |
1981 | QA76.6 .C625 1981. | Cole, A. J. (Alfred John) | Macro processors / A.J. Cole. |
1981 | QA76.6 .F74. | Friedman, Paul. | Computer programs in BASIC / Paul Friedman. |
1981 | QA76.6 .F86. | Fundamental structures of computer science / Wm. A. Wulf ... [et al.] | |
1981 | QA76.6 .G747. | Gries, David | The science of programming / David Gries. |
1981 | QA76.6 .K493. | Kernighan, Brian W. | Software tools in Pascal / Brian W. Kernighan, P.J. Plauger. |
1981 | QA76.6 .K784. | Krutch, John. | Experiments in artificial intelligence for small computers / by John Krutch. |
1981 | QA76.6 .L639. | Lorin, Harold. | Operating systems / Harold Lorin, Harvey M. Deitel. |
1981 | QA76.6 .P473. | Peters, Lawrence J. | Software design : methods & techniques / Lawrence J. Peters ; foreword by L.A. Belady. |
1981 | QA76.6 .S597. | Skees, William D. | Computer software for data communications / William D. Skees ; [illustrator, John Foster] |
1981 | QA76.6 .T418 1981. | Techniques of program and system maintenance / [edited by] GirishParikh. | |
1982 | QA76.6 .B437 1982. | Ben-Ari, M. | Principles of concurrent programming / M. Ben-Ari. |
1982 | QA76.6 .D453 1982. | DeMarco, Tom. | Controlling software projects : management, measurement & estimation / Tom DeMarco ; foreword by Barry W. Boehm. |
1982 | QA76.6 .G68 1982. | Graham, Neill | Introduction to computer science : a structured approach / Neill Graham. |
1982 | QA76.6 .G7423 1982. | Greene, Daniel H. | Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth. |
1982 | QA76.6 .S6167 1982. | Snover, Stephen L. | Mathematical problem-solving with the microcomputer : projects toincrease your BASIC programming skill / Stephen L. Snover, MarkA. Spikell. |
1982 | QA76.6 .S645 1982. | Sommerville, Ian. | Software engineering / I. Sommerville. |
1982 | QA76.6 .T663. | Tools and notions for program construction : an advanced course /edited by D. Neel. | |
1983 | QA76.6 .C385 1983. | Cassel, Don | The structured alternative : program design, style anddebugging / Don Cassel. |
1983 | QA76.6 .E425 1983. | Ejiogu, Lem O. | Effective structured programming / Lem O. Ejiogu. |
1983 | QA76.6 .E485 1983b. | Emmerichs, Jack. | How to build a program / by Jack Emmerichs. |
1983 | QA76.6 .L364 1983. | Leathrum, J. F. | Foundations of software design / J.F. Leathrum. |
1983 | QA76.6 .S435 1983. | Sedgewick, Robert | Algorithms / Robert Sedgewick. |
1983 | QA76.6 .W436 1983. | Weiland, Richard J. | The programmer's craft : program construction, computer architecture, and data management / Richard J. Weiland ; editedby Charles R. Bauer. |
1984 | QA76.6 .A255 1984. | Abelson, Harold. | Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis. |
1984 | QA76.6 .B3574 1984. | Barbier, Ken. | CP/M techniques / Ken Barbier. |
1984 | QA76.6 .B4328 1984. | Beizer, Boris | Software system testing and quality assurance / Boris Beizer. |
1984 | QA76.6 .D3325 1984. | Dahmke, Mark. | The byte guide to CP/M-86 / by Mark Dahmke. |
1984 | QA76.6 .F87 1984. | Futrell, Mynga K. | The well-trained computer : designing systematic instructional materials for the classroom microcomputer / Mynga K. Futrell & Paul Geisert. |
1984 | QA76.6 .G636 1984. | Gonnet, G. H. (Gaston H.) | Handbook of algorithms and data structures / G.H. Gonnet. |
1984 | QA76.6 .H42 1984. | Heckel, Paul. | The elements of friendly software design / by Paul Heckel. |
1984 | QA76.6 .I6 1984. | Invitation to MVS : logic and debugging / Harry Katzan, Jr., Davis Tharayil. | |
1984 | QA76.6 .K77 1984. | Kruse, Robert Leroy | Data structures and program design / Robert L. Kruse. |
1984 | QA76.6 .L585 1984. | Loeckx, Jacques | The foundations of program verification / Jacques Loeckx and KurtSieber, in collaboration with Ryan D. Stansifer. |
1984 | QA76.6 .M43 1984. | Mehlhorn, Kurt | Effiziente Algorithmen. English. Data structures and algorithms / Kurt Mehlhorn. |
1984 | QA76.6 .M454 1984. | Methods and tools for compiler construction : an advancedcourse / edited by B. Lorho. | |
1984 | QA76.6 .P475 1984. | Peterson, James Lyle. | Operating system concepts / James L. Peterson, Abraham Silberschatz. |
1984 | QA76.6 .R62 1984. | Rob, Peter. | Introduction to microcomputer programming / Peter Rob. |
1984 | QA76.6 .S6153 1984. | Smardzewski, Richard R. | Microprocessor programming and applications for scientists and engineers / Richard R. Smardzewski. |
1984 | QA76.6 .W3195 1984. | Waite, W. M. (William McCastline) | Compiler construction / William M. Waite, Gerhard Goos. |
1984 | QA76.6 .W65 1984. | Wolverton, Van | Running MS DOS : the Microsoft guide to getting the most out of the standard operating system for the IBM PC and 50 other personal computers / by Van Wolverton ; drawings by Rick van G enderen. |
1984 | QA76.6.F25 I66 1984. | International Mathematical and Statistical Libraries, Inc. | IMSL library : user's manual : problem-solving software system for mathematical and statistical FORTRAN programming / IMSL. |
1985 | QA76.6 .A4913 1985. | Andre, Francoise. | Synchronisation de programmes paralleles. Synchronization of parallel programs / F. Andre, D. Herman, andJ.-P. Verjus ; translated by J. Howlett. |
1985 | QA76.6 .J364 1985. | Janson, Philippe. | Operating systems : structures and mechanisms / Philippe A. Janson. |
1985 | QA76.6 .K763 1985. | Kronsjo, Lydia. | Computational complexity of sequential and parallel algorithms / Lydia Kronsjo. |
1985 | QA76.6 .M35595 1985. | Manna, Zohar. | The logical basis for computer programming / Zohar Manna, RichardWaldinger. |
1985 | QA76.6 .M3612 1985. | Martin, James | Action diagrams : clearly structured program design / James Martin, Carma McClure. |
1985 | QA76.6 .M3646 1985. | Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson. | |
1985 | QA76.6 .M414 1985. | McGraw-Hill personal computer programming encyclopedia : languages and operating systems / William J. Birnes, editor ; Nancy Hayfield, production editor. | |
1985 | QA76.6 .M5217 1985. | Mili, Ali. | An introduction to formal program verification / Ali Mili. |
1985 | QA76.6 .S5728 1984. | Simpson, Henry. | Design of user-friendly programs for small computers / Henry Simpson. |
1986 | QA76.6 .A466 1986. | Ammeraal, L. (Leendert) | Programming principles in computer graphics / L. Ammeraal. |
1986 | QA76.6 .B4327 1986. | Beizer, Boris | Personal computer quality : a guide for victims and vendors / Boris Beizer. |
1986 | QA76.6 .B453 1986. | Bentley, Jon Louis. | Programming pearls / Jon Bentley. |
1986 | QA76.6 .D435 1986. | Logic programming, functions, relations, and equations / [edited by] Doug DeGroot, Gary Lindstrom. | |
1986 | QA76.6 .L5655 1986. | Liskov, B. | Abstraction and specification in program development / Barbara Liskov and John Guttag. |
1986 | QA76.6 .L588 1986. | Logic programming and its applications / edited by Michel van Caneghem and David H.D. Warren. | |
1987 | QA76.6 .B66 1987. | Bernat, Richard | Programming from first principles / Richard Bernat. |
1987 | QA76.6 .F854 1987. | Functional programming : languages, tools, and architectures / editor, S. Eisenbach. | |
1988 | QA76.6 .B452 1988. | Bentley, Jon Louis. | More programming pearls : confessions of a coder / Jon Bentley. |
1988 | QA76.6 .B765 1988. | Brown, Marc H. | Algorithm animation / Marc H. Brown. |
1988 | QA76.6 .B8727 1988. | Bustard, David | Concurrent program structures / David Bustard, John Elder, Jim Welsh. |
1988 | QA76.6 .C42818 1988. | Chandy, K. Mani. | Parallel program design : a foundation / K. Mani Chandy, Jayadev Misra. |
1988 | QA76.6 .D517 1988. | Dewdney, A. K. | The armchair universe : an exploration of computer worlds / A.K. Dewdney. |
1988 | QA76.6 .D5513 1988. | Dijkstra, Edsger Wybe. | Methode van programmeren. English. A method of programming / Edsger W. Dijkstra, W.H.J. Feijen ; translated by Joke Sterringa. |
1988 | QA76.6 .F477 1988. | Field, Anthony J. | Functional programming / Anthony J. Field, Peter G. Harrison. |
1988 | QA76.6 .F78 1988. | From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte. | |
1988 | QA76.6 .G53 1988. | Gibbons, Alan (Alan M.) | Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter. |
1988 | QA76.6 .P9 1988. | Pyster, Arthur B. | Compiler design and construction : tools and techniques with C and Pascal / Arthur B. Pyster. |
1988 | QA76.6 .S216 1988. | Sabot, Gary | The paralation model : architecture-independent parallel programming / Gary Sabot. |
1989 | QA76.6 .B763 1989. | Brown, Judith R. (Judith Richmond) | Programming the user interface : principles and examples / JudithR. Brown, Steve Cunningham. |
1989 | QA76.6 .O24 1989. | Object-oriented concepts, databases and applications / [edited] by Won Kim and Frederick H. Lochovsky. | |
1989 | QA76.6 .S38513 1989. | Schiper, Andre. | Programmation concurrente. English. Concurrent programming : illustrated with examples in Portal, Modula-2, and Ada / Andre Schiper ; translated by Jack Howlett. |
1989 | QA76.6 .V347 1989. | Van Hentenryck, Pascal. | Constraint satisfaction in logic programming / Pascal Van Hentenryck. |
1990 | QA76.6 .H49 1990. | Hext, Jan | Programming structures / Jan Hext. |
1990 | QA76.6 .W5557 1990. | Wirfs-Brock, Rebecca. | Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener. |
1991 | QA76.6 .N687 1991. | Norvig, Peter. | Paradigms of artificial intelligence programming : case studies in common LISP / Peter Norvig. |
1992 | QA76.6 .K695 1992. | Koza, John R. | Genetic programming : on the programming of computers by means ofnatural selection / John R. Koza. |
1993 | QA76.6 .H428 1993. | Hehner, Eric C. R. | A practical theory of programming / Eric C.R. Hehner. |
1993 | QA76.6 .K333 1993. | Kaelbling, Leslie Pack. | Learning in embedded systems / Leslie Pack Kaelbling. |
1993 | QA76.6 .W376 1993. | Watch what I do : programming by demonstration / edited by Allen Cypher ; co-edited by Daniel C. Halbert, David Kurlander, HenryLieberman, David Maulsby, Brad A. Myers, and Alan Turransky. | |
1994 | QA76.6 .K693 1994. | Koza, John R. | Genetic programming II : automatic discovery of reusable programs/ John R. Koza. |
1996 | QA76.6 .Z32 1996. | Zachary, Joseph L. | Introduction to scientific programming : computational problem solving using Maple and C / Joseph L. Zachary. |
1998 | QA76.6 .F557 1998. | Flake, Gary William. | The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation / Gary WilliamFlake. |
Constraint Programming | |||
1995 | QA76.612 .P75 1995. | Principles and practice of constraint programming : the Newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter. | |
Functional Programming | |||
1996 | QA76.62 .T434 1996. | Thompson, Simon. | Haskell : the craft of functional programming / Simon Thompson. |
Logic Programming | |||
1992 | QA76.63 .P35 1992. | Paine, Jocelyn. | The logic programming tutor / Jocelyn Paine. |
1993 | QA76.63 .D47 1993. | Deransart, Pierre. | A grammatical view of logic programming / Pierre Deransart and Jan Maluszynski. |
1993 | QA76.63 .L6329 1993. | Logic programming languages : constraints, functions, and objects/ edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten. | |
1995 | QA76.63 .M46 1995. | Meta-logics and logic programming / edited by Krzysztof R. Apt and Franco Turini. | |
1996 | QA76.63 .B47 1996. | Bergadano, Francesco | Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti. |
Object-oriented Programming | |||
1991 | QA76.64 .O26 1991. | Object-oriented modeling and design / James Rumbaugh ... [et al.] | |
1992 | QA76.64 .E43 1992. | Embley, David W. | Object-oriented systems analysis : a model-driven approach / David W. Embley, Barry D. Kurtz, Scott N. Woodfield. |
1993 | QA76.64 .O27 1993. | Object-oriented programming : the CLOS perspective / edited by Andreas Paepcke. | |
1993 | QA76.64 .P64 1993. | Pohl, Ira. | Object-oriented programming using C++ / Ira Pohl. |
1994 | QA76.64 .O225 1994. | Object development methods / edited by Andy Carmichael. | |
1995 | QA76.64 .C6 1995. | Coad, Peter. | Object models : strategies, patterns, and applications / Peter Coad with David North and Mark Mayfield. |
1995 | QA76.64 .D47 1995. | Design patterns : elements of reusable object-oriented software /Erich Gamma ... [et al.] | |
1995 | QA76.64 .M384 1995. | Martin, Robert C. | Designing object-oriented C++ applications using the Booch method/ Robert C. Martin. |
1996 | QA76.64 .M347 1996. | Malan, Ruth. | Object-oriented development at work : fusion in the real world / Ruth Malan, Reed Letsinger, Derek Coleman. |
1997 | QA76.64 .H675 1997. | Horstmann, Cay S. | Practical object-oriented development in C++ and Java / Cay S. Horstmann. |
1998 | QA76.64 .C35 1998. | Campione, Mary. | The Java tutorial : object-oriented programming for theInternet / Mary Campione and Kathy Walrath. |
Parallel Programming | |||
1990 | QA76.642 .C37 1990. | Carriero, Nicholas. | How to write parallel programs : a first course / Nicholas Carriero, David Gelernter. |
1990 | QA76.642 .R45 1990. | Reilly, Matthew H. | A performance monitor for parallel programs / Matthew H. Reilly. |
1992 | QA76.642 .C47 1992. | Chandy, K. Mani. | An introduction to parallel programming / K. Mani Chandy, StephenTaylor. |
1993 | QA76.642 .L48 1993. | Lewis, T. G. (Theodore Gyle) | Foundations of parallel programming : a machine-independent approach / Ted G. Lewis. |
Visual Programming | |||
1998 | QA76.65 .S56 1998. | Software visualization : programming as a multimedia experience /edited by John Stasko ... [et al.] ; foreword by Jim Foley. | |
Programming Languages | |||
1975 | QA76.7 .P7. | Pratt, Terrence W. | Programming languages: design and implementation [by] Terrence W.Pratt. |
1977 | QA76.7 .B37. | Barron, D. W. (David William) | An introduction to the study of programming languages / D. W. Barron. |
1977 | QA76.7 .S74 1981. | Stoy, Joseph. | Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. Stoy. |
1979 | QA76.7 .G67. | Gordon, Michael J. C. | The denotational description of programming languages : an introduction / Michael J. C. Gordon. |
1981 | QA76.7 .H56 1978. | History of Programming Languages Conference (1978 : Los Angeles, Calif.) | History of programming languages / edited by Richard L.Wexelblat. |
1981 | QA76.7 .P33. | Pagan, Frank G. | Formal specification of programming languages : a panoramic primer / Frank G. Pagan. |
1985 | QA76.7 .M35 1985. | Martin, James | Fourth-generation languages / James Martin. |
1986 | QA76.7 .B28 1986. | Backhouse, Roland C. | Program construction and verification / Roland C. Backhouse. |
1986 | QA76.7 .B366 1986. | Baron, Naomi S. | Computer languages : a guide for the perplexed / Naomi S. Baron. |
1987 | QA76.7 .L49 1987. | Levine, Howard | The cognitive connection : thought and language in man and machine / Howard Levine and Howard Rheingold. |
1987 | QA76.7 .P78 1987. | Programming languages, a grand tour / Ellis Horowitz, editor. | |
1988 | QA76.7 .M65 1988. | Moll, Robert N. | An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky. |
1988 | QA76.7 .W55 1988. | Wilson, Leslie B. | Comparative programming languages / Leslie B. Wilson, Robert G. Clark ; [illustrations by Chartwell Illustrators] |
1989 | QA76.7 .W38 1989. | Watson, Des. | High-level languages and their compilers / Des Watson. |
1990 | QA76.7 .D4 1990. | Debaere, Eddy H. | Interpretation and instruction path coprocessing / Eddy H. Debaere, Jan M. Van Campenhout. |
1990 | QA76.7 .F65 1990. | Ford, Neville J. (Neville John) | Computer programming languages : a comparative introduction / Neville J. Ford. |
1990 | QA76.7 .K35 1990. | Kamin, Samuel N. | Programming languages : an interpreter-based approach / Samuel N.Kamin. |
1992 | QA76.7 .G86 1992. | Gunter, Carl A. | Semantics of programming languages : structures and techniques / Carl A. Gunter. |
Individual Languages | |||
1974 | QA76.73.A27 W5 l974. | Wiedmann, Clark | Handbook of APL programming. |
1974 | QA76.73.B3 N64 1974. | Nolan, Richard L. | Introduction to computing through the Basic language [by] RichardL. Nolan. |
1976 | QA76.73.A24 P34. | Pagan, Frank G. | A practical guide to Algol 68 / Frank G. Pagan. |
1976 | QA76.73.C25 M32. | McCracken, Daniel D. | A simplified guide to structured COBOL programming / Daniel D. McCracken. |
1977 | QA76.73.C25 C68 1977. | Computer and Business Equipment Manufacturers Association. | |
1977 | QA76.73.C65 B73 1977. | Brinch Hansen, Per | The architecture of concurrent programs / Per Brinch Hansen. |
1978 | QA76.73.B3 N33. | Nagin, Paul A. | BASIC with style : programming proverbs / Paul A. Nagin, Henry F.Ledgard. |
1978 | QA76.73.L23 A44. | Allen, John | Anatomy of LISP / John Allen. |
1980 | QA76.73.C25 L54. | Lim, Pacifico A. | A guide to structured COBOL with efficiency techniques and special algorithms / Pacifico A. Lim. |
1980 | QA76.73.P2 M66. | Moore, Lawrie. | Foundations of programming with Pascal / Lawrie Moore. |
1980 | QA76.73.P2 R63. | Rohl, J. S. (Jeffrey Soden) | Programming via Pascal / J. S. Rohl and H. J. Barrett. |
1981 | QA76.73.P2 C66 1981. | Conway, Richard Walter | A primer on PASCAL / Richard Conway, David Gries, E.C. Zimmerman. |
1981 | QA76.73.P2 M37. | McGregor, James J. | Simple PASCAL / James J. McGregor and Alan H. Watt. |
1981 | QA76.73.P2 P2. | PASCAL : the language and its implementation / edited by D. W. Barron. | |
1982 | QA76.73.B3 L4 1982b. | Ledgard, Henry F. | Elementary Basic, as chronicled by John H. Watson / edited with commentaries by Henry Ledgard and Andrew Singer. |
1982 | QA76.73.P2 F67 1982. | Forsyth, Richard. | Pascal at work and play : an introduction to computer programmingin Pascal / Richard S. Forsyth. |
1982 | QA76.73.P2 S65 1982. | Some common Pascal programs : based on the book Some common BASICprograms. | |
1982 | QA76.73.S17 C64 1982. | Cole, A. J. (Alfred John) | An introduction to programming with S-algol / A.J. Cole & R. Morrison. |
1983 | QA76.73.A35 R43 1983. | Reference manual for the Ada programming language / United StatesDepartment of Defense. | |
1983 | QA76.73.B3 H33 1983. | Haigh, Roger W. | BASIC for microcomputers : Apple, TRS-80, PET / Roger W. Haigh, Loren E. Radford. |
1983 | QA76.73.B3 S575 1983. | Siragusa, Chris R. | Introduction to programming BASIC, a structured approach / Chris R. Siragusa. |
1983 | QA76.73.C25 P83 1983. | Pugh, John R. | Modern methods for COBOL programmers / John Pugh and Doug Bell. |
1983 | QA76.73.P2 D34 1983b. | Dale, Nell B. | Introduction to PASCAL and structured design / Nell Dale, David Orshalick. |
1983 | QA76.73.P2 P35 1983. | Pascal compiler validation / edited by Brian A. Wichmann and Z.J.Ciechanowicz. | |
1984 | QA76.73.B3 S83 1984. | Steiner, John P. | The standard BASIC dictionary for programming / John P. Steiner. |
1984 | QA76.73.B3 W65 1984. | Worland, Peter B. | Introduction to BASIC programming : a structured approach / PeterWorland. |
1984 | QA76.73.C15 B4. | Berry, R. E. (Robert Edward) | A book on C / R.E. Berry and B.A.E. Meekings. |
1984 | QA76.73.F24 B763 1984. | Brodie, Leo. | Thinking FORTH : a language and philosophy for solving problems /Leo Brodie. |
1984 | QA76.73.L23 W55 1984. | Wilensky, Robert | LISPcraft / Robert Wilensky. |
1984 | QA76.73.M5 C55 1984. | Clark, K. L. (Keith L.) | Micro-PROLOG : programming in logic / K.L. Clark and F.G.McCabe ; with contributions by M.H. van Emden ... [et al.] |
1984 | QA76.73.P2 F55 1984. | Flanders, Harley. | Scientific Pascal / Harley Flanders. |
1984 | QA76.73.P2 L39 1984. | Lecarme, Olivier. | PASCAL for programmers / Olivier Lecarme, Jean-Louis Nebut. |
1984 | QA76.73.P2 S58 1984. | Skvarcius, Romualdas. | Problem solving using Pascal : algorithm development and programming concepts / Romualdas Skvarcius. |
1984 | QA76.73.P2 W66 1984. | Wood, Derick | Paradigms and programming with PASCAL / Derick Wood. |
1984 | QA76.73.P76 I56 1984. | Implementations of Prolog / editor, J.A. Campbell. | |
1985 | QA76.73.A35 F74 1985. | Freedman, Roy S. | Programming with APSE software tools / Roy S. Freedman. |
1985 | QA76.73.B3 K44 1985. | Kemeny, John G. | Back to BASIC : the history, corruption, and future of the language / John G. Kemeny and Thomas E. Kurtz. |
1985 | QA76.73.B3 K45 1985. | Kemeny, John G. | True basic / John G. Kemeny, Thomas E. Kurtz ; reference manual, Brig Elliott. |
1985 | QA76.73.B3 K47 1985. | Kemeny, John G. | True basic / John G. Kemeny, Thomas E. Kurtz ; user's guide with instructions for the IBM PC, Ruth Tucker Bogart, Brig Elliott. |
1985 | QA76.73.L83 W33 1985. | Wadge, William W. | Lucid, the dataflow programming language / William W. Wadge, Edward A. Ashcroft. |
1985 | QA76.73.M63 G74 1985. | Greenfield, Stuart B. | Invitation to MODULA-2 / by Stuart B. Greenfield. |
1985 | QA76.73.M63 O36 1985. | Ogilvie, John W. L. | Modula-2 programming / John W.L. Ogilvie. |
1985 | QA76.73.M63 T43 1985. | Thalmann, Daniel. | MODULA-2 : an introduction / Daniel Thalmann. |
1985 | QA76.73.M63 W5713 1985. | Wirth, Niklaus. | Programming in Modula-2 / Niklaus Wirth. |
1985 | QA76.73.P2 J46 1985. | Jensen, Kathleen | Pascal user manual and report / Kathleen Jensen, Niklaus Wirth. |
1985 | QA76.73.P54 S73 1985. | Starkweather, John. | A user's guide to PILOT / John Starkweather. |
1985 | QA76.73.P76 D4 1985. | De Saram, Hugh | Programming in micro-PROLOG / Hugh de Saram ; illustrations by Kevin Chan. |
1986 | QA76.73.A27 M37 1986. | Mason, James A. | Learning APL : an array processing language / James A. Mason. |
1986 | QA76.73.B3 D39 1986. | Davis, William S. | True BASIC primer / William S. Davis ; [foreword by John G. Kemeny & Thomas E. Kurtz] |
1986 | QA76.73.C15 A66 1986. | Applied C / Strawberry Software, Inc. ; edited by Bonnie Derman. | |
1986 | QA76.73.F24 K45 1986. | Kelly, Mahlon G. | FORTH, a text and reference / Mahlon Kelly and Nicholas Spies. |
1986 | QA76.73.L63 L85 1986. | Lukas, George | Logo : principles, programming, and projects / George Lukas and Joan Lukas. |
1986 | QA76.73.M63 B45 1986. | Beidler, John | Modula-2 / John Beidler, Paul Jackowitz. |
1986 | QA76.73.M63 C494 1986. | Christian, Kaare | A guide to Modula-2 / Kaare Christian. |
1986 | QA76.73.M63 W54 1986. | Wiener, Richard | Modula-2 wizard : a programmer's reference / Richard S. Wiener. |
1986 | QA76.73.P2 F535 1986. | Finger, Susan. | Introduction to Pascal with applications in science and engineering / Susan Finger, Ellen Finger. |
1986 | QA76.73.P2 M67 1986. | Moser, Louise E. | Proverbs for programming in Pascal / Louise E. Moser, Andrew A. Turnbull. |
1986 | QA76.73.P76 S74 1986. | Sterling, Leon. | The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro. |
1987 | QA76.73.B3 K46 1987. | Kemeny, John G. | Structured BASIC programming / John G. Kemeny, Thomas E. Kurtz. |
1987 | QA76.73.C15 P884 1987. | Purdum, Jack J. (Jack Jay) | C standard library / Jack Purdum, Timothy C. Leslie. |
1987 | QA76.73.C15 W48 1987. | Wiatrowski, Claude A. | From C to Modula-2--and back, bridging the language gap / Claude A. Wiatrowski, Richard S. Wiener. |
1987 | QA76.73.F24 B76 1987. | Brodie, Leo. | Starting FORTH : an introduction to the FORTH language and operating system for beginners and professionals / Leo Brodie and Forth, Inc. ; with a foreword by Charles H. Moore. |
1987 | QA76.73.L23 F74 1987. | Friedman, Daniel P. | The little LISPer / Daniel P. Friedman and Matthias Felleisen ; illustrations by Duane Bibby. |
1987 | QA76.73.M63 M66 1987. | Moore, John B. | Modula-2 text and reference / John B. Moore, Kenneth N. McKay. |
1987 | QA76.73.P76 C57 1987. | Clocksin, W. F. (William F.) | Programming in Prolog / W.F. Clocksin, C.S. Mellish. |
1988 | QA76.73.B3 C665 1988. | Cooper, James William | Microsoft QuickBASIC for scientists : a guide to writing better programs / James W. Cooper. |
1988 | QA76.73.C15 D38 1988. | Davis, Stephen R. | Turbo C : the art of advanced program design, optimization, and debugging / Stephen R. Davis. |
1988 | QA76.73.C15 M85 1988. | Muldner, Tomasz. | C as a second language : for native speakers of Pascal / TomaszMuldner, Peter W. Steele. |
1988 | QA76.73.C15 W54 1988. | Wiener, Richard | Turbo C at any speed / Richard S. Wiener. |
1988 | QA76.73.C75 O4. | Olea, R. A. (Ricardo A.) | CORRELATOR - an interactive computer system for lithostratigraphic correlation of wireline logs / by Ricardo A.Olea. |
1988 | QA76.73.F86 D55 1988. | Diller, Antoni. | Compiling functional languages / Antoni Diller. |
1988 | QA76.73.H96 W45 1988. | Weiskamp, Keith. | Mastering HyperTalk / Keith Weiskamp, Namir Shammas ; foreword byScott Shwarts. |
1988 | QA76.73.L23 C65 1988. | COMMON LISP : the reference / Franz Inc. | |
1988 | QA76.73.L23 M84 1988. | Mueller, Robert A. | Symbolic computing with Lisp and Prolog / Robert A. Mueller, Rex L. Page. |
1988 | QA76.73.T85 T87 1988. | The Turing programming language : design and definition / RichardC. Holt ... [et al.] | |
1989 | QA76.73.A35 J66 1989. | Jones, Do-While. | Ada in action : with practical programming / by Do-While Jones. |
1989 | QA76.73.C15 S56 1989. | Smith, James T. | Advanced Turbo C / James T. Smith. |
1989 | QA76.73.F25 L475 1989. | Levesque, John M. | A guidebook to Fortran on supercomputers / John M. Levesque, JoelW. Williamson. |
1989 | QA76.73.F86 M33 1989. | MacLennan, Bruce J. | Functional programming : practice and theory / Bruce J.MacLennan. |
1989 | QA76.73.P2 R825 1989. | Rugg, Tom. | Turbo Pascal programmer's toolkit / Tom Rugg, Phil Feldman. |
1990 | QA76.73.C15 F442 1990. | Feibel, Werner. | QuickC : the complete reference / Werner Feibel. |
1990 | QA76.73.L23 J66 1990. | Jones, Robin. | The art of Lisp programming / Robin Jones, Clive Maynard, Ian Stewart. |
1990 | QA76.73.L23 S72 1990. | Stark, W. Richard. | LISP, lore, and logic : an algebraic view of LISP programming, foundations, and applications / W. Richard Stark. |
1990 | QA76.73.L23 S73 1990. | Steele, Guy L. | COMMON LISP : the language / Guy L. Steele, Jr. |
1990 | QA76.73.M6 M55 1990. | Milner, R. (Robin) | The definition of Standard ML / Robin Milner, Mads Tofte, and Robert Harper. |
1990 | QA76.73.P76 K33 1990. | Kacsuk, Peter. | Execution models of Prolog for parallel computers / Peter Kacsuk. |
1990 | QA76.73.P76 O38 1990. | O'Keefe, Richard A. | The craft of Prolog / Richard A. O'Keefe. |
1990 | QA76.73.S59 L35 1990. | LaLonde, Wilf R. | Inside Smalltalk / Wilf R. LaLonde, John R. Pugh. |
1991 | QA76.73.P35 F45 1991. | Feibel, Werner. | Turbo Pascal 6 DiskTutor / Werner Feibel. |
1991 | QA76.73.P76 S36 1991. | Scott, Peter. | Cognitive science projects in Prolog / Peter Scott and Rod Nicolson. |
1991 | QA76.73.S59 S53 1991. | Shafer, Dan A. | Practical Smalltalk : using Smalltalk/V / Dan Shafer, Dean A. Ritz. |
1992 | QA76.73.C153 M333 1992. | McCord, James. | Developing Windows applications with Borland C++ 3.1 / James W. McCord. |
1992 | QA76.73.C153 P47 1992. | Perry, Greg M. | Moving from C to C++ / Greg Perry. |
1992 | QA76.73.C153 S38 1992. | Sedgewick, Robert | Algorithms in C++ / Robert Sedgewick. |
1993 | QA76.73.C15 E96 1993. | The evolution of C++ : language design in the marketplace of ideas / edited by Jim Waldo. | |
1993 | QA76.73.C15 L57 1993. | Lippman, Stanley B. | C++ primer / Stanley B. Lippman. |
1994 | QA76.73.C153 .W46 1994. | Weiss, Mark Allen. | Data structures and algorithm analysis in C++ / Mark Allen Weiss. |
1995 | QA76.73 .J38 1995. | Ritchey, Tim. | Java! / Tim Ritchey. |
1995 | QA76.73.C15 H38 1995. | Harbison, Samuel P. | C, a reference manual / Samuel P. Harbison, Guy L. Steele, Jr. |
1995 | QA76.73.C153 P684 1995. | Pothering, George. | Introduction to data structures and algorithm analysis with C++ /George J. Pothering, Thomas L. Naps. |
1995 | QA76.73.S44 A56 1995. | Alschuler, Liora. | ABCD-- SGML : a user's guide to structured information / Liora Alschuler. |
1995 | QA76.73.S59 S58 1995. | Skublics, Suzanne. | Smalltalk with style / Edwarad J. Klimas, Suzanne Skublics, DavidA. Thomas ; [illustrations by Kathryn Finter] |
1996 | QA76.73.C153 C47 1996. | Chapman, Nigel P. | The late night guide to C++ / Nigel Chapman ; [illustrations by Jenny Chapman] |
1996 | QA76.73.J38 C47 1996. | Chan, Patrick | The Java class libraries : an annotated reference / Patrick Chan and Rosanna Lee. |
1996 | QA76.73.J38 F73 1996. | Fraizer, Colin | Java API reference / Colin Frazer, Jill Bond. |
1996 | QA76.73.J38 G67 1996. | Gosling, James. | The Java application programming interface / James Gosling, FrankYellin, the Java team. |
1996 | QA76.73.J38 G671 1996. | Gosling, James. | The Java language specification / James Gosling, Bill Joy, Guy Steele. |
1997 | QA76.73.J38 A66 1997. | Appel, Andrew W. | Modern compiler implementation in Java : basic techniques / Andrew W. Appel. |
1997 | QA76.73.J38 J47 1997. | Jepson, Brian | Java database programming / Brian Jepson. |
1997 | QA76.73.J38 L4 1997. | Lea, Douglas. | Concurrent programming in Java : design principles and patterns /Doug Lea. |
1997 | QA76.73.J38 L56 1997. | Lindholm, Tim | The Java virtual machine specification / Tim Lindholm, Frank Yellin. |
1998 | QA76.73.J38 A76 1998. | Arnold, Ken | The Java programming language / Ken Arnold, James Gosling. |
1998 | QA76.73.J38 H375 1998. | Hartley, Stephen J. | Concurrent programming : the Java progamming language / StephenJ. Hartley. |
1998 | QA76.73.M6 F45 1998. | Felleisen, Matthias. | The little MLer / Matthisa Felleisen, Daniel P. Friedman ; drawings by Duane Bibby ; foreword by Robin Milner. |
1999 | QA76.73.O215 V37 1999. | Van Hentenryck, Pascal. | The OPL optimization programming language / Pascal Van Hentenryck; with contributions by Irvin Lustig, Laurent Michel, and Jean-Francois Puget. |
Computer Software: General Works | |||
1987 | QA76.754 .M55 1987. | Miller, Webb. | A software tools sampler / Webb Miller. |
1990 | QA76.754 .T78 1990. | Truett, Carol | Microcomputer software sources : a guide for buyers, librarians, programmers, businesspeople, and educators / Carol Truett. |
1991 | QA76.754 .K34 1991. | Kaliski, Martin E. | The software sleuth / Martin E. Kaliski, Burton S. Kaliski, Jr. |
1995 | QA76.754 .F86 1995. | The Future of software / edited by Derek Leebaert. | |
Software Engineering | |||
1991 | QA76.758 .B67 1991. | Borenstein, Nathaniel S. | Programming as if people mattered : friendly programs, software engineering, and other noble delusions / Nathaniel S. Borenstein. |
1991 | QA76.758 .D37 1991. | Darnell, Peter A. | C: a software engineering approach / Peter A. Darnell, Philip E. Margolis. |
1991 | QA76.758 .F73 1991. | Frakes, William B. (William Bruce) | Software engineering in the UNIX/C environment / William B. Frakes, Christopher J. Fox, Brian A. Nejmeh. |
1992 | QA76.758 .N68 1992. | Norris, Mark. | Software engineering explained / Mark Norri and Peter Rigby. |
1996 | QA76.758 .E554 1996. | Ellis, Rod | Data abstraction and program design : from object-based toobject-oriented programming / Rod Ellis. |
Compilers | |||
1986 | QA76.76.C65 A37 1987. | Aho, Alfred V. | Compilers, principles, techniques, and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. |
1988 | QA76.76.C65 F57 1988. | Fischer, Charles N. | Crafting a compiler / Charles N. Fischer, Richard J. LeBlanc, Jr. |
1989 | QA76.76.C65 L44 1989. | Lee, Peter | Realistic compiler generation / Peter Lee. |
1990 | QA76.76.C65 H65 1990. | Holub, Allen I. | Compiler design in C / Allen I. Holub. |
1992 | QA76.76.C65 P57 1992. | Pittman, Thomas. | The art of compiler design : theory and practice / ThomasPittman, James Peters. |
Computer Viruses | |||
1989 | QA76.76.C68 F57 1989. | Fites, Philip E. | The computer virus crisis / Philip Fites, Peter Johnston, Martin Kratz. |
1989 | QA76.76.C68 M38 1989. | McAfee, John. | Computer viruses, worms, data diddlers, killer programs, and other threats to your system : what they are, how they work, and how to defend your PC, Mac, or mainframe / John McAfee and Colin Haynes ; foreword by John C. Dvorak. |
1990 | QA76.76.C68 H78 1990. | Hruska, Jan | Computer viruses and anti-virus warfare / Jan Hruska. |
Software Development | |||
1986 | QA76.76.D47 S73 1986. | Statland, Norman. | Controlling software development : a guide for information resource managers / Norman Statland. |
1987 | QA76.76.D47 B33 1988. | Baber, Robert Laurence. | The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber. |
1992 | QA76.76.D47 O24 1992. | Jacobson, Ivar. | Object-oriented software engineering : a use case driven approach/ Ivar Jacobson ... [et al.] |
1993 | QA76.76.D47 L67 1993. | Lorenz, Mark. | Object-oriented software development : a practical guide / Mark Lorenz. |
1996 | QA76.76.D47 B745 1996. | Bringing design to software / edited by Terry Winograd ... [etal.] | |
1996 | QA76.76.D47 I555 1996. | The international computer software industry : a comparative study of industry evolution and structure / edited by David C. Mowery. | |
1999 | QA76.76.D47 B655 1999. | Booch, Grady. | The unified modeling language user guide / Grady Booch, James Rumbaugh, Ivar Jacobson. |
1999 | QA76.76.D47 J35 1999. | Jacobson, Ivar. | The unified software development process / Ivar Jacobson, Grady Booch, James Rumbaugh. |
1999 | QA76.76.D47 R86 1999. | Rumbaugh, James. | The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson, Grady Booch. |
Expert Systems | |||
1985 | QA76.76.E95 B76 1985. | British Computer Society. Specialist Group on Expert Systems. Technical Conference (5th : 1985 : University of Warwick) | Expert systems 85 : proceedings of the Fifth Technical Conferenceof the Br itish Computer Society, Specialist Group on Expert Systems, University of Warwick, 17-19 December 1985 / [Martin Merry, programme chairman] |
1986 | QA76.76.E95 H37 1986. | Hart, Anna. | Knowledge acquisition for expert systems / Anna Hart. |
1986 | QA76.76.E95 J33 1986. | Jackson, Peter | Introduction to expert systems / Peter Jackson. |
1986 | QA76.76.E95 O5 1986. | On knowledge base management systems : integrating artificial intelligence and database technologies / edited by Michael L. Brodie, John Mylopoulos. | |
1987 | QA76.76.E95 B77 1987. | Brown, David C. | Design problem-solving : knowledge structures and control strategies / David C. Brown, B. Chandrasekaran. |
1987 | QA76.76.E95 C57 1987. | Clancey, William J. | Knowledge-based tutoring : the GUIDON program / William J. Clancey. |
1987 | QA76.76.E95 K554 1987. | Knowledge acquisition for expert systems : a practical handbook /edited by Alison L. Kidd. | |
1987 | QA76.76.E95 S58 1987. | Slatter, P. E. (Philip Edward) | Building expert systems : cognitive emulation / P.E. Slatter ; special adviser, J. Campbell. |
1988 | QA76.76.E95 B54 1988. | Bielawski, Larry. | Expert systems development : building PC-based applications / Larry Bielawski, Robert Lewand. |
1988 | QA76.76.E95 C55. | Cleal, D. M. (David Murray) | Knowledge-based systems : implications for human-computer interfaces / D.M. Cleal and N.O. Heaton. |
1988 | QA76.76.E95 E34 1988. | Edmunds, Robert A. | The Prentice Hall guide to expert systems / Robert A. Edmunds. |
1988 | QA76.76.E95 E985 1988. | Expert systems : the user interface / edited by James A. Hendler. | |
1988 | QA76.76.E95 W36 1988. | Walters, John | Crafting knowledge-based systems : expert systems made easy realistic / John R. Walters, Norman R. Nielsen. |
1989 | QA76.76.E95 J34 1989. | Jackson, Peter | Logic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen. |
1990 | QA76.76.E95 E9764 1990. | Expert systems : human issues / edited by Dianne Berry and Anna Hart. | |
1990 | QA76.76.E95 P29 1990. | Payne, Edmund C. | Developing expert systems : a knowledge engineer's handbook for rules & objects / Edmund C. Payne, Robert C. McArthur. |
1991 | QA76.76.E95 B25 1991. | Bahill, Terry. | Verifying and validating personal computer-based expert systems /A. Terry Bahill. |
1991 | QA76.76.E95 G789 1991. | Grzymala-Busse, Jerzy W. | Managing uncertainty in expert systems / by Jerzy W. Grzymala- Busse. |
1992 | QA76.76.E95 K67 1992. | Kosko, Bart. | Neural networks and fuzzy systems : a dynamical systems approach to machine intelligence / Bart Kosko. |
1993 | QA76.76.E95 C64 1993. | Coenen, Frans. | Maintenance of knowledge-based systems : theory, techniques and tools / Frans Coenen and Trevor Bench-Capon. |
1993 | QA76.76.E95 S383 1993. | Schoenhoff, Doris M. | The barefoot expert : the interface of computerized knowledge systems and indigenous knowledge systems / Doris M.Schoenhoff ; foreword by Walter J. Ong. |
1996 | QA76.76.E95 A38 1996. | Advances in knowledge discovery and data mining / edited by UsamaM. Fayyad ... [et al.] | |
1996 | QA76.76.E95 K375 1996. | Kasabov, Nikola K. | Foundations of neural networks, fuzzy systems, and knowledge engineering / Nikola K. Kasabov. |
1996 | QA76.76.E95 S486 1996. | Shafer, Glenn | Probabilistic expert systems / Glenn Shafer. |
Hypertext Systems | |||
1989 | QA76.76.H94 M38 1989. | McAleese, Ray. | Hypertext : theory into practice / Ray McAleese. |
1990 | QA76.76.H94 E76 1990. | European Conference on Hypertext (1st : 1990 : INRIA) | Hypertext : concepts, systems and applications : proceedings of the First European Conference on Hypertext, INRIA, France, November 1990 / e dited by N. Streitz, A. Rizk and J. Andre. |
1990 | QA76.76.H94 H37 1990. | Harrington, Richard | IBM LinkWay : hypermedia for the PC / Richard Harringtron, Bill Fancher, Peter Black. |
1990 | QA76.76.H94 M27 1990. | Martin, James | Hyperdocuments and how to create them / James Martin. |
1990 | QA76.76.H94 N54 1990. | Nielsen, Jakob | Hypertext and hypermedia / Jakob Nielsen. |
1992 | QA76.76.H92 S63 1992. | Sociomedia : multimedia, hypermedia, and the social construction of knowledge / edited by Edward Barrett. | |
1995 | QA76.76.H94 G73 1995. | Graham, Ian S. | The HTML sourcebook / Ian S. Graham. |
1995 | QA76.76.H94 T73 1995. | Travis, Brian E. | The SGML implementation guide : a blueprint for SGML migration / Brian E. Travis, Dale C. Waldt. |
1997 | QA76.76.H94 M88 1997. | Musciano, Chuck. | HTML, the definitive guide / Chuck Musciano and Bill Kennedy. |
Intelligent Agents | |||
1997 | QA76.76.I58 L46 1997. | Leonard, Andrew | Bots : the origin of new species / Andrew Leonard. |
1997 | QA76.76.I58 S64 1997. | Software agents / edited by Jeffrey M. Bradshaw. | |
Interactive Multimedia: Hypermedia | |||
1994 | QA76.76.I59 C675 1994. | Cotton, Bob. | The cyberspace lexicon : an illustrated dictionary of terms from multimedia to virtual reality / Bob Cotton and Richard Oliver. |
1997 | QA76.76.I59 G56 1997. | Gloor, Peter A. (Peter Andreas) | Elements of hypermedia design : techniques for navigation & visualization in cyberspace / Peter Gloor. |
1997 | QA76.76.I59 M87 1997. | Murray, Janet Horowitz | Hamlet on the holodeck : the future of narrative in cyberspace / Janet H. Murray. |
Operating Systems | |||
1985 | QA76.76.O63 D86 1985. | Dunsmuir, M. R. M. | Programming the UNIX system / M.R.M. Dunsmuir and G.J. Davies. |
1987 | QA76.76.O63 M335 1987. | Maekawa, M. (Mamoru) | Operating systems : advanced concepts / Mamoru Maekawa, Arthur E.Oldehoeft, Rodney R. Oldehoeft. |
1987 | QA76.76.O63 T38 1987. | Tare, Ramkrishna S. | UNIX utilities / Ramkrishna S. Tare. |
1988 | QA76.76.O63 L36 1988. | Lane, Malcolm G. | A practical approach to operating systems / Malcolm G. Lane, James D. Mooney. |
1989 | QA76.76.O63 M525 1989. | Mikes, Steven. | UNIX for MS-DOS programmers / Steven Mikes. |
1990 | QA76.76.O63 A534 1990. | Andleigh, Prabhat K. | UNIX systems architecture / Prabhat K. Andleigh. |
1993 | QA76.76.O63 U83 1993. | User's guide : Microsoft MS-DOS 6 for the MS-DOS operatingsystem. | |
1994 | QA76.76.O63 P44 1994. | Peek, Jerry D. | UNIX power tools / Jerry Peek, Tim O'Reilly, Mike Loukides ; and other authors of the Nutshell handbooks, including LindaMui ... [et al.] |
1994 | QA76.76.O63 S656 1994. | Southerton, Alan. | The UNIX and X command compendium : a dictionary for high- level computing / Alan Southerton, Edwin C. Perkins, Jr. |
1995 | QA76.76.O63 W3547 1995. | The Waite Group's UNIX communications and the Internet / Bart Anderson ... [et al.] | |
1997 | QA76.76.O63 B645 1997. | Bott, Ed. | Using Windows 95 / Ed Bott. |
1997 | QA76.76.O63 O344 1997. | The big basics book of Windows 95 / by Shelley O'Hara... [et al.] | |
1997 | QA76.76.O63 R39 1997. | Rathbone, Andy. | Windows 95 for dummies / by Andy Rathbone. |
1997 | QA76.76.O63 S59 1997. | Snyder, Janice A. | Windows 95 quick reference / written by Janice A. Snyder. |
1998 | QA76.76.O63 H474 1998. | Henriksen, Gene. | Windows NT and UNIX integration / Gene Henriksen. |
1998 | QA76.76.O63 J635 1998. | Johnson, Michael K. | Linux application development / Michael K. Johnson, Erik W.Troan. |
Protection of Software | |||
1989 | QA76.76.P76 P76 1989. | The Protection of computer software : its technology and applications / edited by Derrick Grover. | |
Quality Control | |||
1987 | QA76.76.Q35 H36 1987. | Handbook of software quality assurance / edited by G. Gordon Schulmeyer and James I. McManus. | |
Reusability | |||
1989 | QA76.76.R47 S64 1989. | Software reusability / edited by Ted J. Biggerstaff, Alan J. Perlis. | |
Software Maintenance | |||
1997 | QA76.76.S64 D4 1997. | De Jager, Peter. | Managing 00 : surviving the year 2000 computing crisis / Peter deJager, Richard Bergeon. |
1997 | QA76.76.S64 Z48 1997. | Zetlin, Minda. | The computer time bomb : how to keep the century date change fromkilling your organization / Minda Zetlin. |
Translators | |||
1988 | QA76.76.T83 C35 1988. | Calingaert, Peter. | Program translation fundamentals : methods and issues / Peter Calingaert. |
Verification and Validation | |||
1986 | QA76.76.V47 S66 1986. | Software validation, verification, testing, and documentation / edited by Stephen J. Andriole. | |
1995 | QA76.76.W56 W564 1995. | Windows 95 [video Recording] / produced at Greg Rike Productions, Inc. in cooperation with Florida Marketing International, Inc. | |
1998 | QA76.76.W56 O7 1998. | O'Reilly, Tim. | Windows 95 in a nutshell : a quick desktop reference / Tim O'Reilly & Troy Mott. |
Special Computers, Systems and Microprocessors | |||
1968 | QA76.8.B6 .C3 1968. | University of California, Los Angeles. Health Sciences Computing Facility. | BMD; biomedical computer programs. W.J. Dixon, editor. |
1974 | QA76.8.I12 S77 1974. | Sterbenz, Pat H. | Floating-point computation [by] Pat H. Sterbenz. |
1975 | QA76.8.P2 E26. | Eckhouse, Richard H. | 1940- |
1983 | QA76.8.N7 A43 1983. | Alford, Roger C. | The NSC800 microprocessor cookbook / by Roger C. Alford. |
1983 | QA76.8.S635 G64 1983. | Goldberg, Adele. | Smalltalk-80 : the language and its implementation / Adele Goldberg and David Robson. |
1984 | QA76.8.I1015 P83 1984. | Pugh, Emerson W. | Memories that shaped an industry : decisions leading to IBM system/360 / Emerson W. Pugh. |
1984 | QA76.8.I2594 B7 1984. | Bradley, David J. | Assembly language programming for the IBM Personal Computer / David J. Bradley. |
1984 | QA76.8.I292 L58 1984. | Liu, Yu-cheng. | Microcomputer systems : the 8086/8088 family : architecture, programming, and design / Yu-cheng Liu and Glenn A. Gibson. |
1985 | QA76.8.I2594 N68 1985. | Norton, Peter | Programmers' guide to the IBM PC. The Peter Norton Programmer's guide to the IBM PC. |
1985 | QA76.8.M3 R67 1985. | Rose, Caroline. | Inside Macintosh / [written by Caroline Rose with BradleyHacker ... et al.] |
1986 | QA76.8.I1015 I245 1986. | IBM's early computers / Charles J. Bashe ... [et al.] | |
1986 | QA76.8.I2594 S27 1986. | Sargent, Murray. | The IBM personal computer from the inside out / Murray Sargent III and Richard L. Shoemaker. |
1987 | QA76.8.I2594 A236 1987. | Abel, Peter | IBM PC assembler language and programming / Peter Abel. |
1987 | QA76.8.I2594 A48 1987. | Ammeraal, L. (Leendert) | Computer graphics for the IBM PC / L. Ammeraal. |
1987 | QA76.8.I2594 P88 1988. | Putman, Byron W. | Microcomputer hardware, operation, and troubleshooting with IBM PC applications / Byron W. Putman. |
1987 | QA76.8.I2684 M67 1987. | Morse, Stephen P. | The 80386/387 architecture / Stephen P. Morse, Eric J. Isaacson, Douglas J. Albert. |
1987 | QA76.8.M87 B33 1987. | Baba, Takanobu | Microprogrammable parallel computer : MUNAP and itsapplications / Takanobu Baba. |
1987 | QA76.8.U6 L86 1987. | Lundstrom, David E. | A few good men from Univac / David E. Lundstrom. |
1988 | QA76.8.I1015 A46 1988. | Ammeraal, L. (Leendert) | Interactive 3D computer graphics / Leendert Ammeraal. |
1988 | QA76.8.I2594 P474 1988. | Petzold, Charles | Programming Windows : the Microsoft guide to programming for the MS-DOS Presentation Manager, Windows 2.0 and Windows/386 / Charles Petzold. |
1989 | QA76.8.I2927 F6613 1989. | Fontaine, A. B. (Alain B.) | Microprocesseurs 80286/80386. English. 80286 and 80386 microprocessors : new PC architectures / A.B. Fontaine and F. Barrand ; translated by A. Rawstho rne. |
1991 | QA76.8.I12 P84 1991. | Pugh, Emerson W. | IBM's 360 and early 370 systems / Emerson W. Pugh, Lyle R. Johnson, and John H. Palmer. |
1991 | QA76.8.I2684 E34 1991. | Edelhart, Mike. | Intel's official guide to 386 computing / Michael Edelhart. |
1992 | QA76.8.M3 B8 1992. | Burns, Diane. | Designers on Mac / produced by Takenobu Igarashi ; text by Diane Burns. |
1993 | QA76.8.N49 G37 1993. | Garfinkel, Simson. | NeXTSTEP programming : step one, object-oriented applications / Simson L. Garfinkel, Michael K. Mahoney. |
1994 | QA76.8.M3 L487 1994. | Levy, Steven. | Insanely great : the life and times of Macintosh, the computer that changed everything / Steven Levy. |
1998 | QA76.8.I93 G76 1998. | Gross, Thomas | iWarp : anatomy of a parallel computing system / Thomas Gross andDavid R. O'Hallaron. |
Fifth Generation Computers | |||
1987 | QA76.85 .U54 1987. | Unger, J. Marshall. | The fifth generation fallacy : why Japan is betting its future onartificial intelligence / J. Marshall Unger. |
Neural Computers. Neural Networks | |||
1991 | QA76.87 .K67 1991. | Korn, Granino Arthur | Neural network experiments on personal computers and workstations/ Granino A. Korn. |
1992 | QA76.87 .J83 1992. | Jubak, Jim. | In the image of the brain : breaking the barrier between the human mind and intelligent machines / Jim Jubak. |
1992 | QA76.87 .L49 1992. | Levy, Steven. | Artificial life : the quest for a new creation / Steven Levy. |
1993 | QA76.87 .C54 1993. | Cleeremans, Axel. | Mechanisms of implicit learning : connectionist models of sequence processing / Axel Cleeremans. |
1994 | QA76.87 .F72 1994. | Freeman, James A. | Simulating neural networks with Mathematica / James A. Freeman. |
1994 | QA76.87 .H39 1994. | Haykin, Simon S. | Neural networks : a comprehensive foundation / Simon Haykin. |
1994 | QA76.87 .H66 1994. | Honavar, Vasant. | Artificial intelligence and neural networks : steps toward principled integration / edited by Vasant Honavar, Leonard Uhr. |
1998 | QA76.87 .C685 1998. | Cotterill, Rodney | Enchanted looms : conscious networks in brains and computers / Rodney Cotterill. |
1998 | QA76.87 .G377 1998. | Garson, G. David. | Neural networks : an introductory guide for social scientists /G. David Garson. |
1998 | QA76.87 .T37 1998. | Talking nets : an oral history of neural networks / edited by James A. Anderson and Edward Rosenfeld. | |
1999 | QA76.87 .P85 1999. | Pulsed neural networks / edited by Wolfgang Maass, Christopher M.Bishop. | |
1999 | QA76.87 .R44 1999. | Reed, Russell D. | Neural smithing : supervised learning in feedforward artificial neural networks / Russell D. Reed and Robert J. Marks II. |
Supercomputers. High Performance Computing | |||
1992 | QA76.88 .K38 1992. | Kaufmann, William J. | Supercomputing and the transformation of science / William J. Kaufmann III, Larry L. Smarr. |
Petaflops Computers | |||
1995 | QA76.885 .S74 1995. | Sterling, Thomas Lawrence. | Enabling technologies for Petaflops computing / Thomas Sterling, Paul Messina, and Paul H. Smith. |
Other Topics | |||
1983 | QA76.9.A25 C79 1982. | CRYPTO 82 (1982 : University of California, Santa Barbara) | Advances in cryptology : proceedings of CRYPTO 82 / edited by David Chaum, Ronald L. Rivest, and Alan T. Sherman. |
1984 | QA76.9.A25 C67 1984. | Cooper, James Arlin. | Computer-security technology / James Arlin Cooper. |
1984 | QA76.9.A25 C79 1983. | CRYPTO 83 (1983 : University of California, Santa Barbara) | Advances in cryptology : proceedings of Crypto 83 / edited by David Chaum. |
1990 | QA76.9.A25 C667 1991. | Computers under attack : intruders, worms, and viruses / edited by Peter J. Denning. | |
1991 | QA76.9.A25 C6663 1991. | Computers at risk : safe computing in the information age / System Security Study Committee, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and App lications, National Research Council. | |
1991 | QA76.9.A25 H34 1991. | Hafner, Katie. | Cyberpunk : outlaws and hackers on the computer frontier / Katie Hafner and John Markoff. |
1993 | QA76.9.A25 B54 1993. | Biham, Eli. | Differential cryptanalysis of the data encryption standard / Eli Biham, Adi Shamir. |
1997 | QA76.9.A25 M463 1997. | Menezes, A. J. (Alfred J.) | Handbook of applied cryptography / Alfred J. Menezes, Paul C. vanOorschot, Scott A. Vanstone. |
1997 | QA76.9.A25 T43 1997. | Technology and privacy : the new landscape / edited by Philip E. Agre and Marc Rotenberg. | |
1998 | QA76.9.A25 C783 1998. | Cracking DES : secrets of encryption research, wiretap politics &chip design / Electronic Frontier Foundation. | |
1998 | QA76.9.A25 L83 1998. | Lubbe, J. C. A. van der (Jan C. A.) | Basismethoden cryptografie. English. Basic methods of cryptography / Jan C.A. van der Lubbe ; translated by Steve Gee. |
Algorithms | |||
1992 | QA76.9.A43 K69 1992. | Kozen, Dexter | The design and analysis of algorithms / Dexter C. Kozen. |
1994 | QA76.9.A43 C67 1994. | Computer algorithms : string pattern matching strategies / [edited by] Jun-ichi Aoe. | |
1994 | QA76.9.A43 M53 1994. | Michalewicz, Zbigniew. | Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz. |
1996 | QA76.9.A43 C56 1996. | Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13 1993 | |
Computer Architecture | |||
1978 | QA76.9.A73 L56 1979. | Lippiatt, Arthur | The architecture of small computer systems / Arthur G. Lippiatt. |
1980 | QA76.9.A73 B33. | Baer, Jean Loup. | Computer systems architecture / Jean-Loup Baer. |
1980 | QA76.9.A73 G37. | Garside, R. G. | The Architecture of digital computers / R. G. Garside. |
1980 | QA76.9.A73 G67 1980. | Gorsline, G. W. | Computer organization : hardware/software / G. W. Gorsline. |
1982 | QA76.9.A73 C65. | Computer structures : principles and examples / [edited by] Daniel P. Siewiorek, C. Gordon Bell, Allen Newell. | |
1982 | QA76.9.A73 L67 1982. | Lorin, Harold. | Introduction to computer architecture and organization / Harold Lorin. |
1982 | QA76.9.A73 P47. | Pfleeger, Charles P. | Machine organization : an introduction to the structure and programming of computing systems / Charles P. Pfleeger. |
1986 | QA76.9.A73 L3. | Laird, John | Soar : an architecture for general intelligence / John E. Laird, Allen Newell, Paul S. Rosenbloom. |
1990 | QA76.9.A73 D39 1990. | Dayhoff, Judith E. | Neural network architectures : an introduction / Judith E. Dayhoff. |
1991 | QA76.9.A73 C37 1988. | Carnegie Symposium on Cognition (22nd : 1988 : Carnegie-Mellon University) | Architectures for intelligence / the Twenty-second Carnegie Symposium on Cognition ; edited by Kurt Van Lehn. |
1992 | QA76.9.A73 I565 1992. | International Conference on Architectural Support for ProgrammingLanguages and Operating Systems (5th : 1992 : Boston, Mass.) | ASPLOS-V proceedings : Fifth International Conference on Architectur al Support for Programming Languages and Operating Systems, Boston, Massachusetts, October 12-15 1992 |
Automatic Theorem Proving | |||
1979 | QA76.9.A96 B68. | Boyer, Robert S. | A computational logic / Robert S. Boyer and J. Strother Moore. |
1984 | QA76.9.A96 A93 1984. | Automated reasoning : introduction and applications / LarryWos ... [et al.] | |
1986 | QA76.9.A96 G35 1986. | Gallier, Jean H. | Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. |
1989 | QA76.9.A96 M37 1989. | McAllester, David A. | Ontic : a knowledge representation system for mathematics / DavidA. McAllester. |
Bulletin Boards | |||
1994 | QA76.9 .B84 W58 1994. | Wittig, Rob. | Invisible rendezvous : connections and collaboration in the new landscape of electronic writing / Rob Wittig for IN.S.OMNIA. |
1996 | QA76.9 .B84 D52. | Dial up! Gale's bulletin board locator. | |
1997 | QA76.9 .B84 H6. | How to access the government's electronic bulletin boards. | |
Computer Arithmetic | |||
1985 | QA76.9.C62 S38 1985. | Scott, Norman R. (Norman Ross) | Computer number systems and arithmetic / Norman R. Scott. |
Computer Literacy | |||
1983 | QA76.9.C64 L65 1983. | Lombardi, John V. | Computer literacy : the basic concepts and language / John V. Lombardi. |
1986 | QA76.9.C64 S56 1986. | Shore, John. | The Sachertorte algorithm and other antidotes to computer anxiety/ John Shore. |
Computer Simulation | |||
1975 | QA76.9.C65 O7. | Ord-Smith, R. J. | Computer simulation of continuous systems / R. J. Ord-Smith andJ. Stephenson. |
1977 | QA76.9.C65 L44. | Lehman, Richard S. | Computer simulation and modeling : an introduction / Richard S. Lehman. |
1977 | QA76.9.C65 S64. | Smith, Jon M. | Mathematical modeling and digital simulation for engineers and scientists / Jon M. Smith. |
1980 | QA76.9.C65 M37. | Maryanski, Fred. | Digital computer simulation / Fred Maryanski. |
1982 | QA76.9.C65 P39 1982. | Payne, James A. (James Andrew) | Introduction to simulation : programming techniques and methods of analysis / James A. Payne. |
1983 | QA76.9.C65 B73 1983. | Bratley, Paul. | A guide to simulation / Paul Bratley, Bennett L. Fox, Linus E. Schrage. |
1984 | QA76.9.C65 O5 1984. | On conceptual modelling : perspectives from artificial intelligence, databases, and programming languages / edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt. | |
1988 | QA76.9.C65 C656 1988. | Computer simulation and computer algebra : lectures for beginners/ D. Stauffer ... [et al.] | |
1988 | QA76.9.C65 S975 1988. | Systems modeling and computer simulation / edited by Naim A. Kheir. | |
1996 | QA76.9.C65 C38 1996. | Casti, J. L. | Would-be worlds : how simulation is changing the frontiers of science / John L. Casti. |
1996 | QA76.9.C65 M393 1996. | McCullough, Malcolm. | Abstracting craft : the practiced digital hand / Malcolm McCullough. |
1997 | QA76.9.C65 D36 1997. | Danby, J. M. A. | Computer modeling : from sports to spaceflight-- from order to chaos / J.M.A. Danby. |
Computers and Children | |||
1998 | QA76.9.C659 H43 1998. | Healy, Jane M. | Failure to connect : how computers affect our children's minds-- for better and worse / Jane M. Healy. |
Computers and Civilization | |||
1979 | QA76.9.C66 B37 1979. | Barron, Iann. | The future with microelectronics : forecasting the effects of information technology / Iann Barron, Ray Curnow. |
1979 | QA76.9.C66 C63. | The Computer age : a twenty-year view / edited by Michael L. Dertouzos and Joel Moses. | |
1980 | QA76.9.C66 C654. | The Computer's impact on society : humanistic perspectives / edited by Walter M. Mathews. | |
1980 | QA76.9.C66 N6713. | Nora, Simon. | Informatisation de la societe. English. The computerization of society : a report to the President of France / Simon Nora and Alain Minc. |
1983 | QA76.9.C66 F7 1983. | Frates, Jeffrey. | Computers and life : an integrative approach / Jeffrey Frates, William Moldrup. |
1983 | QA76.9.C66 S83 1983. | Stern, Nancy B. | Computers in society / Nancy Stern, Robert A. Stern. |
1984 | QA76.9.C66 B64 1984. | Bolter, J. David | Turing's man : western culture in the computer age / by J. David Bolter. |
1984 | QA76.9.C66 I56 1984. | Inose, Hiroshi | Information technology and civilization / Hiroshi Inose, John R. Pierce ; with a foreword by Koji Kobayashi. |
1985 | QA76.9.C66 S55 1985. | Simons, G. L. (Geoffrey Leslie) | Silicon shock : the menace of the computer invasion / Geoff Simons. |
1986 | QA76.9.C66 P76 1986. | Provenzo, Eugene F. | Beyond the Gutenberg galaxy : microcomputers and the emergence ofpost-typographic culture / Eugene F. Provenzo, Jr. |
1986 | QA76.9.C66 R66 1986. | Roszak, Theodore | The cult of information : the folklore of computers and the true art of thinking / Theodore Roszak. |
1987 | QA76.9.C66 F66 1987. | Forester, Tom. | High-tech society : the story of the information technology revolution / Tom Forester. |
1987 | QA76.9.C66 I526 1987. | Information technology & people : designing for the future / edited by Frank Blackler and David Oborne. | |
1987 | QA76.9.C66 S549 1987. | Simons, G. L. (Geoffrey Leslie) | Eco-computer : the impact of global intelligence / Geoff Simons. |
1988 | QA76.9.C66 P34 1988. | Pagels, Heinz R. | The dreams of reason : the computer and the rise of the sciences of complexity / Heinz R. Pagels. |
1989 | QA76.9.C66 P46 1989. | Penzias, Arno A. | Ideas and information : managing in a high-tech world / Arno Penzias. |
1990 | QA76.9.C66 C6575 1990. | Computers, ethics, and society / [edited by] M. David Ermann, Mary B. Williams, Claudio Gutierrez. | |
1990 | QA76.9.C66 J46 1990. | Jennings, Karla. | The devouring fungus : tales of the computer age / KarlaJennings. |
1990 | QA76.9.C66 S29 1990. | Saxby, Stephen. | The age of information : the past development and future significance of computing and communications / Stephen Saxby. |
1991 | QA76.9.C66 B375 1991. | Barry, John A. | Technobabble / John A. Barry. |
1991 | QA76.9.C66 C6377 1991. | Computerization and controversy : value conflicts and social choices / edited by Charles Dunlop, Rob Kling. | |
1991 | QA76.9.C66 T34 1991. | Technology 2001 : the future of computing and communications / edited by Derek Leebaert. | |
1992 | QA76.9.C66 R64 1992. | Rosenberg, Richard S. | The social impact of computers / Richard S. Rosenberg. |
1993 | QA76.9.C66 L363 1993. | Lanham, Richard A. | The electronic word : democracy, technology, and the arts / Richard A. Lanham. |
1995 | QA76.9.C66 S32 1997. | Schement, Jorge Reina. | Tendencies and tensions of the information age : the production and distribution of information in the United States / Jorge Reina Schement and Terry Curtis. |
1995 | QA76.9.C66 S58 1995. | Slouka, Mark. | War of the worlds : cyberspace and the high-tech assault on reality / Mark Slouka. |
1995 | QA76.9.C66 S88 1995. | Stoll, Clifford. | Silicon snake oil : second thoughts on the information highway / Clifford Stoll. |
1995 | QA76.9.C66 S883 1995. | Stone, Allucquere Rosanne. | The war of desire and technology at the close of the mechanical age / Allucquere Rosanne Stone. |
1995 | QA76.9.C66 T33 1995. | Talbott, Steve. | The future does not compute : transcending the machines in our midst / Stephen L. Talbott. |
1995 | QA76.9.C66 T87 1995. | Turkle, Sherry. | Life on the screen : identity in the age of the Internet / SherryTurkle. |
1996 | QA76.9.C66 B35 1996. | Bailey, James | After thought : the computer challenge to human intelligence / James Bailey. |
1996 | QA76.9.C66 D47 1996. | Dery, Mark | Escape velocity : cyberculture at the end of the century / Mark Dery. |
1996 | QA76.9.C66 L84 1996. | Ludlow, Peter | High noon on the electronic frontier : conceptual issues in cyberspace / Peter Ludlow. |
1996 | QA76.9.C66 M39 1996. | May, William D. | Edges of reality : mind vs. computer / William D. May. |
1996 | QA76.9.C66 R39 1996. | Rawlins, Gregory J. E. | Moths to the flame : the seductions of computer technology / Gregory J. E. Rawlins. |
1997 | QA76.9.C66 C6575 1997. | Computers, ethics, and society / edited by M. David Ermann, Mary B. Williams, Michele S. Shauf. | |
1997 | QA76.9.C66 R395 1997. | Rawlins, Gregory J. E. | Slaves of the machine : the quickening of computer technology / Gregory J.E. Rawlins. |
1997 | QA76.9.C66 R62 1997. | Rochlin, Gene I. | Trapped in the net : the unanticipated consequences of computerization / Gene I. Rochlin. |
1997 | QA76.9.C66 T28 1997. | Tapscott, Don | Growing up digital : the rise of the net generation / Don Tapscott. |
1998 | QA76.9.C66 B46 1998. | Bennahum, David S. | Extra life : coming of age in cyberspace / David S. Bennahum. |
1998 | QA76.9.C66 C73 1998. | Crandall, Richard E. | A network orange : logic and responsibility in the Computer Age /Richard Crandall, Marvin Levich ; with a foreword by Howard Rheingold. |
1998 | QA76.9.C66 H63 1998. | Hobart, Michael E. | Information ages : literacy, numeracy, and the computer revolution / Michael E. Hobart and Zachary S. Schiffman. |
1998 | QA76.9.C66 R618 1998. | Robertson, Douglas S. | The new renaissance : computers and the next level of civilization / Douglas S. Robertson. |
Database Design | |||
1989 | QA76.9.D26 M35 1989. | Malamud, Carl | INGRES : tools for building an information architecture / Carl Malamud. |
Database Management | |||
1977 | QA76.9.D3 F73. | Freeman, Donald E. | I/O design : data management in operating systems / Donald E. Freeman, Olney R. Perry. |
1977 | QA76.9.D3 W53. | Wiederhold, Gio. | Database design / Gio Wiederhold. |
1978 | QA76.9.D3 I558 1978. | International Conference on Databases, Improving Usability and Responsiveness (1978 : Haifa) | Databases, improving usability and responsiveness / [edited by] Ben Shneiderman. |
1978 | QA76.9.D3 R67. | Ross, Ronald G. | Data base systems : design, implementation, and management / Ronald G. Ross. |
1981 | QA76.9.D3 D37 1981. | Date, C. J. | An introduction to database systems / C. J. Date. |
1982 | QA76.9.D3 C46 1982. | Chorafas, Dimitris N. | Databases for networks and minicomputers / Dimitris N. Chorafas. |
1982 | QA76.9.D3 C877. | Curtice, Robert M. | Logical data base design / Robert M. Curtice and Paul E. Jones, Jr. |
1982 | QA76.9.D3 L37. | Larson, James A. | Database management system anatomy / James A. Larson. |
1982 | QA76.9.D3 T75. | Tsichritzis, Dionysios C. | Data models / Dionysios C. Tsichritzis, Frederick H. Lochovsky. |
1983 | QA76.9.D3 A343 1983. | Advanced database machine architecture / David K. Hsiao, editor. | |
1983 | QA76.9.D3 D366 1983. | Date, C. J. | Database, a primer / C.J. Date. |
1984 | QA76.9.D3 B66 1984. | Bonczek, R. H. | Micro database management : practical techniques for application development / Robert H. Bonczek, Clyde W. Holsapple, Andrew B. Whinston. |
1984 | QA76.9.D3 D369 1984. | Date, C. J. | A guide to DB2 : a user's guide to the IBM product IBM Database2, a relational database management system for the MVS environment and its companion products QMF and DXT / C.J. Date. < /td> |
1984 | QA76.9.D3 N86 1984. | Numeric databases / edited by Ching-chih Chen, Peter Hernon. | |
1984 | QA76.9.D3 T685 1983. | Townsend, Carl | Using dBase II / Carl Townsend. |
1985 | QA76.9.D3 D87 1985. | Durell, William. | Data administration : a practical guide to successful data management / William Durell. |
1985 | QA76.9.D3 G523 1985. | Gillenson, Mark L. | Database : step-by-step / Mark L. Gillenson. |
1985 | QA76.9.D3 V37 1985. | Vasta, Joseph A. | Understanding data base management systems / Joseph A. Vasta. |
1986 | QA76.9.D3 D42. | De Pace, M. | The dBASE programming language / M. de Pace. |
1986 | QA76.9.D3 I5393 1986. | Inmon, William H. | The dynamics of data base / W.H. Inmon, Thomas J. Bird, Jr. |
1986 | QA76.9.D3 M35613 1986. | Martin, Daniel, ingenieur I.D.N. | Techniques avancees pour bases de donnees. English. Advanced database techniques / Daniel Martin. |
1987 | QA76.9.D3 B68 1987. | Brackett, Michael H. | Developing data structured databases / Michael H. Brackett. |
1988 | QA76.9.D3 U443 1988. | Ullman, Jeffrey D. | Principles of database and knowledge-base systems / Jeffrey D. Ullman. |
1988 | QA76.9.D3 Y36 1988. | Yannakoudakis, E. J. | The architectural logic of database systems / E.J. Yannakoudakis. |
1989 | QA76.9.D3 C4848 1989. | Chou, George Tsu-der | dBASE IV handbook / George Tsu-der Chou with W. Edward Tiley. |
1989 | QA76.9.D3 I548 1989. | Intelligent databases : object-oriented, deductive hypermedia technologies / Kamran Parsaye ... [et al.] | |
1990 | QA76.9.D3 D3725 1990. | Date, C. J. | Relational database writings 1985-1989 |
1990 | QA76.9.D3 J639 1990. | Jones, Edward | The dBASE language reference / Edward Jones. |
1990 | QA76.9.D3 K54 1990. | Kim, Won. | Introduction to object-oriented databases / Won Kim. |
1991 | QA76.9.D3 H846 1991. | Hughes, John G. | Object-oriented databases / J.G. Hughes. |
1991 | QA76.9.D3 O956 1991. | Ozsu, M. Tamer | Principles of distributed database systems / M. Tamer Ozsu, Patrick Valduriez. |
1993 | QA76.9.D3 P3485 1993. | Parsaye, Kamran. | Intelligent database tools & applications : hyperinformation access, data quality, visualization, automatic discovery / Kamran Parsaye, Mark Chignell. |
1994 | QA76.9.D3 Q475 1994. | Query processing in parallel relational database systems / [edited by] Hongjun Lu, Beng-Chin Ooi, Kian-Lee Tan. | |
1996 | QA76.9.D3 I5372 1996. | Inmon, William H. | Building the data warehouse / W.H. Inmon. |
1997 | QA76.9.D3 F478 1998. | Ferrett, Robert. | Access 97 essentials / Robert Ferrett, John Preston, Sally Preston. |
1997 | QA76.9.D3 L57484 1997. | Liskin, Miriam. | Windows sources Microsoft Access 97 for windows superguide / Miriam Liskin. |
1998 | QA76.9.D3 I599 1998. | Introduction to metadata : pathways to digital information / edited by Murtha Baca. | |
Databases | |||
1992 | QA76.9.D32 D363 1992. | Database and expert systems applications : proceedings of the international conference, Valencia, Spain 1992 | |
Data Structures | |||
1976 | QA76.9.D35 H67. | Horowitz, Ellis. | Fundamentals of data structures / Ellis Horowitz, Sartaj Sahni. |
1976 | QA76.9.D35 T73. | Tremblay, Jean-Paul | An introduction to data structures with applications / J. P. Tremblay, P. G. Sorenson. |
1980 | QA76.9.D35 B37. | Baron, Robert J. | Data structures and their implementation / Robert J. Baron, LindaG. Shapiro. |
1981 | QA76.9.D35 T46. | Tenenbaum, Aaron M. | Data structures using PASCAL / Aaron M. Tenenbaum, Moshe J. Augenstein. |
1983 | QA76.9.D35 A38 1987. | Aho, Alfred V. | Data structures and algorithms / Alfred V. Aho, John E. Hopcroft,Jeffrey D. Ullman. |
1986 | QA76.9.D35 L47 1986. | Lewi, Johan. | Data structures of Pascal, Algol 68, PL/1, and Ada / Johan Lewi, Jan Paredaens. |
1986 | QA76.9.D35 L56 1986. | Lings, B. J. | Information structures : a uniform approach using Pascal / B.J. Lings. |
1986 | QA76.9.D35 W58 1986. | Wirth, Niklaus. | Algorithms and data structures / Niklaus Wirth. |
1989 | QA76.9.D35 M36 1989. | Manber, Udi. | Introduction to algorithms : a creative approach / Udi Manber. |
1992 | QA76.9.D35 C37 1992. | Carpenter, Bob. | The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution/ Bob Carpenter. |
Distributed Processing | |||
1981 | QA76.9.D5 M37. | Martin, James | Computer networks and distributed processing, software, techniques, architecture / James Martin. |
1984 | QA76.9.D5 D49 1984. | Distributed computing / edited by Fred B. Chambers, David A.Duce, Gillian P. Jones. | |
1984 | QA76.9.D5 T37 1984. | Tashenberg, C. Bradley. | Design and implementation of distributed-processing systems / C. Bradley Tashenberg. |
1985 | QA76.9.D5 L5 1985. | Liebowitz, Burt H. | Multiple processor systems for real-time applications / Burt H. Liebowitz, John H. Carson. |
1994 | QA76.9.D5 T44 1994. | Tel, Gerard. | Introduction to distributed algorithms / Gerard Tel. |
Documentation | |||
1984 | QA76.9.D6 M34 1984. | McGehee, Brad | The complete guide to writing software user manuals / Brad McGehee. |
1984 | QA76.9.D6 P67 1984. | Poschmann, Andrew W. | Standards and procedures for systems documentation / Andrew W. Poschmann. |
1988 | QA76.9.D6 T48 1988. | Text, ConText, and HyperText : writing with and for thecomputer / edited by Edward Barrett. | |
1994 | QA76.9.D6 T49 1994. | Thirlway, Martyn. | Writing software manuals : a practical guide / Martyn Thirlway. |
Economic Aspects | |||
1982 | QA76.9.E25 E26. | The Economics of information processing / Robert Goldberg, HaroldLorin [editors] | |
Evaluation of Computer Performance | |||
1983 | QA76.9.E94 F4813 1983. | Ferrari, Domenico | Prestazioni degli elaboratori elettronici. English. Measurement and tuning of computer systems / Domenico Ferrari, Giuseppe Serazzi, Alessandro Zeigner. |
1983 | QA76.9.E94 M47 1983. | Merrill, H. W. Barry. | Guide to computer performance evaluation. Merrill's guide to computer performance evaluation : analysis of SMF/RMF data with SAS / by H. W. Barry Merrill. |
1984 | QA76.9.E94 Q36 1984. | Quantitative system performance : computer system analysis using queueing network models / Edward D. Lazowska ... [et al.] | |
1987 | QA76.9.E94 D46 1987. | Demurjian, Steven A. | Design analysis and performance evaluation methodologies for database computers / Steven A. Demurjian, David K. Hsiao, RogerG. Marshall. |
Expert Systems | |||
1983 | QA76.9.E96 B84 1983. | Building expert systems / edited by Frederick Hayes-Roth, Donald A. Waterman, Douglas B. Lenat. | |
1984 | QA76.9.E96 E96 1984. | Expert systems : principles and case studies / edited by Richard Forsyth. | |
1984 | QA76.9.E96 R84 1984. | Rule-based expert systems : the MYCIN experiments of the StanfordHeuristic Programming Project / edited by Bruce G. Buchanan, Edward H. Shortliffe. | |
1985 | QA76.9.E96 H37 1985. | Harmon, Paul. | Expert systems : artificial intelligence in business / Paul Harmon and David King. |
1986 | QA76.9.E96 H6. | Holsapple, C. W. | Manager's guide to expert systems using Guru / Clyde W.Holsapple, Andrew B. Whinston ; illustrations by Jon Kerry. |
Fault-tolerant Computing | |||
1986 | QA76.9.F38 F38 1986. | Fault-tolerant computing : theory and techniques / Dhiraj K. Pradhan, editor ; [contributors, Jacob A. Abraham ... et al.] | |
1989 | QA76.9.F38 N44 1989. | Negrini, R. | Fault tolerance through reconfiguration in VLSI and WSI arrays / R. Negrini, M. Sami, and R. Stefanelli. |
File Organization | |||
1987 | QA76.9.F5 F65 1987. | Folk, Michael J. | File structures : a conceptual toolkit / Michael J. Folk, Bill Zoellick. |
Human-Computer Interaction | |||
1989 | QA76.9.H85 W34 1989. | Waern, Yvonne. | Cognitive aspects of computer supported tasks / Yvonne Waern. |
1991 | QA76.9.H85 E53 1991. | Engineering the human-computer interface / edited by AndyDownton. | |
1991 | QA76.9.H85 I583 1991. | Intelligent user interfaces / edited by Joseph W. Sullivan, Sherman W. Tyler. | |
1992 | QA76.9.H85 C38 1992. | Cawsey, Alison. | Explanation and interaction : the computer generation of explanatory dialogues / Alison Cawsey. |
1993 | QA76.9.H85 G73 1993. | Greenberg, Saul. | The computer user as toolsmith : the use, reuse, and organizationof computer-based tools / Saul Greenberg. |
1993 | QA76.9.H85 H45 1993. | Heim, Michael | The metaphysics of virtual reality / Michael Heim. |
1993 | QA76.9.H85 P56 1993. | Pimentel, Ken. | Virtual reality : through the new looking glass / Ken Pimental & Kevin Teixeira. |
1993 | QA76.9.H85 S56 1993. | Sparks of innovation in human-computer interaction / Ben Shneiderman, editor. | |
1993 | QA76.9.H85 V57 1993. | Virtual reality : applications and explorations / edited by Alan Wexelblat. | |
1995 | QA76.9.H85 C655 1995. | Communication in the age of virtual reality / edited by Frank Biocca, Mark R. Levy. | |
1995 | QA76.9.H85 M38 1995. | Marchionini, Gary. | Information seeking in electronic environments / GaryMarchionini. |
1997 | QA76.9.H85 P53 1997. | Picard, Rosalind W. | Affective computing / Rosalind W. Picard. |
1998 | QA76.9.H85 G46 1998. | Gelernter, David Hillel. | Machine beauty : elegance and the heart of technology / David Gelernter. |
Input Design | |||
1978 | QA76.9.I55 P33 1978. | Page, E. S. | Information representation and manipulation in a computer / E. S.Page and L. B. Wilson. |
Interactive Computer Systems | |||
1982 | QA76.9.I58 S8 1982. | Strategies for natural language processing / edited by Wendy G. Lehnert, Martin H. Ringle. | |
1983 | QA76.9.I58 C37 1983. | Card, Stuart K. | The psychology of human-computer interaction / Stuart K. Card, Thomas P. Moran, Allen Newell. |
1987 | QA76.9.I58 I59 1987. | Interfacing thought : cognitive aspects of human-computer interaction / edited by John M. Carroll. | |
Mathematica | |||
1992 | QA76.9.M27 B533 1992. | Blachman, Nancy. | Mathematica, a practical approach / Nancy Blachman. |
Management | |||
1982 | QA76.9.M3 C651 1983. | Collins, Garfield. | Structured systems development techniques : strategic planning tosystem testing / Garfield Collins, Gillian Blay ; consultant editor, Ronald Yearsley. |
1984 | QA76.9.M3 K37 1984. | Katzan, Harry. | Management support systems / Harry Katzan, Jr. |
Computer Mathematics | |||
1984 | QA76.9.M35 C66 1984. | Cooke, D. J. (Derek John) | Computer mathematics / D.J. Cooke and H.E. Bez. |
1984 | QA76.9.M35 K64 1984. | Kolman, Bernard | Discrete mathematical structures for computer science / Bernard Kolman, Robert C. Busby. |
1985 | QA76.9.M35 B54 1985. | Biggs, Norman. | Discrete mathematics / Norman L. Biggs. |
1985 | QA76.9.M35 K8913 1985. | Kuznetsov, O. P. (Oleg Petrovich) | Diskretnaia matematika dlia inzhenera. English. Discrete mathematics for engineers / O.P. Kuznetsov and G.M.Adelson-Velskii ; translated from the Russian by V.I. Kisin. |
1986 | QA76.9.M35 W54 1986. | Wilf, Herbert S. | Algorithms and complexity / Herbert S. Wilf. |
1991 | QA76.9.M35 P55 1991. | Piff, Mike. | Discrete mathematics : an introduction for software engineers / Mike Piff. |
1992 | QA76.9.M35 G38 1992. | Garnier, Rowan. | Discrete mathematics for new technology / Rowan Garnier and John Taylor. |
Moral and Religious Aspects | |||
1982 | QA76.9.M65 N37 1981. | National Conference on Business Ethics (4th : 1981 : Bentley College) | Ethics and the management of computer technology : proceedings ofthe Fourth National Conference on Business Ethics / sponsore d by the Center for Business Ethics, Bentley College ; edited by W. Michael Hoffman, Jennifer Mills Moore. |
1984 | QA76.9.M65 J64 1984. | Johnson, Douglas W. | Computer ethics : a guide for a new age / Douglas W. Johnson ; [edited by Leslie R. Keylock] |
1990 | QA76.9.M65 F67 1990. | Forester, Tom. | Computer ethics : cautionary tales and ethical dilemmas in computing / Tom Forester and Perry Morrison. |
1997 | QA76.9.M65 W43 1997. | Weckert, John. | Computer and information ethics / John Weckert and DouglasAdeney. |
Natural Language Processing | |||
1989 | QA76.9.N38 S46 1989. | Semantic structures : advances in natural language processing / edited by David L. Waltz. | |
1992 | QA76.9.N38 C65 1992. | Connectionist approaches to natural language processing / edited by Ronan G. Reilly, Noel E. Sharkey. | |
1996 | QA76.9.N38 C68 1996. | Corpus processing for lexical acquisition / edited by Branimir Boguraev and James Pustejovsky. | |
1996 | QA76.9.N38 W55 1996. | Wilks, Yorick | Electric words : dictionaries, computers, and meanings / YorickA. Wilks, Brian M. Slator, and Louise M. Guthrie. |
1997 | QA76.9.N38 H36 1997. | Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen. | |
Psychological Aspects | |||
1982 | QA76.9.P75 H68 1982. | Houston Symposium (3rd : 1982 : University of Houston) | Information technology and psychology, prospects for the future /Houston Symposium 3 ; editors, Richard A. Kasschau, RoyLachman, and Kenneth R. Laughery. |
1984 | QA76.9.P75 B76 1984. | Brod, Craig. | Technostress : the human cost of the computer revolution / Craig Brod. |
Soft Computing | |||
1998 | QA76.9.S63 S26 1998. | Sangalli, Arturo | The importance of being fuzzy : and other insights from the border between math and computers / Arturo Sangalli. |
Structured Techniques | |||
1985 | QA76.9.S84 M37 1985. | Martin, James | Structured techniques for computing / James Martin, CarmaMcClure. |
System Design | |||
1982 | QA76.9.S88 I53 1982. | Information systems design / Cyril H.P. Brookes ... [et al.] | |
1983 | QA76.9.S88 B658 1983. | Booth, Grayce M. | The design of complex information systems : common sense methods for success / Grayce M. Booth. |
1983 | QA76.9.S88 F73 1983. | Freedman, M. David. | Designing systems with microcomputers : a systematic approach /M. David Freedman, Lansing B. Evans. |
1983 | QA76.9.S88 S65 1983. | Smith, Ronald B. | The KISS principle : approaches to building reliable systems / Ronald B. Smith. |
1984 | QA76.9.S88 R33 1984. | Rafiquzzaman, Mohamed. | Microprocessors and microcomputer development systems : designingmicroprocessor-based systems / Mohamed Rafiquzzaman. |
1986 | QA76.9.S88 C39 1986. | Case, Albert F. | Information systems development : principles of computer-aided software engineering / Albert F. Case, Jr. |
1986 | QA76.9.S88 C69 1986. | Cox, Brad J. | Object-oriented programming ; an evolutionary approach / Brad J. Cox. |
1994 | QA76.9.S88 K55 1994. | Kliem, Ralph L. | Just-in-time systems for computing environments / Ralph L. Kliem and Irwin S. Ludin. |
1997 | QA76.9.S88 C6634 1997. | Computers and design in context / edited by Morten Kyng and Lars Mathiassen. | |
Text Processing | |||
1988 | QA76.9.T48 S25 1988. | Salton, Gerard. | Automatic text processing : the transformation, analysis, and retrieval of information by computer / Gerard Salton. |
1994 | QA76.9.T48 C76 1994. | Crochemore, Maxime | Text algorithms / Maxime Crochemore, Wojciech Rytter. |
User Interfaces | |||
1990 | QA76.9.U83 T48 1990. | Thimbleby, Harold. | User interface design / Harold Thimbleby. |
Use of Electronic Computers in Mathematics | |||
1981 | QA76.95 .M53 1981. | Miller, Alan R. | BASIC programs for scientists and engineers / Alan R. Miller. |
1982 | QA76.95 .D76 1982. | Dromey, R. G. | How to solve it by computer / by R.G. Dromey. |
1982 | QA76.95 .G7. | Grenander, Ulf. | Mathematical experiments on the computer / Ulf Grenander. |
1983 | QA76.95 .D46 1983. | Dence, Thomas P. | Solving math problems in BASIC / by Thomas P. Dence. |
1983 | QA76.95 .M37 1983. | Marcus, Marvin | Discrete mathematics : a computational approach using BASIC / Marvin Marcus. |
1984 | QA76.95 .S68 1984. | Sources and development of mathematical software / Wayne R. Cowell, editor. | |
1990 | QA76.95 .V37 1990. | Varga, Richard S. | Scientific computation on mathematical problems and conjectures /Richard S. Varga. |
1991 | QA76.95 .D58 1991. | Dixon, Robert (Robert A.) | Mathographics / by Robert Dixon. |
1991 | QA76.95 .V36 1991. | Vardi, Ilan. | Computational recreations in Mathematica / Ilan Vardi. |
1991 | QA76.95 .W34 1991. | Wagon, S. | Mathematica in action / Stan Wagon. |
1993 | QA76.95 .E54 1993. | Engel, Arthur. | Exploring mathematics with your computer / by Arthur Engel. |
1994 | QA76.95 .A214 1994. | Abell, Martha L. | Mathematica by example / Martha L. Abell, James P. Braselton. |
1994 | QA76.95 .S52 1994. | Shaw, William T. | Applied Mathematica : getting started, getting it done / William T. Shaw, Jason Tigg. |
1995 | QA76.95 .B44 1995. | Beltzer, A. I. (Abraham I.) | Engineering analysis with Maple/Mathematica / Abraham I. Beltzer. |