1. Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Hasuo, Ichiro Other Names: Workshop on Coalgebraic Methods in Computer Science, 13th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (ix, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings /: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings. (2016) Editors: Jacobs, Bart; Löding, Christof Other Names: FOSSACS (Conference), 19th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xi, 550 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Principles of security and trust : 5th International Conference, POST 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings /: 5th International Conference, POST 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings. (2016) Editors: Piessens, F (Frank); Viganò, Luca Other Names: POST (Conference), 5th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (x, 277 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /: 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings. (2016) Editors: Dr, Thiemann, Peter Other Names: European Symposium on Programming, 25th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 806 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Lucanu, Dorel Other Names: WRLA (Conference), 11th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 185 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings /: 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings. (2016) Editors: Chechik, Marsha; Raskin, Jean-François, 1972- Other Names: TACAS (Conference), 22nd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗