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
2 Results Found Subscribe to search results
00DEFAULT
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 Microprocessor architectures : RISC, CISC, and DSP
      1. 
      Microprocessor architectures : RISC, CISC, and DSP
      by 
      Heath, Steve.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750623032
      Format: 
      Excerpt: 
      -time software, interrupts and exceptions -- 8. Multiprocessing -- 9. Application examples -- 10. Semiconductor
      Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      2. 
      Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      by 
      Craigen, Dan, 1953-
      ScienceDirect https://www.sciencedirect.com/science/book/9780815513629
      Format: 
      Excerpt: 
      representative of industrial-grade projects and span a variety of application domains. The study had three main