751. Software architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. (2017) Editors: Lopes, Antónia; Lemos, Rogério de, 1961- Other Names: ECSA (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
752. Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. (2018) Editors: Petrenko, Alexander K; Voronkov, Andrei Other Names: International Andrei Ershov Memorial Conference, 11th Record Type: Book Extent: 1 online resource (XI, 432 pages), 80 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
753. OpenSHMEM and related technologies : big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers /: big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers. ([2018]) Editors: Venkata, Manjunath Gorentla; Imam, Neena; Pophale, Swaroop Other Names: OpenSHMEM (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 181 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
754. 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) ↗
755. 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) ↗
756. 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) ↗
757. Simulating nonlinear circuits with Python power electronics : an open-source simulator, based on Python"! /: an open-source simulator, based on Python"!. ([2018]) Authors: Iyer, Shivkumar V Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
758. Ubiquitous communications and network computing : First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings /: First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings. ([2018]) Editors: Kumar, Navin; Thakre, Arpita Other Names: European Alliance for Innovation.; International Conference on Ubiquitous Communications and Network Computing, 1st Record Type: Book Extent: 1 online resource (XV, 265 pages), 123 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
759. KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings /: advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. (2017) Editors: Kern-Isberner, Gabriele, 1956-; Fürnkranz, Johannes; Thimm, Matthias Other Names: German Conference on Artificial Intelligence, 40th Record Type: Book Extent: 1 online resource (xix, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
760. Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗