1. 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) ↗
2. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018) Editors: Baier, Christel; (Computer scientist), Dal Lago, Ugo Other Names: FOSSACS (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xv, 583 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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 II (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /: 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. (2018) Editors: Rusu, Vlad Other Names: WRLA (Conference), 12th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗