1. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Cellular automata and discrete complex systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings /: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings. ([2018]) Editors: Baetens, Jan M; Kutrib, Martin Other Names: AUTOMATA (Workshop), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Directed algebraic topology and concurrency. (2016) Authors: Fajstrup, Lisbeth; Goubault, Eric; Haucourt, Emmanuel; Mimram, Samuel, 1983-; Raussen, Martin, 1954- Record Type: Book Extent: 1 online resource (xi, 167 pages), illustration View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Cellular automata and discrete complex systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers /: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers. (2015) Editors: Isokawa, Teijiro; Imai, Katsunobu; Matsui, Nobuyuki; Peper, Ferdinand, 1961-; Umeo, Hiroshi Other Names: International Workshop on Cellular Automata and Discrete Complex Systems, 20th Record Type: Book Extent: 1 online resource (xv, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Bertrand, Nathalie; Bortolussi, Luca Other Names: International Conference on the Quantitative Evaluation of Systems, 14th Record Type: Book Extent: 1 online resource (xiii, 370 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Frontiers in algorithmics : 12th International Workshop, FAW 2018, Guangzhou, China, May 8-10, 2018, Proceedings /: 12th International Workshop, FAW 2018, Guangzhou, China, May 8-10, 2018, Proceedings. ([2018]) Editors: Chen, Jianer; Lu, Pinyan Other Names: International Frontiers of Algorithmics Workshop, 12th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Conflict resolution in decision making : second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised selected papers /: second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised selected papers. (2017) Editors: Aydoğan, Reyhan; Baarslag, Tim; Gerding, Enrico; Jonker, Catholijn M; Julian, Vicente; Sanchez-Anguix, Victor Other Names: Conflict Resolution in Decision Making (Workshop), 2nd; European Conference on Artificial Intelligence, 22nd, jointly held conference Record Type: Book Extent: 1 online resource (vii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. 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) ↗
10. Frontiers in algorithmics : 10th International Workshop, FAW 2016, Qingdao, China, June 30-July 2, 2016, Proceedings /: 10th International Workshop, FAW 2016, Qingdao, China, June 30-July 2, 2016, Proceedings. (2016) Editors: Zhu, Daming; Bereg, Sergey Other Names: International Frontiers of Algorithmics Workshop, 10th Record Type: Book Extent: 1 online resource (xvii, 290 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗