1. Cacti 0.8 : beginner's guide : learn Cacti and design a robust network operations center /: beginner's guide : learn Cacti and design a robust network operations center. (2011) Other Names: Urban, Thomas Record Type: Book Extent: 1 online resource (348 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Cacti 0.8 Network Monitoring : monitor your network with ease! /: monitor your network with ease!. (2009) Other Names: Kundu, Dinangkur; Lavlu, S. M. Ibrahim; Marinache, Andrei-Silviu; Pasnak, J. P Record Type: Book Extent: 1 online resource (iii, 116 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. 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 II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II ([2020]) Editors: Lahiri, Shuvendu; Wang, Chao, 1985- Other Names: CAV (Conference), 32nd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. 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) ↗
8. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part II : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 521 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 541 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗