1491. Fundamental approaches to software engineering : 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. (2017) Editors: Huisman, Marieke; Rubin, Julia Other Names: FASE (Conference), 20th; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xiii, 444 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1492. Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016) Editors: Rival, Xavier Other Names: International Static Analysis Symposium, 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1493. Programmieren für Ingenieure und Naturwissenschaftler : Intelligente Algorithmen und digitale Technologien /: Intelligente Algorithmen und digitale Technologien. (2018) Authors: Dörn, Sebastian Record Type: Book Extent: 1 online resource (391 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1494. Management of software engineering innovation in Japan. (2015) Authors: Kadono, Yasuo Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1495. Systems engineering of software-enabled systems. (2019) Authors: Fairley, R. E (Richard E.), 1937- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1496. Software engineering for embedded systems. (2018) Editors: Oshana, Robert; Kraeling, Mark Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1497. Qualitätssicherung durch Softwaretests : Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /: Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen. (2019) Authors: Kleuker, Stephan Record Type: Book Extent: 1 online resource (403 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1498. Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. (2019) Editors: Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario Record Type: Book Extent: 1 online resource (498 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1499. Human-computer interaction : recognition and interaction technologies : Thematic Area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part II /: recognition and interaction technologies : Thematic Area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part II. (2019) Editors: Kurosu, Masaaki, 1948- Other Names: International Conference on Human-Computer Interaction, 21st Record Type: Book Extent: 1 online resource (xxi, 559 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1500. HCI International 2019 - posters : 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III /: 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III. (2019) Editors: Stephanidis, Constantine Other Names: International Conference on Human-Computer Interaction, 21st Record Type: Book Extent: 1 online resource (xxiv, 582 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗