291. Smart STEM-driven computer science education : theory, methodology and robot-based practices /: theory, methodology and robot-based practices. (2018) Authors: Štuikys, Vytautas; Burbaitė, Renata Record Type: Book Extent: 1 online resource (xvii, 368 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. Smart technology : first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings /: first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings. (2018) Editors: Torres Guerrero, Francisco; Lozoya-Santos, Jorge; González Mendívil, Eduardo; Neira-Tovar, Leticia; Ramírez Flores, Pablo G; Martin-Gutierrez, Jorge Other Names: MTYMEX (Conference), 1st Record Type: Book Extent: 1 online resource (xi, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
293. Social robotics : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings /: 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings. (2017) Editors: Kheddar, Abderrahmane; Yoshida, Eiichi, 1967-; Ge, S. S (Shuzhi S.); (Professor of engineering), Suzuki, Kenji; Cabibihan, J.-J (John-John); Eyssel, Friederike; He, Hongsheng Other Names: International Conference on Social Robotics, 9th Record Type: Book Extent: 1 online resource (xv, 761 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. (2020) Editors: de Boer, Frank; Cerone, Antonio Record Type: Book Extent: 1 online resource (325 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Software technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers /: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers. (2020) Editors: Sinderen, Marten J. van, 1958-; Maciaszek, Leszek Other Names: ICSOFT (Conference), 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers /: applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers. ([2018]) Editors: Seidl, Martina; Zschaler, Steffen Other Names: STAF (Federation of conferences); GCM (Workshop), 8th; GRAND (Workshop), 1st; MORSE (Workshop), 4th; OCL (Workshop), 17th Record Type: Book Extent: 1 online resource (XXIV, 418 pages), 133 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
297. Spinning up ServiceNow : IT service managers' guide to successful user adoption /: IT service managers' guide to successful user adoption. ([2017]) Authors: Kahlout, Gabriele Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
298. Springer handbook of global navigation satellite systems. ([2017]) Editors: Teunissen, P. J. G; Montenbruck, Oliver, 1961- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. (2017) Editors: Spirakis, P. G (Paul G.), 1955-; Tsigas, Philippas Other Names: SSS (Symposium), 19th Record Type: Book Extent: 1 online resource (xiii, 496 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Stabilization, safety, and security of distributed systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings. (2018) Editors: Izumi, Taisuke; Kuznet︠s︡ov, Petr Other Names: SSS (Symposium), 20th Record Type: Book Extent: 1 online resource (xiii, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗