191. 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) ↗
192. 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) ↗
193. 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) ↗
194. 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) ↗
195. Structural information and communication complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers /: 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers. (2016) Editors: Suomela, Jukka Other Names: Colloquium on Structural Information and Communication Complexity, 23rd Record Type: Book Extent: 1 online resource (xxix, 408 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. Structural information and communication complexity : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers /: 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers. (2017) Editors: Das, Shantanu; Tixeuil, Sébastien Other Names: Colloquium on Structural Information and Communication Complexity, 24th Record Type: Book Extent: 1 online resource (xxix, 377 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
197. Structural, syntactic, and statistical pattern recognition : joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29-December 2, 2016, Proceedings /: joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29-December 2, 2016, Proceedings. (2016) Editors: Robles-Kelly, Antonio A; Loog, Marco; Biggio, Battista; Escolano, Francisco; Wilson, Richard Other Names: International Workshop on Structural and Syntactic Pattern Recognition; International Workshop on Statistical Techniques in Pattern Recognition Record Type: Book Extent: 1 online resource (xiii, 588 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Swarm intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /: 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings. ([2016]) Editors: Dorigo, Marco; Birattari, Mauro; Ph. D, Li, Xiaodong; López-Ibáñez, Manuel; Ohkura, Kazuhiro; Pinciroli, Carlo; Stützle, Thomas Other Names: École nationale supérieure des beaux-arts (France); ANTS (Conference : Swarm intelligence), 10th Record Type: Book Extent: 1 online resource (XIII, 304 pages 105 illustrations), online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. Tensor Eigenvalues and their applications. (2018) Authors: Qi, Liqun; Chen, Haibin; Chen, Yannan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
200. The discrete math workbook : a companion manual for practical study /: a companion manual for practical study. (2018) Authors: Kurgalin, Sergei; Borzunov, Sergei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗