291. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. Advances in intelligent data analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings /: 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings. (2016) Editors: Boström, Henrik; Knobbe, Arno J; Soares, Carlos A. Mota, 1945-; Papapetrou, Panagiotis Other Names: International Symposium on Intelligent Data Analysis, 15th Record Type: Book Extent: 1 online resource (xiii, 404 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
293. Security standardisation research : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 proceedings /: Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 proceedings. (2016) Editors: Chen, Lidong; McGrew, David; (Entrepreneur), Mitchell, Chris Other Names: SSR (Conference), 3rd Record Type: Book Extent: 1 online resource (275 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Integrated Uncertainty in Knowledge Modelling and Decision Making : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30 - December 2, 2016, Proceedings /: 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30 - December 2, 2016, Proceedings. (2016) Editors: Huynh, Van-Nam Other Names: IUKM (Symposium), 5th Record Type: Book Extent: 1 online resource (728 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Principles and practice of constraint programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. (2016) Editors: Rueher, Michel Other Names: CP (Conference), 22nd Record Type: Book Extent: 1 online resource (xxviii, 899 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Swarm Intelligence Based Optimization : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers. (2016) Editors: Siarry, Patrick; Idoumghar, Lhassane; Lepagnot, Julien Other Names: ICSIBO (Conference), 2nd Record Type: Book Extent: 1 online resource (125 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
297. Autonomous agents and multiagent systems : AAMAS 2016 Workshops, Best papers, Singapore, Singapore, May 9-10, 2016, Revised selected papers /: AAMAS 2016 Workshops, Best papers, Singapore, Singapore, May 9-10, 2016, Revised selected papers. (2016) Editors: Osman, Nardine; Sierra, Carles, 1963- Other Names: AAMAS (Conference), 15th Record Type: Book Extent: 1 online resource (ix, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
298. OpenMP : memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /: memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings. (2016) Editors: Maruyama, Naoya; De Supinski, Bronis R; Wahib, Mohamed Other Names: IWOMP (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 352 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Databases theory and applications : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, proceedings /: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, proceedings. (2016) Editors: Cheema, Muhammad Aamir; (Computer scientist), Zhang, Wenjie; Chang, Lijun Other Names: Australasian Database Conference, 27th Record Type: Book Extent: 1 online resource (xxxvi, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Claudio Moraga : a passion for multi-valued logic and soft computing /: a passion for multi-valued logic and soft computing. ([2016]) Editors: Seising, Rudolf, 1961-; Allende-Cid, Héctor Other Names: Moraga, Claudio honouree. Record Type: Book Extent: 1 online resource (xiv, 382 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗