191. Similarity search and applications : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings /: 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings. (2016) Editors: Amsaleg, Laurent; Houle, Michael E; Schubert, Erich Other Names: International Conference on Similarity Search and Applications, 9th Record Type: Book Extent: 1 online resource (xvii, 339 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
192. Simulation and synthesis in medical imaging : second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings /: second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings. (2017) Editors: Tsaftaris, Sotirios A; Gooya, Ali; Frangi, Alejandro F; Prince, Jerry L Other Names: SASHIMI (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 20th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
193. Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017) Authors: Zeume, Thomas Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
194. Smart computing and communication : first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings /: first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings. (2017) Editors: Qiu, Meikang Other Names: SmartCom (Conference : Smart computing and communication), 1st Record Type: Book Extent: 1 online resource (xiii, 589 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
195. SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /: theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. (2016) Editors: Freĭvald, R. V; Engels, G; Catania, Barbara, 1969- Other Names: SOFSEM (Conference), 42nd Record Type: Book Extent: 1 online resource (xv, 630 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. SOFSEM 2017 : theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings /: theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings. (2017) Editors: Steffen, Bernhard; Baier, Christel; Brand, Mark van den; Eder, J (Johann), 1958-; Hinchey, Michael G (Michael Gerard), 1969-; Margaria-Steffen, Tiziana, 1964- Other Names: SOFSEM (Conference), 43rd Record Type: Book Extent: 1 online resource (xviii, 526 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
197. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015) Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st Record Type: Book Extent: 1 online resource (xxix, 325 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. (2016) Editors: Bonakdarpour, Borzoo; Petit, Franck Other Names: SSS (Symposium), 18th Record Type: Book Extent: 1 online resource (xiii, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016) Editors: Rival, Xavier Other Names: International Static Analysis Symposium, 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
200. String Algorithms in C : Efficient Text Representation and Search /: Efficient Text Representation and Search. (2020) Authors: Mailund, Thomas Other Names: Safari, an O'Reilly Media Company. Record Type: Book Extent: 1 online resource (299 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗