1. 3D Stacked Chips : From Emerging Processes to Heterogeneous Systems /: From Emerging Processes to Heterogeneous Systems. (2016) Editors: Elfadel, Ibrahim (Abe); Fettweis, Gerhard 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) ↗
2. Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings /: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings. (2017) Editors: Dou, Yong; Lin, Hai-Xiang; Sun, Guangyu; (College teacher), Wu, Junjie; Heras, Dora; Bougé, L (Luc) Other Names: APPT (Symposium), 12th Record Type: Book Extent: 1 online resource (ix, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Beginning WSO2 ESB. ([2016]) Other Names: Indrasiri, Kasun Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Bioinformatics research and applications : 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /: 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings. (2018) Editors: Zhang, Fa; Cai, Zhipeng; Skums, Pavel; Zhang, Shihua Other Names: ISBRA (Conference), 14th Record Type: Book Extent: 1 online resource (xxii, 362 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computer-aided design of microfluidic very large scale integration (mVLSI) biochips : design automation, testing, and design-for-testability /: design automation, testing, and design-for-testability. (2017) Authors: Hu, Kai; Chakrabarty, Krishnendu; Ho, Tsung-Yi Record Type: Book Extent: 1 online resource (xiii, 142 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computing Platforms for Software-Defined Radio. (2017) Editors: Hussain, Waqar; Nurmi, Jari; Isoaho, Jouni; Garzia, Fabio Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource (XII, 240 pages 19 illustrations, 9 illustrations in color.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Contactless VLSI measurement and testing techniques. ([2018]) Authors: Sayil, Selahattin Record Type: Book Extent: 1 online resource (92 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Dependable multicore architectures at nanoscale. ([2018]) Editors: Ottavi, Marco; Gizopoulos, Dimitris; Pontarelli, Salvatore Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Design for manufacturability with advanced lithography. (2016) Authors: Yu, Bei; Pan, David Z Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗