601. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
602. Model and data engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015. Proceedings /: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015. Proceedings. (2015) Editors: Bellatreche, Ladjel, 1968-; Manolopoulos, Yannis, 1957- Other Names: MEDI (Conference), 5th Record Type: Book Extent: 1 online resource (xix, 256 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
603. Agent environments for multi-agent systems IV : 4th international workshop, E4MAS 2014 - 10 years later, Paris, France, May 6, 2014, revised selected and invited papers /: 4th international workshop, E4MAS 2014 - 10 years later, Paris, France, May 6, 2014, revised selected and invited papers. (2015) Editors: Weyns, Danny; Michel, Fabien Other Names: E4MAS (Workshop), 4th; AAMAS (Conference), 13th Record Type: Book Extent: 1 online resource (255 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
604. Risk assessment and risk-driven testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : Revised selected papers /: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : Revised selected papers. (2015) Editors: Seehusen, Fredrik; Felderer, Michael; (Project manager), Grossmann, Jürgen; Wendland, Marc-Florian Other Names: Object Management Group., Technical Meeting., (2015) (Berlin, Germany); RISK (Conference), 3rd Record Type: Book Extent: 1 online resource (121 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
605. Research in attacks, intrusions, and defenses : 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, proceedings /: 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, proceedings. (2015) Editors: Bos, Herbert; Monrose, Fabian; Blanc, Gregory Other Names: RAID (Symposium), 18th Record Type: Book Extent: 1 online resource (638 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
606. Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. (2016) Editors: Probst, Christian W; Hankin, Chris; Hansen, René Rydhof Other Names: Nielson, Hanne Riis 1954- honouree.; Nielson, Flemming 1955- honouree. Record Type: Book Extent: 1 online resource (x, 345 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
607. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015) Editors: Meyer, Bertrand, 1950-; Nordio, Martin Other Names: LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th Record Type: Book Extent: 1 online resource (vii, 191 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
608. The FLP microsatellite platform : flight operations manual /: flight operations manual. ([2016]) Editors: Eickhoff, Jens Record Type: Book Extent: 1 online resource (xxvi, 680 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
609. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014 /: selected contributions from FDL 2014. (2016) Editors: Oppenheimer, Frank; Pasaje, Julio Luis Medina Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
610. 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) ↗