1. 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) ↗
2. 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) ↗
3. 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) ↗
4. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /: selected contributions from FDL 2013. ([2015]) Editors: Louërat, Marie-Minerve; Maehne, Torsten Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (xxxiv, 305 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015) Editors: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak Other Names: RV (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015) Editors: Fischer, Bernd; Geldenhuys, Jaco Other Names: International SPIN Workshop, 22nd Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗