1091. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017) Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966- Other Names: VECoS (Conference), 11th Record Type: Book Extent: 1 online resource (xvi, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1092. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1093. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Lucanu, Dorel Other Names: WRLA (Conference), 11th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 185 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1094. Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings /: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings. (2017) Editors: De Supinski, Bronis R; Olivier, Stephen L; Terboven, Christian; Chapman, Barbara, 1954-; Müller, Matthias S Other Names: IWOMP (Conference), 13th Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1095. Software engineering trends and techniques in intelligent systems : proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).: proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017). Vol 3 ([2017]) Editors: Silhavy, Radek; Silhavy, Petr; Prokopova, Zdenka; Senkerik, Roman; Oplatková, Zuzana Other Names: Computer Science On-line Conference, 6th Record Type: Book Extent: 1 online resource (xv, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1096. 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) ↗
1097. Ambient intelligence : 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings /: 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings. (2017) Editors: Braun, Andreas; Wichert, Reiner; Maña, Antonio Other Names: European Conference on Ambient Intelligence, 13th Record Type: Book Extent: 1 online resource (x, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1098. OpenSHMEM and related technologies : enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers /: enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers. (2016) Editors: Venkata, Manjunath Gorentla; Imam, Neena; Pophale, Swaroop; Mintz, Tiffany M Other Names: OpenSHMEM (Workshop), 3rd Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1099. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1100. Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /: 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. (2016) Editors: Wąsowski, Andrzej; Lönn, Henrik Other Names: ECMFA (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xviii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗