1101. Theory and practice of model transformations : 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings /: 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. (2016) Editors: Gorp, Pieter van; Engels, G Other Names: ICMT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 207 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1102. NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (2017) Editors: Barrett, Clark; Davies, Misty; Kahsai, Temesghen Other Names: NFM (Symposium), 9th Record Type: Book Extent: 1 online resource (xi, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1103. Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017) Editors: Geuvers, Herman, 1964-; England, Matthew; Hasan, Osman, 1975-; Rabe, Florian; Teschke, Olaf Other Names: CICM (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1104. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1105. 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) ↗
1106. Information security and cryptology : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers /: 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers. (2017) Editors: Chen, Kefei, 1959-; Lin, Dongdai; Yung, Moti Other Names: Inscrypt (Conference), 12th Record Type: Book Extent: 1 online resource (xiii, 544 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1107. Euro-Par 2017 : Parallel Processing Workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised selected papers /: Parallel Processing Workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised selected papers. (2018) Editors: Heras, Dora B; Bougé, Luc Other Names: International EURO-PAR Conference, 23rd Record Type: Book Extent: 1 online resource (XVIII, 751 pages 247 illustrations), online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1108. AI 2017 : advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings /: advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings. (2017) Editors: Peng, Wei; Alahakoon, Damminda; Ph. D, Li, Xiaodong Other Names: Australasian Joint Conference on Artificial Intelligence, 30th Record Type: Book Extent: 1 online resource (xiii, 376 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1109. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017) Editors: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra Other Names: NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference Record Type: Book Extent: 1 online resource (vii, 107 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1110. Advances in human factors, software, and systems engineering : proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angeles, California, USA /: proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angeles, California, USA. ([2018]) Editors: Ahram, Tareq Z; Karwowski, Waldemar, 1953- Other Names: International Conference on Human Factors, Software, and Systems Engineering Record Type: Book Extent: 1 online resource (196 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗