731. 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) ↗
732. 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) ↗
733. 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) ↗
734. Models, algorithms and technologies for network analysis : NET 2014, Nizhny Novgorod, Russia, May 2014 /: NET 2014, Nizhny Novgorod, Russia, May 2014. ([2016]) Editors: Kalyagin, Valery A; Koldanov, Petr A; Pardalos, P. M (Panos M.), 1954- Other Names: International Conference on Network Analysis, 4th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
735. 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) ↗
736. 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) ↗
737. 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) ↗
738. 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) ↗
739. 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) ↗
740. Computations and combinatorics in commutative algebra : EACA School, Valladolid 2013 /: EACA School, Valladolid 2013. (2017) Editors: Bigatti, Anna M (Anna Maria), 1965-; Gimenez, Philippe; Sáenz-de-Cabezón, Eduardo Other Names: EACA School (Conference) Record Type: Book Extent: 1 online resource (viii, 127 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗