81. Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /: theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Feng, Xinyu; Müller-Olm, Markus; Yang, Zijiang Other Names: SETTA (Symposium), 4th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. 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) ↗
83. 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) ↗
84. 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) ↗
85. 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) ↗
86. 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) ↗
87. 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) ↗
88. Deterministic global optimization : an introduction to the diagonal approach /: an introduction to the diagonal approach. ([2017]) Authors: Sergeyev, Yaroslav D, 1963-; Kvasov, Dmitri E Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. 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) ↗
90. Developments in language theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. (2018) Editors: Hoshi, Mizuho, 1985-; Seki, Shinnosuke Other Names: Conference on Developments in Language Theory, 22nd Record Type: Book Extent: 1 online resource (xiv, 568 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗