801. Artificial Intelligence for Coronavirus Outbreak. (2020) Authors: Fong, Simon James; Dey, Nilanjan; Chaki, Jyotismita Record Type: Book Extent: 1 online resource (74 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
802. Mathematical Optimization Theory and Operations Research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings /: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings. (2020) Editors: Kononov, Alexander; Khachay, Michael; Kalyagin, Valery A; Pardalos, Panos Record Type: Book Extent: 1 online resource (471 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
803. 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) ↗
804. Introduction to computational origami the world of new computational geometry /: the world of new computational geometry. (2020) Other Names: Uehara, Ryuhei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
805. Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Jansen, David N; Prabhakar, Pavithra Other Names: FORMATS (Conference), 16th Record Type: Book Extent: 1 online resource (x, 289 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
806. Information and communications security : 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised selected papers /: 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised selected papers. (2015) Editors: Hui, Lucas Chi-Kwong, 1964-; Qing, S. H; Shi, Elaine; Yiu, Siu Ming Other Names: ICICS (Conference), 16th Record Type: Book Extent: 1 online resource (x, 321 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
807. Integration of AI and OR techniques in constraint programming : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings /: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings. (2016) Editors: Quimper, Claude-Guy Other Names: CPAIOR (Conference : 2014- ), 13th Record Type: Book Extent: 1 online resource (xix, 421 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
808. Artificial life and computational intelligence : second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings /: second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings. (2016) Editors: Ray, Tapabrata; Sarker, Ruhul A; Ph. D, Li, Xiaodong Other Names: ACALCI (Conference), 2nd Record Type: Book Extent: 1 online resource (xiii, 375 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
809. Integration of constraint programming, artificial intelligence, and operations research : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings /: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings. (2018) Editors: van Hoeve, Willem-Jan Other Names: CPAIOR (Conference : 2014- ), 15th Record Type: Book Extent: 1 online resource (XXVI, 616 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
810. Optimization techniques in computer vision. Posed problems and regularization / III, ([2016]) Authors: Abidi, Mongi A; Gribok, Andrei V Editors: Paik, Joonki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗