Computer Science Research Guide

Questions about this guide? Contact
  • Databases
  • Reference
  • Media
  • Web
  • New Titles
Try these databases first to find journal articles in this discipline.
  • CiteSeer
    Scientific literature digital library and search engine that focuses primarily on the literature in computer and information science.
  • INSPEC (1969 to present)
    Index of publications in all areas of physics, engineering, and computer sciences.
  • Web of Science (1984 to present)
    Search thousands of journals across the sciences and social sciences and track cited references to locate more recent articles.
  • ACM Digital Library (1947 to present)
    Full-text articles and conference papers from the Association for Computing Machinery (ACM).
  • USENIX Conference Proceedings
Use these encyclopedias and reference works to get started on a topic.
  • Reference Universe
    Searchable index of the library's entire reference collection, both print and electronic.
Find streaming audio and video in these collections.
  • Kanopy Streaming Video
    Kanopy offers a broad selection of thousands of streaming films, documentaries, and theatrical releases covering a wide variety of subject areas, with additional new releases launched monthly. If close-captioning is not included, it can be requested. Interactive transcripts are included. Note that US feature films are not typically part of the Kanopy offerings.
Start with these recommended freely available resources in this discipline.

Translate journal abbreviation using JAbbr or All that JAS

    Types and programming languages (Pierce, Benjamin C.) Frost Library; QA76.7 .P54 2002

    Data structures and algorithms in Java (Goodrich, Michael T.) Frost Library; QA76.73.J38 G66 2004

    Android programming : the Big Nerd Ranch guide (Phillips, Bill (Software engineer) author.) Frost Library; QA76.76.A65 P53 2017

    Android programming concepts (Cornez, Trish.) Frost Library; QA76.774.A53 C67 2017

    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant (Chlipala, Adam, 1981-) Frost Library; QA76.9.A96 C45 2013

    Modern data science with R (Baumer, Benjamin, author.) Frost Library; QA76.9.D343 B38 2017

    Splinternet : how geopolitics and commerce are fragmenting the World Wide Web (Malcomson, Scott L., author.) Frost Library; TK5105.888 .M35 2016

    Polymer electronics (Geoghegan, Mark, author.) Science Library; TK7871.15.P6 G46 2013