191. Extreme C : Taking you to the limit in Concurrency, OOP, and the most advanced capabilities of C /: Taking you to the limit in Concurrency, OOP, and the most advanced capabilities of C. (2019) Authors: Amini, Kamran Record Type: Book Extent: 1 online resource (822 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
192. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
193. Finite difference methods, theory and applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers /: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers. (2015) Editors: Dimov, Ivan, 1963-; Faragó, I (István); Vulkov, Lubin Other Names: International Conference on Finite Difference Methods: Theory and Applications, 6th Record Type: Book Extent: 1 online resource (xi, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
194. 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) ↗
195. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. 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) ↗
197. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. (2018) Editors: Bae, Kyungmin; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 15th Record Type: Book Extent: 1 online resource (xii, 297 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. 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) ↗
200. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗