131. Fog computing : concepts, frameworks and technologies /: concepts, frameworks and technologies. (2018) Editors: Mahmood, Zaigham Record Type: Book Extent: 1 online resource (xxi, 291 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Formal methods for safety and security : case studies for aerospace applications /: case studies for aerospace applications. (2018) Editors: Nanda, Manju; Jeppu, Yogananda Record Type: Book Extent: 1 online resource (xii, 132 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Foundations of discrete mathematics with algorithms and programming. (2019) Authors: Sridharan, Sriraman; Balakrishnan, R (Rangaswami) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Foundations of embedded systems. ([2019]) Authors: Barkalov, Alexander; Titarenko, Larysa; Mazurkiewicz, Małgorzata Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. Frontier computing : theory, technologies and applications (FC 2017) /: theory, technologies and applications (FC 2017). (2018) Editors: Hung, Jason C, 1973-; Yen, Neil Y; Hui, Lin Other Names: International Conference on Frontier Computing, 6th Record Type: Book Extent: 1 online resource (xi, 477 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Frontier computing : theory, technologies and applications (FC 2018) /: theory, technologies and applications (FC 2018). (2018) Editors: Hung, Jason C, 1973-; Yen, Neil Y; Kuai, Lin Other Names: International Conference on Frontier Computing, 7th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Frontier computing : theory, technologies and applications /: theory, technologies and applications. (2016) Editors: Hung, Jason C, 1973-; Yen, Neil Y; Li, Kuan-Ching Other Names: International Conference on Frontier Computing, 4th Record Type: Book Extent: 1 online resource (xxii, 1252 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Fundamentals of Computer Architecture. (2003) Other Names: Burrell, Mark Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Getting started with NativeScript : explore the possibility of building truly native, cross-platform mobile applications using your JavaScript skill--NativeScript! /: explore the possibility of building truly native, cross-platform mobile applications using your JavaScript skill--NativeScript!. (2016) Authors: Anderson, Nathanael J Other Names: Stoychev, Valio author of foreword. Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗