1. Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings. (2020) Editors: Janicki, Ryszard; (Computer scientist), Sidorova, Natalia; Chatain, Thomas Record Type: Book Extent: 1 online resource (437 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (553 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (521 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /: 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings. (2020) Editors: Watson, Ian; Weber, Rosina Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. Deep reinforcement learning fundamentals, research and applications /: fundamentals, research and applications. (2020) Other Names: Dong, Hao; Ding, Zihan; Zhang, Shanghang Record Type: Book Extent: 1 online resource (526 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗
8. Essential Python for the Physicist. (2020) Authors: Moruzzi, Giovanni Record Type: Book Extent: 1 online resource (302 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. 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) ↗
10. 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) ↗