91. 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) ↗
92. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Supercomputing : third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised selected papers /: third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised selected papers. (2017) Editors: Voevodin, Vladimir; Sobolev, Sergey Other Names: Russian Supercomputing Days, 3rd Record Type: Book Extent: 1 online resource (xvi, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. System level design from HW/SW to memory for embedded systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings /: 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings. (2017) Editors: Götz, Marcelo; Schirner, Gunar; Wehrmeister, Marco Aurélio; Al Faruque, Mohammad Abdullah; Rettberg, Achim Other Names: IFIP TC10 Working Conference: International Embedded Systems Symposium, 5th Record Type: Book Extent: 1 online resource (xii, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. The network organization : a governance perspective on structure, dynamics and performance /: a governance perspective on structure, dynamics and performance. ([2017]) Authors: Moretti, Anna Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. 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) ↗
98. 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) ↗
99. Towards integrative machine learning and knowledge extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised selected papers /: BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised selected papers. (2017) Editors: Holzinger, Andreas; Goebel, Randy; Ferri, Massimo; Palade, Vasile, 1964- Other Names: BIRS Workshop Record Type: Book Extent: 1 online resource (xvi, 207 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Virtual, augmented and mixed reality : 9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings /: 9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings. (2017) Editors: Lackey, Stephanie; (Research psychologist), Chen, Jessie Other Names: VAMR (Conference), 9th Record Type: Book Extent: 1 online resource (568 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗