501. Theoretical aspects of computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings /: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings. (2015) Editors: Leucker, Martin; Rueda, Camilo; Valencia, F. D (Frank D.) Other Names: ICTAC (Colloquium), 12th Record Type: Book Extent: 1 online resource (620 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
502. Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. (2016) Editors: Sampaio, Augusto; Wang, Farn Other Names: ICTAC (Colloquium), 13th Record Type: Book Extent: 1 online resource (xvii, 479 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
503. Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. (2018) Editors: (Computer scientist), Fischer, Bernd; Uustalu, Tarmo Other Names: ICTAC (Colloquium), 15th Record Type: Book Extent: 1 online resource (xvii, 533 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
504. Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018) Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir Other Names: TAFA (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
505. 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) ↗
506. Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings. (2017) Editors: Guerra, Esther; Brand, Mark van den Other Names: ICMT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
507. Theory and practice of model transformation : 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018) Editors: Rensink, Arend; Sánchez Cuadrado, Jesús Other Names: ICMT (Conference), 11th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
508. Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /: 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. (2015) Editors: Kolovos, Dimitrios; Wimmer, Manuel Other Names: ICMT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
509. Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018) Editors: Itsykson, Vladimir; Ščedrov, Andrej, 1955-; Zakharov, Victor Other Names: International Conference on Tools and Methods of Program Analysis, 4th Record Type: Book Extent: 1 online resource (xviii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
510. Topics in parallel and distributed computing : enhancing the undergraduate curriculum: performance, concurrency, and programming on modern platforms /: enhancing the undergraduate curriculum: performance, concurrency, and programming on modern platforms. (2018) Editors: Prasad, Sushil K; Gupta, Anshul; Rosenberg, Arnold; Sussman, Alan (Alan L.); Weems, Chip Record Type: Book Extent: 1 online resource (vi, 337 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗