71. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers. (2020) Other Names: Miao, Huaikou, 1953-; Tian, Cong; Liu, Shaoying, 1960-; Duan, Zhenhua; SOFL+MSVL (Workshop), 9th Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018) Editors: Jones, Cliff; (Professor of computer science), Wang, Ji; Zhan, Naijun Other Names: Zhou, Chaochen 1937- honouree. Record Type: Book Extent: 1 online resource (xii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. The handbook of formal methods in human-computer interaction. (2017) Editors: Weyers, Benjamin; Bowen, Judy (Judith Alyson); Dix, Alan; Palanque, Philippe, 1966- Record Type: Book Extent: 1 online resource (xiv, 575 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018) Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir Other Names: TAFA (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Theory and applications of formal argumentation : third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers /: third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers. (2015) Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir Other Names: TAFA (Workshop), 3rd Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016) Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch Other Names: Boer, Frank S. de honouree. Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. (2016) Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types Record Type: Book Extent: 1 online resource (xvii, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗