81. Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /: theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. (2016) Editors: Fränzle, Martin; Kapur, Deepak; Zhan, Naijun Other Names: SETTA (Symposium), 2nd Record Type: Book Extent: 1 online resource (xviii, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /: theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. (2017) Editors: Larsen, K. G (Kim G.), 1957-; Sokolsky, Oleg; Wang, Ji Other Names: SETTA (Symposium), 3rd Record Type: Book Extent: 1 online resource (xviii, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015) Editors: Shallit, Jeffrey Outlaw; Okhotin, Alexander Other Names: DCFS (Workshop), 17th Record Type: Book Extent: 1 online resource (xii, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016]) Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey Other Names: DCFS (Workshop), 18th Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017) Editors: Pighizzini, Giovanni; Câmpeanu, Cezar Other Names: DCFS (Workshop), 19th Record Type: Book Extent: 1 online resource (x, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018) Editors: Konstantinidis, Stavros; Pighizzini, Giovanni Other Names: DCFS (Workshop), 20th Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings /: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings. (2019) Editors: (Computer scientist), Hospodár, Michal; Jirásková, Galina; Konstantinidis, Stavros Other Names: DCFS (Workshop), 21st Record Type: Book Extent: 1 online resource (x, 299 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Design of experiments for reinforcement learning. (2015) Authors: Gatti, Christopher Record Type: Book Extent: 1 online resource (196 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Design of FPGA-Based Computing Systems with OpenCL. (2018) Authors: Waidyasooriya, Hasitha Muthumala; Hariyama, Masanori; Uchiyama, Kunio Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Developments in language theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. (2017) Editors: Charlier, Émilie; Leroy, Julien; Rigo, Michel Other Names: Conference on Developments in Language Theory, 21st Record Type: Book Extent: 1 online resource (xxiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗