41. Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017) Editors: Blieberger, Johann; Bader, Markus Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings. (2017) Editors: Guerra, Esther; Brand, Mark van den Other Names: ICMT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Detection of intrusions and malware, and vulnerability assessment : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings /: 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings. (2017) Editors: (Computer scientist), Polychronakis, Michalis; Meier, Michael Other Names: DIMVA (Conference), 14th Record Type: Book Extent: 1 online resource (x, 412 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. (2017) Editors: Bodden, Eric; Payer, Mathias; Athanasopoulos, Elias Other Names: ESSoS (Symposium), 9th Record Type: Book Extent: 1 online resource (x, 241 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. DataFlow supercomputing essentials : research, development and education /: research, development and education. (2017) Other Names: Milutinović, Veljko Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings /: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings. (2017) Editors: Dou, Yong; Lin, Hai-Xiang; Sun, Guangyu; (College teacher), Wu, Junjie; Heras, Dora; Bougé, L (Luc) Other Names: APPT (Symposium), 12th Record Type: Book Extent: 1 online resource (ix, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. (2017) Editors: Spirakis, P. G (Paul G.), 1955-; Tsigas, Philippas Other Names: SSS (Symposium), 19th Record Type: Book Extent: 1 online resource (xiii, 496 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings /: 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings. (2017) Editors: Gaspers, Serge; Walsh, Toby Other Names: SAT (Conference), 20th Record Type: Book Extent: 1 online resource (xiii, 476 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings. (2018) Editors: Wu, Weigang; Yokota, Rio Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Brain informatics : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings /: International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings. (2017) Editors: Zeng, Yi; He, Yong; Kotaleski, Jeanette Hellgren; Martone, Maryann E; Xu, Bo; Peng, Hanchuan; Luo, Qingming Other Names: International Conference on Brain Informatics Record Type: Book Extent: 1 online resource (xvi, 336 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗