101. Human-centered and error-resilient systems development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings. (2016) Editors: Bogdan, Cristian; Gulliksen, Jan; Sauer, Stefan; Forbrig, Peter, 1954-; Winckler, Marco; Johnson, Chris; Palanque, Philippe, 1966-; Bernhaupt, Regina; Kis, Filip Other Names: International Conference on Human-Centered Software Engineering, 6th; International Conference on Human Error, Safety, and System Development, 8th Record Type: Book Extent: 1 online resource (xvii, 383 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Image and video technology : 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised selected papers /: 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised selected papers. (2018) Editors: Paul, Manoranjan; Hitoshi, Carlos; Huang, Qingming Other Names: PSIVT (Symposium), 8th Record Type: Book Extent: 1 online resource (xvi, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. (2018) Editors: Bassiliades, Nick; Ermolayev, Vadim; Fill, Hans-Georg; Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander Other Names: ICTERI (Conference), 13th Record Type: Book Extent: 1 online resource (XIV, 255 pages), 102 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Information technologies and mathematical modelling : queueing theory and applications : 14th International Scientific Conference, ITMM 2015, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings /: queueing theory and applications : 14th International Scientific Conference, ITMM 2015, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings. (2015) Editors: Dudin, Alexander; Nazarov, Anatoly (Anatoly Andreevich); Yakupov, Rafael Other Names: ITMM (Conference), 14th Record Type: Book Extent: 1 online resource (ix, 433 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Information technologies and mathematical modelling : queueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings /: queueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings. (2016) Editors: Dudin, Alexander; Gortsev, Alexander; Nazarov, Anatoly (Anatoly Andreevich); Yakupov, Rafael Other Names: ITMM (Conference), 15th Record Type: Book Extent: 1 online resource (xi, 397 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Information technologies and mathematical modelling : queueing theory and applications : 16th International Conference, ITMM 2017, named after A.F. Terpugov, Kazan, Russia, September 29-October 3, 2017, Proceedings /: queueing theory and applications : 16th International Conference, ITMM 2017, named after A.F. Terpugov, Kazan, Russia, September 29-October 3, 2017, Proceedings. (2017) Editors: Dudin, Alexander; Nazarov, Anatoly (Anatoly Andreevich); Kirpichnikov, Alexander Other Names: ITMM (Conference), 16th Record Type: Book Extent: 1 online resource (xi, 400 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Intelligente Arbeitsvorbereitung auf Basis virtueller Werkzeugmaschinen. (2019) Editors: Dangelmaier, Wilhelm; Gausemeier, Jürgen Record Type: Book Extent: 1 online resource (175 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017) Editors: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968- Other Names: ITP (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Avigad, Jeremy; Mahboubi, Assia Other Names: ITP (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvii, 642 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗