1. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. (2018) Editors: Butler, Michael, 1967-; Raschke, Alexander; Hoàng, Thái Sơn; Reichl, Klaus Other Names: ABZ (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advanced analysis and learning on temporal data : first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised selected papers /: first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised selected papers. (2016) Editors: Douzal-Chouakria, Ahlame; Vilar, José A; Marteau, Pierre-François Other Names: AALTD (Workshop), 1st Record Type: Book Extent: 1 online resource (x, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Advanced machine learning technologies and applications : proceedings of AMLTA 2020 /: proceedings of AMLTA 2020. ([2020]) Editors: Hassanien, Aboul Ella; Bhatnagar, Roheet; Darwish, Ashraf Record Type: Book Extent: 1 online resource (xxi, 757 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Advances in analytics and applications. ([2019]) Editors: Laha, Arnab Kumar Other Names: International Conference on Advanced Data Analysis, Business Analytics and Intelligence, 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Advances in Data Sciences, Security and Applications : proceedings of ICDSSA 2019 /: proceedings of ICDSSA 2019. (2020) Other Names: Jain, Vanita; Chaudhary, Gopal; Taplamacioglu, M. Cengiz; Agarwal, M. S; International Conference on Data Sciences, Security and Applications Record Type: Book Extent: 1 online resource (466 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Advances in machine learning and computational intelligence : proceedings of ICMLCI 2019 /: proceedings of ICMLCI 2019. ([2021]) Editors: Patnaik, Srikanta; Yang, Xin-She; Sethi, Ishwar K, 1948- Other Names: ICMLCI (Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Advances in machine learning and data science recent achievements and research directives /: recent achievements and research directives. (©2018) Other Names: Edla, Damodar Reddy; Lingras, Pawan; Venkatanareshbabu K; International Conference on Latest Advances in Machine Learning and Data Science, 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Advances in systems science : proceedings of the International Conference on Systems Science 2016 (ICSS 2016) /: proceedings of the International Conference on Systems Science 2016 (ICSS 2016). (2017) Editors: Świątek, Jerzy; Tomczak, Jakub M Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Algorithmic foundations of robotics XI : selected contributions of the eleventh International Workshop on the Algorithmic Foundations of Robotics /: selected contributions of the eleventh International Workshop on the Algorithmic Foundations of Robotics. (2015) Editors: Akin, H. Levent; Amato, Nancy M; Isler, Volkan; Stappen, A. Frank Other Names: International Workshop on the Algorithmic Foundations of Robotics, 11th Record Type: Book Extent: 1 online resource (xix, 751 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗