111. Tangible interactive systems : grasping the real world with computers /: grasping the real world with computers. (2016) Authors: Boy, Guy A Record Type: Book Extent: 1 online resource (xii, 212 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
112. COOP 2016 : proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy /: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. (2016) Editors: Angeli, Antonella De; Bannon, Liam; Marti, Patrizia; Bordin, Silvia Other Names: International Conference on the Design of Cooperative Systems, 12th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
113. Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016]) Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource (viii, 94 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
114. Model-implementation fidelity in cyber physical system design. (©2017) Editors: Molnos, Anca; Fabre, Christian Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Beyond the Internet of Things : everything interconnected /: everything interconnected. ([2017]) Editors: Batalla, Jordi Mongay; Mastorakis, George, 1978-; Mavromoustakis, Constandinos X, 1974-; Pallis, Evangelos, 1971- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Inventing the Cloud Century : How Cloudiness Keeps Changing Our Life, Economy and Technology /: How Cloudiness Keeps Changing Our Life, Economy and Technology. ([2018]) Authors: Oppitz, Marcus; Tomsu, Peter Record Type: Book Extent: 1 online resource (XXVI, 609 pages), 221 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Data Analytics for Protein Crystallization. ([2017]) Other Names: Pusey, Marc L; Aygün, Ramazan Savaş Record Type: Book Extent: 1 online resource (245 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. Integration, interconnection, and interoperability of IoT Systems. (2018) Editors: Palau, Carlos E; Manso, Marco; Liotta, Antonio; Fortino, Giancarlo Other Names: Gravina, Raffaele Record Type: Book Extent: 1 online resource (237 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Dependable multicore architectures at nanoscale. ([2018]) Editors: Ottavi, Marco; Gizopoulos, Dimitris; Pontarelli, Salvatore Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Handbook of large-scale distributed computing in smart healthcare. ([2017]) Editors: Khan, Samee Ullah; Zomaya, Albert Y; Abbas, Assad Record Type: Book Extent: 1 online resource (630 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗