201. 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) ↗
202. Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /: 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings. (2017) Editors: Martínez de Pisón, Francisco Javier; Urraca, Rubén; Quintián, Héctor; Corchado, Emilio Other Names: HAIS (Conference), 12th Record Type: Book Extent: 1 online resource (xviii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
203. Implementing effective code reviews : how to build and maintain clean code /: how to build and maintain clean code. (2020) Other Names: Carullo, Giuliana Record Type: Book Extent: 1 online resource (196 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
204. Inductive logic programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers /: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers. (2018) Editors: Lachiche, Nicolas; Vrain, Christel Other Names: ILP (Conference), 27th Record Type: Book Extent: 1 online resource (x, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
205. Inductive logic programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings /: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings. (2018) Editors: Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo Other Names: ILP (Conference), 28th Record Type: Book Extent: 1 online resource (ix, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
206. Information and communication technologies in education, research, and industrial applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. (2016) Editors: Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander; Batsakis, Sotiris Other Names: ICTERI (Conference), 11th Record Type: Book Extent: 1 online resource (xi, 157 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
207. Information security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings. (2015) Editors: Desmedt, Yvo Other Names: ISC (Conference : Information security), 16th Record Type: Book Extent: 1 online resource (xiv, 418 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
208. Instruction level parallelism. (2016) Authors: Aiken, Alex; Banerjee, Utpal, 1942-; Kejariwal, Arun; Nicolau, Alexandru Record Type: Book Extent: 1 online resource (255 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
209. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
210. Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. (2017) Editors: Polikarpova, Nadia; Schneider, S. A (Steve A.) Other Names: International Conference on Integrated Formal Methods, 13th Record Type: Book Extent: 1 online resource (xxi, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗