21. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xix, 601 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Introducing Materialize. (2016) Authors: Prabhu, Anirudh; Shenoy, Aravind Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Reliability aspect of cloud computing environment. (2018) Authors: Kumar, Vikas; Vidhyalakshmi, R Record Type: Book Extent: 1 online resource (xi, 170 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Principles of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthday /: essays dedicated to Edward A. Lee on the occasion of his 60th birthday. (2018) Editors: Lohstroh, Marten; Derler, Patricia; Sirjani, Marjan Other Names: Lee, Edward A 1957- honouree. Record Type: Book Extent: 1 online resource (xxvii, 539 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗