181. 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) ↗
182. Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. (2020) Editors: Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth Record Type: Book Extent: 1 online resource (554 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
183. Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017) Editors: Geuvers, Herman, 1964-; England, Matthew; Hasan, Osman, 1975-; Rabe, Florian; Teschke, Olaf Other Names: CICM (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
184. Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings. (2016) Editors: Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce; Moura, Leonardo de; Tompa, Frank Other Names: CICM (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 384 pages), illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
185. Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI /: 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI. (2019) Editors: Yu, Haibin; Liu, Jinguo; Liu, Lianqing; Ju, Zhaojie; Liu, Yuwang; Zhou, Dalin Record Type: Book Extent: 1 online resource (717 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
186. Intelligent systems for computer modelling : proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 /: proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015. ([2016]) Editors: Stýskala, Vítězslav; Kolosov, Dmitriĭ; Snášel, Václav, 1957-; Karakeyev, Taalaybek; Abraham, Ajith, 1968- Other Names: European-Middle Asian Conference on Computer Modelling, 1st Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
187. Interactive modeling and simulation in business system design. (2016) Authors: Roubtsova, Ella Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
188. 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) ↗
189. Interpretable Machine Learning with Python : Learn to build interpretable high-performance models with hands-on real-world examples /: Learn to build interpretable high-performance models with hands-on real-world examples. (2021) Authors: Masís, Serg Record Type: Book Extent: 1 online resource (736 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
190. Introducing the oscillations based paradigm : the simulation of agents and social systems /: the simulation of agents and social systems. (2016) Authors: Plikynas, Darius Record Type: Book Extent: 1 online resource (325 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗