11. Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part II /: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part II. (2020) Editors: Krzhizhanovskaya, Valeria V; Závodszky, Gábor; Lees, Michael H; Dongarra, J. J; Sloot, Peter M. A; Brissos, Sérgio; Teixeira, João Record Type: Book Extent: 1 online resource (xix, 697 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Computational science -- ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings.: 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings. Part I (2018) Editors: Shi, Yong; Fu, Haohuan; Tian, Yingjie; Krzhizhanovskaya, Valeria V; Lees, Michael Harold; Dongarra, Jack; Sloot, Peter M. A Other Names: ICCS 2018 Record Type: Book Extent: 1 online resource (xxxiv, 730 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Constraint solving and planning with Picat. (2015) Authors: Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan Record Type: Book Extent: 1 online resource (xi, 148 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Data Analysis and Optimization for Engineering and Computing Problems : Proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services /: Proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services. ([2020]) Editors: Vasant, Pandian; Litvinchev, Igor; Marmolejo-Saucedo, Jose Antonio; Rodriguez-Aguilar, Roman; Martinez-Rios, Felix Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Foundations of intelligent systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings /: 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings. (2017) Editors: Kryszkiewicz, Marzena; Appice, Annalisa; Ślęzak, Dominik; Rybiński, Henryk; Skowron, Andrzej; Raś, Zbigniew Other Names: International Symposium on Methodologies for Intelligent Systems, 23rd Record Type: Book Extent: 1 online resource (xxix, 747 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. High performance computing : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings /: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings. (2016) Editors: Kunkel, Julian Martin; Balaki, Pavan; Dongarra, J. J Other Names: ISC High Performance (Conference), 31st Record Type: Book Extent: 1 online resource (xv, 506 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. History and philosophy of computing : third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers /: third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised selected papers. (2016) Editors: Gadducci, Fabio; Tavosanis, Mirko Other Names: HaPoC (Conference), 3rd Record Type: Book Extent: 1 online resource (xviii, 321 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Modern language models and computation : theory with applications /: theory with applications. (2017) Authors: Meduna, Alexander, 1957-; Soukup, Ondřej Record Type: Book Extent: 1 online resource (xix, 548 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Natural Language Processing and Information Systems : 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings /: 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings. (2020) Editors: Métais, Elisabeth; Meziane, Farid; Horacek, Helmut; Cimiano, Philipp Record Type: Book Extent: 1 online resource (xiii, 286 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗