61. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016) Editors: Cornelio, Marcio; Roscoe, A. W Other Names: Brazilian Symposium on Formal Methods, 18th Record Type: Book Extent: 1 online resource (xviii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016) Editors: Fränzle, Martin; Markey, Nicolas, 1976- Other Names: FORMATS (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Albert, Elvira; Lanese, Ivan Other Names: FORTE Conference, 36th Record Type: Book Extent: 1 online resource (XVI, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers. (2016) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016) Editors: Kiselyov, Oleg; King, Andrew Malcolm Other Names: Fuji International Symposium on Functional and Logic Programming, 13th Record Type: Book Extent: 1 online resource (xii, 253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Go recipes : a problem-solution approach /: a problem-solution approach. (2016) Authors: Varghese, Shiju Record Type: Book Extent: 1 online resource (xix, 237 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 /: 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016. (2016) Editors: Echahed, Rachid; Minas, Mark Other Names: Ehrig, Hartmut honouree.; ICGT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016) Editors: Mauw, S; Kordy, Barbara; Jajodia, Sushil Other Names: International Workshop on Graphical Models for Security, 2nd Record Type: Book Extent: 1 online resource (ix, 103 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗