1501. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1502. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1503. Software Engineering Paralleler Systeme : Grundlagen, Algorithmen, Programmierung /: Grundlagen, Algorithmen, Programmierung. (2019) Authors: Uelschen, Michael Record Type: Book Extent: 1 online resource (405 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1504. Software Engineering Research, Management and Applications. (2019) Editors: Lee, Roger Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1505. Integrating research and practice in software engineering. (2019) Editors: Jarzabek, Stan; Poniszewska-Marańda, Aneta; Madeyski, Lech Record Type: Book Extent: 1 online resource (258 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1506. RoboCup 2018 : Robot World Cup XXII /: Robot World Cup XXII. (2019) Editors: Holz, Dirk; Genter, Katie; Saad, Maarouf; von Stryk, Oskar Record Type: Book Extent: 1 online resource (539 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1507. Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers /: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers. (2019) Editors: van Sinderen, Marten; Maciaszek, Leszek A Record Type: Book Extent: 1 online resource (421 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1508. Testmanagement in der Praxis. (2019) Authors: Droste, Oliver; Merz, Christina Record Type: Book Extent: 1 online resource (230 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1509. Software engineering for automotive systems : principles and applications /: principles and applications. (2022) Editors: (Electrical engineer), Sivakumar, P; Kumar, B. Vinoth; Sandhya Devi, R. S Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1510. Accelerate devops with GitHub : enhance software delivery performance with GitHub issues, projects, actions, and advanced security /: enhance software delivery performance with GitHub issues, projects, actions, and advanced security. (2022) Authors: Kaufmann, Michael Other Names: Dohmke, Thomas writer of supplementary textual content.; Brown, Donovan writer of supplementary textual content. Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗