781. Combinatorial optimization and applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I /: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I. (2017) Editors: Gao, Xiaofeng; Du, Hongwei; Han, Meng Other Names: COCOA (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
782. Recent advances and future prospects in knowledge, information and creativity support systems : selected revised papers from the tenth International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2015), 12-14 November 2015, Phuket, Thailand /: selected revised papers from the tenth International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2015), 12-14 November 2015, Phuket, Thailand. (2018) Editors: Theeramunkong, Thanaruk; Skulimowski, Andrzej M. J, 1958-; Yuizono, Takaya; Kunifuji, Susumu, 1947- Other Names: International Conference on Knowledge, Information and Creativity Support Systems, 10th Record Type: Book Extent: 1 online resource (xi, 304 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
783. Enterprise and organizational modeling and simulation : 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers /: 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers. (2017) Editors: Pergl, Robert; Lock, Russell; Babkin, Eduard; Molhanec, Martin Other Names: International Workshop on Enterprise and Organizational Modeling and Simulation, 13th; CAiSE (Conference), 29th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
784. High performance computing systems : performance modeling, benchmarking, and simulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings /: performance modeling, benchmarking, and simulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings. (2018) Editors: Jarvis, Stephen; Wright, Steven; Hammond, Simon Other Names: PMBS (Workshop), 8th Record Type: Book Extent: 1 online resource (xii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
785. Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 36th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 6th; TELERISE (Workshop), 3rd; TIPS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiv, 478 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
786. Smart technology : first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings /: first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings. (2018) Editors: Torres Guerrero, Francisco; Lozoya-Santos, Jorge; González Mendívil, Eduardo; Neira-Tovar, Leticia; Ramírez Flores, Pablo G; Martin-Gutierrez, Jorge Other Names: MTYMEX (Conference), 1st Record Type: Book Extent: 1 online resource (xi, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
787. Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. (2017) Editors: D'Souza, Deepak; Narayan Kumar, K Other Names: ATVA (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 482 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
788. Intelligent, secure, and dependable systems in distributed and cloud environments : first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, proceedings /: first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, proceedings. (2017) Editors: Traore, Issa, 1965-; Woungang, Isaac; Awad, Ahmed Other Names: ISDDC (Conference), 1st Record Type: Book Extent: 1 online resource (xxii, 183 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
789. Emerging technologies for education : second International Symposium, SETE 2017, held in conjunction with ICWL 2017, Cape Town, South Africa, September 20-22, 2017, Revised selected papers /: second International Symposium, SETE 2017, held in conjunction with ICWL 2017, Cape Town, South Africa, September 20-22, 2017, Revised selected papers. (2017) Editors: Huang, Tien-Chi; Lau, Rynson W. H; Huang, Yueh-Min Ray; Spaniol, Marc; Yuen, Chun-Hung Other Names: SETE (Symposium), 2nd; ICWL (Conference), 16th Record Type: Book Extent: 1 online resource (xv, 567 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
790. Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. (2017) Editors: Schmidt, Renate A; Nalon, Cláudia Other Names: TABLEAUX (Conference), 26th Record Type: Book Extent: 1 online resource (xii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗