81. String analysis for software verification and security. ([2017]) Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings /: technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings. (2016) Editors: Grabowski, Jens; Herbold, Steffen Other Names: SAM (Workshop : System analysis), 9th Record Type: Book Extent: 1 online resource (x, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. (2016) Editors: Wotawa, Franz; Nica, Mihai; Kushik, Natalia Other Names: ICTSS (Conference), 28th Record Type: Book Extent: 1 online resource (xviii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. 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) ↗
85. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017) Editors: Gopal, T. V; Dr, Jäger, Gerhard; Steila, Silvia Other Names: TAMC (Conference), 14th Record Type: Book Extent: 1 online resource (xxvi, 698 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. 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) ↗
88. Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /: second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. (2017) Editors: Mousavi, Mohammad Reza, 1978-; Sgall, Jiří, 1965- Other Names: IFIP WG 1.8 International Conference, 2nd Record Type: Book Extent: 1 online resource (xvii, 125 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Transactions on foundations for mastering change. I (2016) Editors: Steffen, Bernhard Record Type: Book Extent: 1 online resource (xii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Transactions on large-scale data- and knowledge-centered systems XXXIV : special issue on consistency and inconsistency in data-centric applications /: special issue on consistency and inconsistency in data-centric applications. (2017) Editors: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland; Decker, Hendrik Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗