301. Computer information systems and industrial management : 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings /: 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings. (2018) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 17th Record Type: Book Extent: 1 online resource (xxi, 524 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
302. 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) ↗
303. 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) ↗
304. 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) ↗
305. 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) ↗
306. 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) ↗
307. Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. (2020) Other Names: Casimiro, Antonio; Ortmeier, Frank; Schoitsch, Erwin; Bitsch, Friedemann; Ferreira, Pedro; SAFECOMP (Conference), 39th; DECSoS (Workshop), 15th; DepDevOps (Workshop), 1st; USDAI (Workshop), 1st; WAISE (Workshop), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
308. 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) ↗
309. 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) ↗
310. 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) ↗