31. Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings /: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. (2020) Editors: Herzig, Andreas; Kontinen, Juha Other Names: FoIKS (Symposium), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020) Editors: Nakano, Keisuke; Sagonas, Konstantinos Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Identity, Institutions and Governance in an AI World : Transhuman Relations /: Transhuman Relations. (2020) Authors: Bloom, Peter Record Type: Book Extent: 1 online resource (268 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. (2018) Editors: Bassiliades, Nick; Ermolayev, Vadim; Fill, Hans-Georg; Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander Other Names: ICTERI (Conference), 13th Record Type: Book Extent: 1 online resource (XIV, 255 pages), 102 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. (2020) Editors: Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth Record Type: Book Extent: 1 online resource (554 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Knowledge engineering and knowledge management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised selected papers /: EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised selected papers. (2017) Editors: Ciancarini, Paolo, 1959-; Poggi, Francesco; Horridge, Matthew; Zhao, Jun; Groza, Tudor; Suarez-Figueroa, Mari Carmen; Aquin, Mathieu d'; Presutti, Valentina Other Names: EKM (Workshop), 2nd; Drift-a-LOD (Workshop), 1st; EKAW (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 288 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. (2020) Editors: Leporati, Alberto; Martín Vide, Carlos; Shapira, Dana; Zandron, Claudio Record Type: Book Extent: 1 online resource (449 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers. (2019) Editors: Silva, Alexandra; Staton, Sam; Sutton, Peter; Umbach, Carla Record Type: Book Extent: 1 online resource (353 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗