1. Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings /: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings. ([2017]) Editors: Petre, Ion; Manea, Florin; Kari, J (Jarkko) Other Names: Conference on Computability in Europe, 13th Record Type: Book Extent: 1 online resource (xiii, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings /: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings. (2017) Editors: Bertet, Karell; Borchmann, Daniel; Cellier, Peggy; Ferré, Sébastien Other Names: International Conference on Formal Concept Analysis, 14th Record Type: Book Extent: 1 online resource (xviii, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017) Editors: Bozzano, Marco; Papadopoulos, Yiannis Other Names: IMBSA 2017 Record Type: Book Extent: 1 online resource (x, 273 pages 109 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers /: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers. ([2018]) Editors: Gangemi, Aldo; Gentile, Anna Lisa; Nuzzolese, Andrea Giovanni; Rudolph, Sebastian; Maleshkova, Maria; Paulheim, Heiko; Pan, Jeff Z; Alam, Mehwish Other Names: Extended Semantic Web Conference, 15th Record Type: Book Extent: 1 online resource (xxii, 493 pages), 118 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. ([2015]) Editors: Felty, Amy; Middeldorp, Aart, 1963- Other Names: International Conference on Automated Deduction, 25th Record Type: Book Extent: 1 online resource (xxviii, 640 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Logics in artificial intelligence : 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings /: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings. (2016) Editors: Michael, Loizos; Kakas, Antonis C Other Names: JELIA (Conference), 15th Record Type: Book Extent: 1 online resource (586 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017) Editors: Dixon, Clare; Finger, Marcelo Other Names: FroCoS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗