141. PRICAI 2016 : trends in artificial intelligence : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings /: trends in artificial intelligence : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings. (2016) Editors: Booth, Richard; Zhang, Min-Ling Other Names: Pacific Rim International Conference on Artificial Intelligence, 14th Record Type: Book Extent: 1 online resource (xxii, 821 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Nature-inspired computing and optimization : theory and applications /: theory and applications. (2017) Editors: Patnaik, Srikanta; Yang, Xin-She; Nakamatsu, Kazumi Record Type: Book Extent: 1 online resource (xxi, 494 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Transactions on modularity and composition. I (2016) Editors: Chiba, Shigeru, 1968-; Südholt, Mario; Eugster, Patrick; Ziarek, Lukasz; Leavens, Gary T Record Type: Book Extent: 1 online resource (ix, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Advances in conceptual modeling : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings /: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings. (2016) Editors: Link, Sebastian; Trujillo, Juan C Other Names: International Conference on Conceptual Modeling, 35th; AHA (Workshop); MoBiD (Workshop); MORE-BI (Workshop); MReBA (Workshop); QMMQ (Workshop); SCME (Workshop); WM2SP (Workshop) Record Type: Book Extent: 1 online resource (xxiii, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Computer information systems and industrial management : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings /: 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings. (2016) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 15th Record Type: Book Extent: 1 online resource (xxiv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Modelling and simulation for autonomous systems : third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers /: third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers. (2016) Editors: Hodicky, Jan Other Names: MESAS (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 408 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Computational logistics : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings /: 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings. (2016) Editors: Paias, Ana; Ruthmair, Mario; Voss, Stefan Other Names: ICCL (Conference), 7th Record Type: Book Extent: 1 online resource (xiii, 456 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Innovation networks for regional development : concepts, case studies, and agent-based models /: concepts, case studies, and agent-based models. ([2017]) Editors: Vermeulen, Ben; Paier, Manfred Record Type: Book Extent: 1 online resource (vi, 307 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗