111. 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) ↗
112. 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) ↗
113. 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 II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
114. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 20th Record Type: Book Extent: 1 online resource (xiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. (2016) Editors: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N Other Names: EPEW (Workshop), 13th Record Type: Book Extent: 1 online resource (xviii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (2017) Editors: Reinecke, Philipp; Di Marco, Antinisca Other Names: EPEW (Workshop), 14th Record Type: Book Extent: 1 online resource (XVI, 299 pages), 103 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗