171. Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings /: SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th; ASSURE (Workshop), 3rd; DECSoS (Workshop), 2nd; ISSE (Workshop), 2nd; ReSA4CI (Workshop), 2nd; SASSUR (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings /: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 5th; TIPS (Workshop), 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 36th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 6th; TELERISE (Workshop), 3rd; TIPS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiv, 478 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Computer safety, reliability, and security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. (2018) Editors: Gallina, Barbara; Skavhaug, Amund, 1965-; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 37th; International Workshop on Assurance Cases for Software-Intensive Systems, 6th; DECSoS (Workshop), 13th; SASSUR (Workshop), 7th; STRIVE (Workshop), 1st; WAISE (Workshop), 1st Record Type: Book Extent: 1 online resource (xv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Musatov, Daniil V Other Names: International Computer Science Symposium in Russia, 10th Record Type: Book Extent: 1 online resource (xx, 443 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Computer science -- Theory and applications : 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings /: 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings. (2016) Editors: Kulikov, Alexander S; Woeginger, Gerhard Other Names: International Computer Science Symposium in Russia, 11th Record Type: Book Extent: 1 online resource (xxi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Computer science -- theory and applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. (2017) Editors: Weil, Pascal Other Names: International Computer Science Symposium in Russia, 12th Record Type: Book Extent: 1 online resource (x, 337 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. Computer science -- theory and applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings. (2018) Editors: Fomin, Fedor V; Podolskii, Vladimir V Other Names: International Computer Science Symposium in Russia, 13th Record Type: Book Extent: 1 online resource (xxxii, 335 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Concepts of Programming Languages. (2022) Authors: Sebesta, Robert W Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. Conceptual modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings /: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings. (2017) Editors: Mayr, H. C (Heinrich Christian); Guizzardi, Giancarlo; (Computer programmer), Ma, Hui; Pastor, Óscar, 1962- Other Names: International Conference on Conceptual Modeling, 36th Record Type: Book Extent: 1 online resource (xxii, 536 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗