Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for FDA and Intellectual Property Strategies for Medical Device Technologies
FDA and Intellectual Property Strategies for Medical Device Technologies
Author 
Halt, Gerald B. author. Donch, John C. author. Stiles, Amber R. author. VanLuvanee, Lisa Jenkins. author. Theiss, Brandon R. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04462-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied smart health care informatics : a computational intelligence perspective
Applied smart health care informatics : a computational intelligence perspective
Author 
De, Sourav, 1979- editor. Das, Rik, 1978- editor. Bhattacharyya, Siddhartha, 1975- editor. Maulik, Ujjwal, editor.
Preferred Shelf Number 
R858 .A67 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119743187
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Fuzzy set and its extension : the intuitionistic fuzzy set
Fuzzy set and its extension : the intuitionistic fuzzy set
Author 
Chaira, Tamalika, author.
Preferred Shelf Number 
QA248.5 .C43 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119544203
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Hardware IP Security and Trust
Hardware IP Security and Trust
Author 
Mishra, Prabhat. editor. Bhunia, Swarup. editor. Tehranipoor, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49025-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Real-time embedded systems
Real-time embedded systems
Author 
Wang, Jiacun, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hardware Protection through Obfuscation
Hardware Protection through Obfuscation
Author 
Forte, Domenic. editor. Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49019-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations of Hardware IP Protection
Foundations of Hardware IP Protection
Author 
Bossuet, Lilian. editor. Torres, Lionel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50380-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Modular Load Flow for Restructured Power Systems
Modular Load Flow for Restructured Power Systems
Author 
Hariharan, M.V. author. Varwandkar, S.D. author. Gupta, Pragati P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0497-1
Format: 
Availability 
Online Library~1
Available:
Copies: