11. Advanced microsystems for automotive applications 2017 : smart systems transforming the automobile /: smart systems transforming the automobile. ([2018]) Editors: Zachäus, Carolin; (Of VDI/VDE-Technologiezentrum Informationstechnik), Müller, Beate; Meyer, Gereon Other Names: International Forum on Advanced Microsystems for Automotive Application, 21st Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Beginning Samsung ARTIK. (2016) Other Names: Wootton, Cliff Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. ARM assembly language with hardware experiments. ([2015]) Authors: Elahi, Ata; Arjeski, Trevor Record Type: Book Extent: 1 online resource (144 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Smart Sensors and Systems : Innovations for Medical, Environmental, and IoT Applications /: Innovations for Medical, Environmental, and IoT Applications. (2017) Editors: Kyung, Chong-Min; Yasuura, Hiroto; Liu, Yongpan; Lin, Youn-Long Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. New Data Structures and Algorithms for Logic Synthesis and Verification. (2017) Authors: Amaru, Luca Gaetano Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource (XVI, 156 pages 44 illustrations, 20 illustrations in color.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /: a comprehensive guide to technologies and methodologies. ([2018]) Authors: Mehta, Ashok B Record Type: Book Extent: 1 online resource (XXXI, 328 pages), 175 illustrations, 160 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. OpenSHMEM and related technologies : big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers /: big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers. ([2018]) Editors: Venkata, Manjunath Gorentla; Imam, Neena; Pophale, Swaroop Other Names: OpenSHMEM (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 181 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Physically unclonable functions : from basic design principles to advanced hardware security applications /: from basic design principles to advanced hardware security applications. ([2018]) Authors: Halak, Basel Record Type: Book Extent: 1 online resource (XIX, 250 pages), 92 illustrations, 62 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Embedded system design : embedded systems, foundations of cyber-physical systems, and the internet of things /: embedded systems, foundations of cyber-physical systems, and the internet of things. (2018) Authors: Marwedel, Peter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach /: A Deductive Approach. (2017) Authors: Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗