71. Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings. (2020) Editors: Soares Barbosa, Luís; Baltag, Alexandru Record Type: Book Extent: 1 online resource (227 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. (2020) Editors: Beyer, Dirk; Zufferey, Damien Record Type: Book Extent: 1 online resource (471 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /: Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers. (2020) Editors: Følstad, Asbjørn; Araujo, Theo; Papadopoulos, Symeon; Law, Effie Lai-Chong; Granmo, Ole-Christoffer; Luger, Ewa; Brandtzaeg, Petter Bae Record Type: Book Extent: 1 online resource (273 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗