1. 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) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
7. 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) ↗
8. Design techniques for Mash continuous-time delta-sigma modulators. (2018) Authors: Liu, Qiyuan; Edward, Alexander; Briseno-Vidrios, Carlos; Silva-Martinez, José, 1955- Record Type: Book Extent: 1 online resource (xvi, 208 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Digital storage in consumer electronics : the essential guide /: the essential guide. ([2018]) Authors: Coughlin, Thomas M Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Distributed simulation : a model driven engineering approach /: a model driven engineering approach. ([2016]) Authors: Topçu, Okan; Durak, Umut; Oğuztüzün, Halit; Yilmaz, Levent Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗