311. 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) ↗
312. 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) ↗
313. 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) ↗
314. 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) ↗
315. 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) ↗
316. 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) ↗
317. 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) ↗
318. Data mining algorithms in C++ : data patterns and algorithms for modern applications /: data patterns and algorithms for modern applications. ([2018]) Authors: Masters, Timothy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
319. Machine learning for decision makers : cognitive computing fundamentals for better decision making /: cognitive computing fundamentals for better decision making. ([2017]) Authors: Kashyap, Patanjali Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
320. Fundamentals of adaptive signal processing. (2015) Authors: Uncini, Aurelio Record Type: Book Extent: 1 online resource (xxv, 704 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗