361. Algorithms and architectures for parallel processing. 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings /: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings. Part III : ([2015]) Editors: Wang, Guojun; Zomaya, Albert; Martinez Pérez, Gregorio; Li, Kenli Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 15th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
362. Parallel processing and applied mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers /: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part I : (2016) Editors: Wyrzykowski, Roman Other Names: PPAM (Conference), 11th Record Type: Book Extent: 1 online resource (xxiv, 622 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
363. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
364. Parallel processing and applied mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers /: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part II : (2016) Editors: Wyrzykowski, Roman Other Names: PPAM (Conference), 11th Record Type: Book Extent: 1 online resource (xxiv, 622 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
365. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
366. Tangible interactive systems : grasping the real world with computers /: grasping the real world with computers. (2016) Authors: Boy, Guy A Record Type: Book Extent: 1 online resource (xii, 212 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
367. Networked systems : third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised selected papers /: third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised selected papers. (2015) Editors: Bouajjani, Ahmed; Fauconnier, Hugues Other Names: NETYS (Conference), 3rd Record Type: Book Extent: 1 online resource (xxviii, 526 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
368. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
369. Measurement, modelling and evaluation of dependable computer and communication systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, proceedings /: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, proceedings. (2016) Editors: Remke, Anne, 1980-; Haverkort, Boudewijn R Other Names: GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, 18th Record Type: Book Extent: 1 online resource (203 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
370. Advances in network science : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings /: 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings. (2016) Editors: Wierzbicki, Adam; Brandes, Ulrik; Schweitzer, Frank; Pedreschi, Dino Other Names: NetSci-X (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 213 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗