Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
Author 
Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2600-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Explainable machine learning models and architectures
Explainable machine learning models and architectures
Author 
Tripathi, Suman Lata, editor. Mahmud, Mufti, editor.
Preferred Shelf Number 
Q325.5 .E98 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186570
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Author 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers
Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers
Author 
Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Embedded Software Verification and Debugging
Embedded Software Verification and Debugging
Author 
Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-2266-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Author 
Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06317-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for FPGA Based Accelerators for Financial Applications
FPGA Based Accelerators for Financial Applications
Author 
De Schryver, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15407-7
Format: 
Availability 
Online Library~1
Available:
Copies: