Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Advances in computers. Volume 37
      1. 
      Advances in computers. Volume 37
      by 
      Yovits, M. C. (Marshall Clinton)
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121373
      Format: 
      Excerpt: 
      COMPUTERS -- Information Technology.
      Cover image for Advances in computers. Volume 36
      2. 
      Advances in computers. Volume 36
      by 
      Yovits, M. C. (Marshall Clinton)
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121366
      Format: 
      Excerpt: 
      COMPUTERS -- Information Technology.
      Cover image for Parallel processing from applications to systems
      3. 
      Cover image for Parallel computing : an introduction
      4. 
      Parallel computing : an introduction
      by 
      Lafferty, Edward L.
      ScienceDirect https://www.sciencedirect.com/science/book/9780815513292
      Format: 
      Excerpt: 
      COMPUTERS -- Information Technology.
      Cover image for Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      5. 
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
      Format: 
      Excerpt: 
      COMPUTERS -- Information Technology.
      Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      6.