Search ResultsOther Libraries
12 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DEFAULT
Print
2. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Call Number 
QA76.758
Electronic Access 
Full Text Available From Springer Nature Computer Science 2008 Packages
Format: 
Electronic Resources
Available:
3. 
Cover image for Encyclopedia of Parallel Computing
Encyclopedia of Parallel Computing
Encyclopedia of Parallel Computing
Author 
Padua, David. editor. SpringerLink (Online service)
Call Number 
QA76.76 .C65
Electronic Access 
Full Text Available From Springer Nature Computer Science 2011 Packages
Format: 
Electronic Resources
Available:
6. 
Cover image for High Performance Memory Systems
High Performance Memory Systems
High Performance Memory Systems
Author 
Hadimioglu, Haldun. editor. Kaeli, David. editor. Kuskin, Jeffrey. editor. Nanda, Ashwini. editor. Torrellas, Josep. editor.
Call Number 
TK7885 -7895
Electronic Access 
Full Text Available From Springer Nature Computer Science Archive Packages
Format: 
Electronic Resources
Available:
Select All
12 Results Found Subscribe to search results
Limit Search Results
Author
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Material Type
Shelf Location
Library