551. Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings. (2016) Editors: Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce; Moura, Leonardo de; Tompa, Frank Other Names: CICM (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 384 pages), illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
552. PRIMA 2016 : princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /: princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings. (2016) Editors: Baldoni, Matteo, 1968-; Chopra, Amit K; Son, Tran Cao, 1962-; Hirayama, Katsutoshi; Torroni, Paolo Other Names: International Conference on Principles and Practice of Multi-agent Systems, 19th Record Type: Book Extent: 1 online resource (xv, 418 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
553. Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. (2017) Editors: Yevtushenko, Nina; Cavalli, Ana; Yenigun, Husnu Other Names: ICTSS (Conference), 29th Record Type: Book Extent: 1 online resource (xiii, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
554. Smart card research and advanced applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers /: 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers. (2017) Editors: Lemke-Rust, Kerstin; Tunstall, Michael Other Names: CARDIS (Conference), 15th Record Type: Book Extent: 1 online resource (xii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
555. Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings /: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. (2016) Editors: (Computer engineer), Igarashi, Atsushi Other Names: APLAS (Symposium), 14th Record Type: Book Extent: 1 online resource (xvii, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
556. It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab /: essays to celebrate the lifelong scientific achievements of Farhad Arbab. ([2018]) Editors: Boer, Frank S. de; Bonsangue, Marcello M; Rutten, J. J. M. M Other Names: Arbab, F (Farhad) honouree. Record Type: Book Extent: 1 online resource (xii, 244 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
557. Beginning C++17 : from novice to professional /: from novice to professional. (2018) Authors: Horton, Ivor; Weert, Peter van Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
558. Formalizing data-centric web services. (2015) Authors: Saleh, Iman Record Type: Book Extent: 1 online resource (xiii, 131 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
559. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
560. Programming languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, proceedings /: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, proceedings. (2015) Editors: Pardo, Alberto; Swierstra, S. Doaitse Other Names: SBLP (Symposium), 19th Record Type: Book Extent: 1 online resource (143 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗