Limit Search Results
Author
SpringerLink (Online service)
(314)
Liu, Derong. editor.
(10)
El-Alfy, El-Sayed M. editor.
(6)
Göbel, Holger. author.
(6)
Li, Yuanqing. editor.
(6)
Language
Publication Date
-
Subject
Computer hardware.
(179)
Computer science.
(110)
Software engineering.
(78)
Computers.
(65)
Engineering.
(63)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
418 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Author 
Heidari Iman, Mohammad Reza. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Scalable Data Management for Future Hardware
Scalable Data Management for Future Hardware
Author 
Sattler, Kai-Uwe. editor. (orcid)0000-0003-1608-7721 Kemper, Alfons. editor. Neumann, Thomas. editor. (orcid)0000-0001-5787-142X Teubner, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74097-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2
Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2
Author 
Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 Sharma, Harish. editor. Chakravorty, Antorweep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8096-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Quantum Computing Architecture and Hardware for Engineers Step by Step
Quantum Computing Architecture and Hardware for Engineers Step by Step
Author 
Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78219-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Information-Measuring Systems Theory and Application
Information-Measuring Systems Theory and Application
Author 
Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89406-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring
Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring
Author 
Zhang, Zhaoxiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Congress on Smart Computing Technologies Proceedings of CSCT 2024, Volume 1
Congress on Smart Computing Technologies Proceedings of CSCT 2024, Volume 1
Author 
Saraswat, Mukesh. editor. Rajan, Abhishek. editor. Chakravorty, Antorweep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6254-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Sustainable development using geospatial techniques
Sustainable development using geospatial techniques
Author 
Thakur, Disha, editor. Kumar, Sanjay. Sandhu, Har Amrit Singh. Prakash, Chander.
Preferred Shelf Number 
G70.217 .G46 S87 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214426
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Design and Applications of Emerging Computer Systems
Design and Applications of Emerging Computer Systems
Author 
Liu, Weiqiang. editor. Han, Jie. editor. Lombardi, Fabrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42478-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers
Author 
Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action