21. 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) ↗
22. Descriptive set theoretic methods in automata theory : decidability and topological complexity /: decidability and topological complexity. (2016) Authors: Skrzypczak, Michał Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings. (2016) Editors: Brlek, Srečko; Reutenauer, Christophe Other Names: Conference on Developments in Language Theory, 20th Record Type: Book Extent: 1 online resource (xvii, 407 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /: second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 2nd Record Type: Book Extent: 1 online resource (xv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Formal grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers, FG 2016, Bozen, Italy, August 2016, proceedings /: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers, FG 2016, Bozen, Italy, August 2016, proceedings. (2016) Editors: Foret, Annie; Morrill, Glyn V; Muskens, Reinhard, 1953-; (Linguist), Osswald, Rainer; Pogodalla, Sylvain Other Names: FG (Conference), 20th; FG (Conference), 21st Record Type: Book Extent: 1 online resource (x, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗