Limit Search Results
Author
SpringerLink (Online service)
(53)
Drechsler, Rolf. author.
(2)
Große, Daniel. author.
(2)
Götz, Marcelo. editor.
(2)
Henkler, Stefan. editor.
(2)
Language
Subject
Embedded Systems.
(24)
Embedded computer systems.
(24)
Electronic Circuits and Systems.
(22)
Electronic circuits.
(22)
Electronic circuit design.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Multi-Gigahertz Nyquist Analog-to-Digital Converters Architecture and Circuit Innovations in Deep-Scaled CMOS and FinFET Technologies
Multi-Gigahertz Nyquist Analog-to-Digital Converters Architecture and Circuit Innovations in Deep-Scaled CMOS and FinFET Technologies
Author 
Ramkaj, Athanasios T. author. Pelgrom, Marcel J.M. author. Steyaert, Michiel S. J. author. Tavernier, Filip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22709-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Artificial Intelligence and Hardware Accelerators
Artificial Intelligence and Hardware Accelerators
Author 
Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22170-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
Cover image for Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
Author 
Kukkala, Vipin Kumar. editor. Pasricha, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Nonlinear Structures & Systems, Volume 1 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Nonlinear Structures & Systems, Volume 1 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Author 
Brake, Matthew R.W. editor. Renson, Ludovic. editor. Kuether, Robert J. editor. Tiso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04086-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings
Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings
Author 
Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31420-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Mobile Computing, Applications, and Services 13th EAI International Conference, MobiCASE 2022, Messina, Italy, November 17-18, 2022, Proceedings
Mobile Computing, Applications, and Services 13th EAI International Conference, MobiCASE 2022, Messina, Italy, November 17-18, 2022, Proceedings
Author 
Taheri, Javid. editor. Villari, Massimo. editor. Galletta, Antonino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31891-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Author 
Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29927-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets