41. Big data management. ([2017]) Editors: García Márquez, Fausto Pedro; Lev, Benjamin Record Type: Book Extent: 1 online resource (274 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers /: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers. (2017) Editors: Ding, Chen, 1970-; Criswell, John; Wu, Peng, 1974- Other Names: LCPC (Workshop), 29th Record Type: Book Extent: 1 online resource (xi, 348 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. 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) ↗
44. 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) ↗
45. 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) ↗
46. 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) ↗
47. 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) ↗
48. 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) ↗
49. 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) ↗
50. 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) ↗