1. Introducing Gradle. ([2015]) Other Names: Varanasi, Balaji; Belida, Sudha Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017) Editors: Aceto, Luca; Bacci, Giorgio; (Computer scientist), Bacci, Giovanni; Legay, Axel; Mardare, Radu; Anna Ingólfsdóttir, 1952- Other Names: Larsen, K. G (Kim G.) 1957- honouree. Record Type: Book Extent: 1 online resource (662 pages) 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 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) ↗
4. 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) ↗
5. Software engineering : specification, implementation, verification /: specification, implementation, verification. (2017) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xv, 178 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Embedded software verification and debugging. (2017) Editors: Lettnin, Djones; Winterholer, Markus Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings /: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. (2015) Editors: Haenni, Rolf; Koenig, Reto E; Wikström, Douglas Other Names: Vote-ID (Conference), 5th Record Type: Book Extent: 1 online resource (ix, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xviii, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xxiii, 677 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗