561. Smart graphics : 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised selected papers /: 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised selected papers. (2017) Editors: (Writer on computer science), Chen, Yaxi; Christie, Marc; (Writer on computer science), Tan, Wenrong Other Names: International Symposium on Smart Graphics, 13th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
562. Smart Health : international conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015, Revised selected papers /: international conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015, Revised selected papers. (2016) Editors: (Health scientist), Zheng, Xiaolong; Zeng, Daniel Dajun; Chen, Hsinchun; Leischow, Scott J Other Names: ICSH (Conference : Smart Health) Record Type: Book Extent: 1 online resource (xiv, 354 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
563. Smart Mobility in der Praxis : Das Auto -- unverzichtbar für den intermodalen Verkehr? /: Das Auto -- unverzichtbar für den intermodalen Verkehr?. (2018) Editors: Flügge, Barbara Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
564. Social computing in digital education : first International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015, Revised selected papers /: first International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015, Revised selected papers. (2016) Editors: Koch, Fernando; Koster, Andrew; Primo, Tiago Other Names: SOCIALEDU (Conference), 1st Record Type: Book Extent: 1 online resource (xiii, 141 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
565. Social informatics. 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings /: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings. Part I : (2018) Editors: Staab, Steffen; Koltsova, Olessia; Ignatov, Dmitry I Other Names: International Workshop on Social Informatics, 10th Record Type: Book Extent: 1 online resource (xix, 507 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
566. Social informatics. 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings /: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings. Part II : (2018) Editors: Staab, Steffen; Koltsova, Olessia; Ignatov, Dmitry I Other Names: International Workshop on Social Informatics, 10th Record Type: Book Extent: 1 online resource (xix, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
567. Social, cultural, and behavioral modeling : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /: 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings. (2018) Editors: Thomson, Robert; Dancy, Christopher; Hyder, Ayaz; Bisgin, Halil Other Names: International Conference on Social Computing, Behavioral-Cultural Modeling, and Prediction and Behavior Representation in Modeling and Simulation, 11th Record Type: Book Extent: 1 online resource (xvi, 410 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
568. Soft computing in computer and information science. (2015) Editors: Wiliński, Antoni; Fray, Imed El; Pejaś, Jerzy, 1954- Other Names: Advances Computer Systems Conference, 19th Record Type: Book Extent: 1 online resource (xvi, 446 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
569. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
570. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗