331. Artificial intelligence applications and innovations : AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings /: AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings. (2018) Editors: Iliadis, Lazaros S; Maglogiannis, Ilias G; Plagianakos, Vassilis Other Names: IFIP TC12 WG12.5--IFIP Conference on Artificial Intelligence Applications and Innovations, 14th; SEDSEAL (Workshop); 5G-PINE (Workshop), 3rd; MHDW (Workshop), 7th; HEALTHIOT (Workshop) Record Type: Book Extent: 1 online resource (xxvii, 276 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. Algorithms and models for the web graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, proceedings /: 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, proceedings. (2018) Editors: Bonato, Anthony, 1971-; Prałat, Paweł; Raigorodskii, Andrei Other Names: WAW (Workshop), 15th Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018) Editors: Konstantinidis, Stavros; Pighizzini, Giovanni Other Names: DCFS (Workshop), 20th Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
334. Computing and combinatorics : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /: 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings. (2018) Editors: Wang, Lusheng, 1962-; (Professor), Zhu, Daming Other Names: COCOON (Conference), 24th Record Type: Book Extent: 1 online resource (xix, 767 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. LATIN 2018 : Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /: Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. (2018) Editors: Bender, Michael A; Farach-Colton, Martin; Mosteiro, Miguel A Other Names: Latin American Symposium on Theoretical Informatics, 13th Record Type: Book Extent: 1 online resource (xvii, 889 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Advances in neural networks -- ISNN 2018 : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings /: 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings. (2018) Editors: Huang, Tingwen; Lv, Jian Cheng; (Computer engineer), Sun, Changyin; Tuzikov, A. V Other Names: International Symposium on Neural Networks, 15th Record Type: Book Extent: 1 online resource (xix, 872 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
338. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. Graph transformation : 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018) Editors: Lambers, Leen; (Professor of Software Engineering), Weber, Jens Other Names: ICGT (Conference), 11th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xvi, 179 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. Healthy SQL : a comprehensive guide to healthy SQL server performance /: a comprehensive guide to healthy SQL server performance. (2015) Authors: Pearl, Robert Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗