401. Evolutionary computation in combinatorial optimization : 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018, Proceedings /: 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018, Proceedings. (2018) Editors: Liefooghe, Arnaud; López-Ibáñez, Manuel Other Names: EvoCOP (Conference), 18th Record Type: Book Extent: 1 online resource (xiv, 189 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
402. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
403. Approximation and online algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015, revised selected papers /: 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015, revised selected papers. (2015) Editors: Sanità, Laura; (Mathematician), Skutella, Martin Other Names: WAOA (Workshop), 13th Record Type: Book Extent: 1 online resource (x, 209 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
404. Algorithms, probability, networks, and games : scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /: scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday. (2015) Editors: Zaroliagis, Christos D, 1963-; Pantziou, Grammati; Kontogiannis, Spyros Other Names: Spirakis, P. G (Paul G.) 1955- honouree. Record Type: Book Extent: 1 online resource (xii, 414 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
405. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 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: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
406. Artificial evolution : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015, revised selected papers /: 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015, revised selected papers. (2016) Editors: Bonnevay, Stéphane Other Names: EA (Conference), 12th Record Type: Book Extent: 1 online resource (249 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
407. Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /: parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. (2016) Editors: Dutot, Pierre-François; Trystram, Denis Other Names: International EURO-PAR Conference, 22nd Record Type: Book Extent: 1 online resource (xxix, 699 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
408. Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016]) Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey Other Names: DCFS (Workshop), 18th Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
409. Big data computing and communications : second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016, Proceedings /: second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016, Proceedings. (2016) Editors: (Computer scientist), Wang, Yu; Yu, Ge; Zhang, Yanyong; Han, Zhu, 1974-; Wang, Guoren, 1966- Other Names: BigCom (Conference), 2nd Record Type: Book Extent: 1 online resource (xvi, 466 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
410. Graph-based representation and reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /: 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings. (2016) Editors: Haemmerlé, Ollivier; Stapleton, Gem; Zucker, Catherine Faron Other Names: International Conference on Conceptual Structures, 22nd Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗