121. Ewa Orłowska on Relational Methods in Logic and Computer Science. (2018) Other Names: Golińska-Pilarek, Joanna; Zawidzki, Michał Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
122. 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) ↗
123. Exploring the early digital. ([2019]) Editors: Haigh, Thomas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Fair scheduling in high performance computing environments. ([2019]) Authors: Sedighi, Art; Smith, Milton L Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. First generation mainframes : the IBM 700 series /: the IBM 700 series. (2018) Authors: Kaisler, Stephen H (Stephen Hendrick) Record Type: Book Extent: 1 online resource (xi, 208 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. Fluency with information technology : skills, concepts, & capabilities /: skills, concepts, & capabilities. ([2015]) Authors: Snyder, Lawrence Other Names: Venkatesh, Chethan contributor.; Snyder, Lawrence Record Type: Book Extent: 1 online resource (xviii, 772 pages), illustrations (black and white, and colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. 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) ↗
128. 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) ↗
129. 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) ↗
130. 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) ↗