Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
15 Results Found Subscribe to search results
000DEFAULT
Print
13. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Explainable AI for Cybersecurity
Explainable AI for Cybersecurity
Author 
Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets