Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Great ideas in computer science : a gentle introduction / Alan W. Biermann.

    • Text
    • Cambridge, Mass. : MIT Press, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 90-2300Offsite

  • Studies in computer science / Seymour V. Pollack, editor ; [contributions by] William E. Ball ... [et al.].

    • Text
    • [Washington, D.C.] : Mathematical Association of America, c1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSD 91-72Offsite

  • Introduction to computing / Percy Mett.

    • Text
    • Houndmills, Basingstoke, Hampshire : Macmillan Education ; Port Washington, N.Y. : Distributed by Scholium International, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 91-548Offsite

  • From logic to computing / Robert P. McArthur.

    • Text
    • Belmont, Calif. : Wadsworth Pub. Co., c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 91-1875Offsite

  • Trends in theoretical computer science / editor Egon Börger.

    • Text
    • Rockville, Md. : Computer Science Press, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 91-1527Offsite

  • Uses of randomness in algorithms and protocols / Joe Kilian.

    • Text
    • Cambridge, Mass. : MIT Press, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 92-541Offsite

  • Computer science : an overview / J. Glenn Brookshear.

    • Text
    • Redwood City, Calif. : Benjamin/Cummings Pub. Co., c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 92-678Offsite

  • Magill's survey of science. Physical science series / edited by Frank N. Magill ; consulting editor, Thomas A. Tombrello.

    • Text
    • Pasadena, Calif. : Salem Press, c1992.
    • 1992
    • 6 Items
    FormatCall NumberItem Location
    Book/Text JSE 00-1686 v. 4 (1387-1866 Mich-Plan)Offsite
    FormatCall NumberItem Location
    Book/Text JSE 00-1686 v. 5 (1867-2352 Plan-Stab)Offsite
    FormatCall NumberItem Location
    Book/Text JSE 00-1686 v. 6 (2353-2796 Stan-Z)Offsite

    View All 6 Items

  • Computing the future : a broader agenda for computer science and engineering / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council.

    • Text
    • Washington, D.C. : National Academy Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/text JBE 92-282Offsite

  • Design theory and computer science : processes and methodology of computer systems design / Subrata Dasgupta.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 92-834Offsite

  • Computing / edited by E.G. Coffman, Jr., J.K. Lenstra, A.H.G. Rinnooy Kan.

    • Text
    • Amsterdam ; New York : North-Holland, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-352Offsite

  • Hyperedge replacement : grammars and languages / A. Habel.

    • Text
    • Berlin ; New York : Springer-Verlag, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 93-133Offsite

  • Generating abstraction hierarchies : an automated approach to reducing search in planning / by Craig A. Knoblock.

    • Text
    • Boston : Kluwer Academic Publisher, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-607Offsite

  • Computer science and operations research : new developments in their interfaces / editors, Osman Balci, Ramesh Sharda, Stavros A. Zenios.

    • Text
    • Oxford [England] ; New York : Pergamon Press, 1992
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-1540Offsite

  • The logic of information structures / Heinrich T. Wansing.

    • Text
    • Berlin ; New York : Springer-Verlag, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-1408Offsite

  • Handbook of theoretical computer science / edited by Jan van Leeuwen.

    • Text
    • Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1994, c1990.
    • 1994-1990
    • 2 Items
    FormatCall NumberItem Location
    Book/Text JSE 02-235 v. BOffsite
    FormatCall NumberItem Location
    Book/Text JSE 02-235 v.AOffsite

  • Substructural logics / edited by Peter Schroeder-Heister and Kosta Došen.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-1919Offsite

  • Computer science : an overview / J. Glenn Brookshear.

    • Text
    • Redwood City, Calif. : Benjamin/Cummings Pub. Co., c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-886Offsite

  • Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, 1992-
    • 1992-present
    • 4 Items
    FormatCall NumberItem Location
    PRINT JSL 94-75Schwarzman Building - Main Reading Room 315
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Book/text JSL 94-75Offsite
    FormatCall NumberItem Location
    PRINT JSL 94-75Schwarzman Building - Main Reading Room 315
    Not available - Please for assistance.

    View All 4 Items

  • Logic, language, and computation : Festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-1347Offsite

  • Thinking computers and virtual persons : essays on the intentionality of machines / edited by Eric Dietrich.

    • Text
    • San Diego : Academic Press, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-82Offsite

  • Logic and information flow / edited by Jan van Eijck and Albert Visser.

    • Text
    • Cambridge, Mass. : MIT Press, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-1716Offsite

  • Between mind and computer : fuzzy science and engineering / editors, P.-Z. Wang, K.-F. Loe.

    • Text
    • Singapore ; River Edge, NJ : World Scientific, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-1537Offsite

  • What is a logical system? / edited by D.M. Gabbay.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-701Offsite

  • The impact of emerging technologies on computer science and operations research / edited by Stephen G. Nash and Ariela Sofer ; associate editors, William R. Stewart, Edward A. Wasil.

    • Text
    • Boston : Kluwer Academic Publishers, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-1167Offsite

  • Computer science : a breadth-first approach with Pascal / by Paul Nagin, John Impagliazzo.

    • Text
    • New York : Wiley, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-1297Offsite

  • Computer science : a breadth-first approach with C / John Impagliazzo, Paul Nagin.

    • Text
    • New York : Wiley, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-1250Offsite

  • Computer science today : recent trends and developments / Jan van Leeuwen, ed.

    • Text
    • Berlin ; New York : Springer, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 96-121Offsite

  • New information technologies : a practitioner's guide / Dimitris N. Chorafas ; with a foreword by Tibor Vámos.

    • Text
    • New York : Van Nostrand Reinhold, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/text JBE 96-895Offsite

  • Structures in logic and computer science : a selection of essays / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 97-1098Offsite

  • Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 97-1627Offsite

  • I Prêmio Compaq de estímulo à pesquisa e desenvolvimento em informática.

    • Text
    • São Paulo : Instituto Uniemp, 1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Book/text JBF 98-180Offsite

  • Computer science; a first course [by] Alexandra I. Forsythe [and others]

    • Text
    • New York, Wiley [1969]
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Book/text OEO (Computer science)Offsite

  • Introduction to computer science; problems, algorithms, languages, information and computers [by] John K. Rice [and] John R. Rice. Algol and Fortran appendices by Edouard Desautels.

    • Text
    • New York, Holt, Rinehart and Winston [1969]
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Book/text OEO (Rice, J. K. Introduction to computer science)Offsite

  • The most complex machine : a survey of computers and computing / David J. Eck.

    • Text
    • Wellesley, Mass. : A K Peters, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 99-21Offsite

  • Algorithms and theory of computation handbook / edited by Mikhail J. Atallah.

    • Text
    • Boca Raton : CRC Press, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 99-123Offsite

  • Monde de l'informatique, informatique-monde / Daniel Weissberg.

    • Text
    • Toulouse, France : Presses universitaires du Mirail, [1999]
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JBF 99-726Offsite

  • Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 99-618Offsite

  • Complexity and real computation / Lenore Blum ... [et al.] ; foreword by Richard M. Karp.

    • Text
    • New York : Springer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 99-1818Offsite

  • Nonlinear approaches to satisfiability problems : proefschrift / door Johannes Pieter Warners.

    • Text
    • [Eindhoven : Technische Universiteit Eindhoven], c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 00-672Offsite

  • Bioinformatics basics : applications in biological science and medicine / by Hooman H. Rashidi and Lukas K. Buehler.

    • Text
    • Boca Raton, FL : CRC Press, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 00-729Offsite

  • Enabling technologies for computational science : frameworks, middleware, and environments / edited by Elias N. Houstis ... [et al.].

    • Text
    • Boston : Kluwer Academic, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-945Offsite

  • Handbook of theoretical computer science / edited by Jan van Leeuwen.

    • Text
    • Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1990.
    • 1990
    • 2 Items
    FormatCall NumberItem Location
    Book/Text JSE 92-557 v. AOffsite
    FormatCall NumberItem Location
    Book/Text JSE 92-557 v. BOffsite

  • The bit and the pendulum : from quantum computing to M theory-- the new physics of information / Tom Siegfried.

    • Text
    • New York : Wiley, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 12-329 Offsite

  • Informatics : 10 years back, 10 years ahead / Reinhard Wilhelm, ed.

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item

    Available Online

    http://link.springer-ny.com/link/service/series/0558/tocs/t2000.htm
    FormatCall NumberItem Location
    Book/Text JSE 01-786Offsite

  • Multi-domain communication management systems / Alex Galis.

    • Text
    • Boca Raton, Fla. : CRC Press, c2000.
    • 2000
    • 2 Items

    Available Online

    http://corpitk.earthweb.com/reference/084930587X.html
    FormatCall NumberItem Location
    Book/Text *WSC-1958Offsite
    FormatCall NumberItem Location
    Book/Text JSF 01-506Offsite

  • Fuzzy learning and applications / [edited by] Marco Russo, Lakhmi C. Jain.

    • Text
    • Boca Raton : CRC Press, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 01-906Offsite

  • Institute for Computational Mechanics in Propulsion (ICOMP) : sixth annual report--1991 / compiled and edited by Dr. Charles E. Feiler.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va.] : [For sale by the National Technical Information Service], [1992]
    • 1992

  • Applying the take-grant protection model / Matt Bishop.

    • Text
    • Hanover, NH : Department of Mathematics and Computer Science, Dartmouth College ; [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1990]
    • 1990

  • A proactive password checker / Matt Bishop.

    • Text
    • [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1990]
    • 1990

No results found from Digital Research Books Beta

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

digital-research-book
Explore Digital Research Books Beta