51. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 429 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part III (2019) Editors: Beyer, Dirk, 1972-; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxvii, 258 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part II (2019) Editors: Vojnar, Tomáš; Zhang, Lijun, 1979- Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxiii, 413 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part I (2019) Editors: Vojnar, Tomáš; Zhang, Lijun, 1979- Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxiii, 433 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 411 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. 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) ↗
58. Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers /: 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers. (2016) Editors: Ganty, Pierre; Loreti, Michele Other Names: TGC (Symposium), 10th Record Type: Book Extent: 1 online resource (ix, 163 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017) Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966- Other Names: VECoS (Conference), 11th Record Type: Book Extent: 1 online resource (xvi, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗