141. Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018]) Editors: Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Foundations of hardware IP protection. (2017) Editors: Bossuet, Lilian; Torres, Lionel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Foundations of heterogeneous integration : an industry-based, 2.5D/3D pathfinding and co-design approach /: an industry-based, 2.5D/3D pathfinding and co-design approach. ([2018]) Authors: Yazdani, Farhang Record Type: Book Extent: 1 online resource (182 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Foundations of trusted autonomy. (2018) Editors: Abbass, Hussein A; Scholz, Jason; Reid, Darryn J Record Type: Book Extent: 1 online resource (xvii, 395 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. FPGA based accelerators for financial applications. (2015) Editors: Schryver, Christian De Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. FPGA design : best practices for team-based reuse /: best practices for team-based reuse. (2015) Authors: Simpson, Philip A Record Type: Book Extent: 1 online resource (xi, 257 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Fractal elements and their applications. (2017) Authors: Gil'mutdinov, Anis Kharisovich; Ushakov, Pyotr Arkhipovich; El-Khazali, Reyad Editors: Gil'mutdinov, Anis Kharisovich Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Fracture mechanics of piezoelectric solids with interface cracks. ([2017]) Authors: Govorukha, Volodymyr; Kamlah, Marc Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Functional safety for road vehicles : new challenges and solutions for e-mobility and automated driving /: new challenges and solutions for e-mobility and automated driving. (2016) Authors: Ross, Hans-Leo Record Type: Book Extent: 1 online resource (xv, 269 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Fundamentals of computer architecture and design. (2017) Authors: Bindal, Ahmet Record Type: Book Extent: 1 online resource (xiv, 533 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗