11. 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) ↗
12. Automotive electronics design fundamentals. ([2015]) Authors: Zaman, Najamuz Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Batteryless mm-wave wireless sensors. ([2018]) Authors: Gao, Hao; Matters-Kammerer, Marion; Milošević, Dušan; Baltus, Peter G. M (Peter Gerardus Maria), 1960- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Bond graphs for modelling, control and fault diagnosis of engineering systems. (2017) Editors: Borutzky, Wolfgang 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. Capacitively-coupled chopper amplifiers. (2017) Authors: Fan, Qinwen; Makinwa, Kofi A. A; Huijsing, Johan H, 1938- Record Type: Book Extent: 1 online resource (129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. CMOS indoor light energy harvesting system for wireless sensing applications. ([2016]) Authors: Carvalho, Carlos Manuel Ferreira; Paulino, Nuno Record Type: Book Extent: 1 online resource (216 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. CMOS integrated circuit design for wireless power transfer. ([2018]) Authors: Lu, Yan Other Names: Ki, Wing-Hung, 1961- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. CMOS RF circuit design for reliability and variability. ([2016]) Authors: Yuan, J. S Record Type: Book Extent: 1 online resource (vi, 106 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Coexistence of IMT-advanced systems for spectrum sharing with FSS receivers in C-Band and Extended C-Band. ([2018]) Authors: Abdulrazak, Lway Faisal Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. 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) ↗