591. Globalizing domain-specific languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers. (2015) Editors: Cheng, Betty H. C Other Names: Globalizing Domain-Specific Languages (Seminar) Record Type: Book Extent: 1 online resource (89 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
592. Tackling society's grand challenges with design science : 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings /: 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings. (2016) Editors: (Professor of information systems), Parsons, Jeffrey; Tuunanen, Tuure; Venable, John (John Robert); Donnellan, Brian; Helfert, Markus; Kenneally, Jim Other Names: DESRIST (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
593. OpenSHMEM and related technologies : experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers /: experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers. (2015) Editors: Gorentla Venkata, Manjunath; Shamis, Pavel; Imam, Neena; Lopez, M. Graham Other Names: OpenSHMEM (Workshop), 2nd Record Type: Book Extent: 1 online resource (x, 199 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
594. Dynamic data-driven environmental systems science : First International Conference, DyDess 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /: First International Conference, DyDess 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers. (2015) Editors: Ravela, Sai; Sandu, Adrian Other Names: DyDESS (Conference), 1st Record Type: Book Extent: 1 online resource (360 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
595. SDL 2015 : model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /: model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings. (2015) Editors: (Computer scientist), Fischer, Joachim Other Names: SDL Forum, 17th Record Type: Book Extent: 1 online resource (285 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
596. Computational intelligence and quantitative software engineering. (2016) Editors: Pedrycz, Witold, 1953-; Succi, Giancarlo, 1964-; Sillitti, Alberto Record Type: Book Extent: 1 online resource (ix, 207 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
597. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
598. Social Coordination Frameworks for Social Technical Systems. (2016) Editors: Aldewereld, Huib; Boissier, Olivier; Dignum, Virginia; Noriega, Pablo, 1953-; Padget, Julian A, 1959- Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
599. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Albert, Elvira; Lanese, Ivan Other Names: FORTE Conference, 36th Record Type: Book Extent: 1 online resource (XVI, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
600. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015]) Editors: Berger, Christian; Mousavi, Mohammad Reza, 1978- Other Names: CyPhy (Workshop), 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗