21. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. 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) ↗
23. Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings /: 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. ([2019]) Editors: André, Etienne; Stoelinga, Mariëlle Other Names: FORMATS (Conference), 17th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. 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) ↗
26. Machine learning and intelligent communications : 4th International Conference, MLICOM 2019, Nanjing, China, July 6-8, 2019 : proceedings /: 4th International Conference, MLICOM 2019, Nanjing, China, July 6-8, 2019 : proceedings. ([2019]) Editors: Zhai, Xiangping Bryce; Chen, Bing; Zhu, Kun Other Names: International Conference on Machine Learning and Intelligent Communications, 4th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Machine learning and intelligent communications : Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings /: Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings. (2018) Editors: Meng, Limin; Zhang, Yan Other Names: International Conference on Machine Learning and Intelligent Communications, 3rd Record Type: Book Extent: 1 online resource (xvii, 675 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Machine learning and intelligent communications. Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, proceedings /: Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, proceedings. Part I : (2018) Editors: Gu, Xuemai; Liu, Gongliang; Li, Bo Other Names: International Conference on Machine Learning and Intelligent Communications, 2nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Machine learning and intelligent communications. Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, proceedings /: Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, proceedings. Part I : (2018) Editors: Gu, Xuemai; Liu, Gongliang; Li, Bo Other Names: International Conference on Machine Learning and Intelligent Communications, 2nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Methods and Applications for Modeling and Simulation of Complex Systems : 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018, Proceedings /: 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018, Proceedings. (2018) Editors: Li, Liang; Hasegawa, Kyōko; (Computer scientist), Tanaka, Satoshi Other Names: Asia Simulation Conference, 18th Record Type: Book Extent: 1 online resource (xv, 586 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗