11. Guide to competitive programming : learning and improving algorithms through contests /: learning and improving algorithms through contests. ([2018]) Authors: Laaksonen, Antti Record Type: Book Extent: 1 online resource (xii, 283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. 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) ↗
13. PRIMA 2018 : Principles and Practice of Multi-Agent Systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /: Principles and Practice of Multi-Agent Systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings. (2018) Editors: Miller, Tim; Oren, Nir; Sakurai, Yuko; Noda, Itsuki; Savarimuthu, Bastin Tony Roy; Son, Tran Cao, 1962- Other Names: International Conference on Principles and Practice of Multi-agent Systems, 21st Record Type: Book Extent: 1 online resource (xvii, 682 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Hands-On Object-Oriented Programming with Kotlin : Build robust software with reusable code using OOP principles and design patterns in Kotlin /: Build robust software with reusable code using OOP principles and design patterns in Kotlin. (2018) Authors: K̲h̲ān, Ābid; Kucherenko, Igor Record Type: Book Extent: 1 online resource (370 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings /: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings. ([2015]) Editors: Drewes, Frank Other Names: CIAA (Conference), 20th Record Type: Book Extent: 1 online resource (xxiii, 316 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016) Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch Other Names: Boer, Frank S. de honouree. Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. (2016) Editors: Horia Dediu, Adrian; Janousek, Jan; Martín Vide, Carlos; Truthe, Bianca Other Names: LATA (Conference), 10th Record Type: Book Extent: 1 online resource (xv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Limits of computation : from a programming perspective /: from a programming perspective. (2016) Authors: Reus, Bernhard, 1965- Record Type: Book Extent: 1 online resource (xviii, 348 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Computational collective intelligence. 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings /: 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings. Part I : (2016) Editors: (Computer scientist), Nguyen, Ngoc Thanh; Iliadis, Lazaros S; Manolopoulos, Yannis, 1957-; Trawiński, Bogdan Other Names: ICCCI (Conference), 8th Record Type: Book Extent: 1 online resource (xxix, 602 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Advances in swarm intelligence. 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings /: 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings. Part II : ([2016]) Editors: Tan, Ying, 1964-; Shi, Yuhui; Li, Li Other Names: ICSI (Conference), 7th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗