101. Exploring BeagleBone® : tools and techniques for building with embedded Linux /: tools and techniques for building with embedded Linux. ([2019]) Authors: Molloy, Derek, 1973- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Exploring the Raspberry Pi 2 with C++. ([2015]) Authors: Gay, Warren Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Fault-tolerance techniques for high-performance computing. (2015) Other Names: Herault, Thomas; Robert, Yves, 1938- Record Type: Book Extent: 1 online resource (ix, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Fehlerbaumanalyse in Theorie und Praxis : Grundlagen und Anwendung der Methode /: Grundlagen und Anwendung der Methode. (2015) Authors: Edler, Frank; Soden, Michael; Hankammer, René Record Type: Book Extent: 1 online resource (290 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Flash mobile : developing Android and iOS applications /: developing Android and iOS applications. (2012) Other Names: David, Matthew, 1971- Record Type: Book Extent: 1 online resource (310 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Flash mobile : developing Android and iOS applications /: developing Android and iOS applications. (2012) Other Names: David, Matthew, 1971- Record Type: Book Extent: 1 online resource (29 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018) Editors: Baier, Christel; Caires, Luís Other Names: FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference Record Type: Book Extent: 1 online resource (xi, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. 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) ↗
109. Getting started with Red Hat enterprise virtualization : leverage powerful Red Hat Enterprise Virtualization solutions to build your own IaaS cloud /: leverage powerful Red Hat Enterprise Virtualization solutions to build your own IaaS cloud. (2014) Authors: Subramanian, Pradeep Record Type: Book Extent: 1 online resource (178 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Getting started with ResearchKit. (2016) Authors: Cessna, Edward; Balachandran, Dhanush Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗