Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000DEFAULT
Print
13. 
Cover image for New Data Structures and Algorithms for Logic Synthesis and Verification
New Data Structures and Algorithms for Logic Synthesis and Verification
Author 
Amaru, Luca Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
Author 
Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46079-6
Format: 
Availability 
Online Library~1
Available:
Copies: