211. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Silva, Alexandra Other Names: FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers /: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers. (2017) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 5th Record Type: Book Extent: 1 online resource (xii, 161 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. 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) ↗
214. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: International Workshop of Formal Techniques for Safety-Critical Systems, 3rd Record Type: Book Extent: 1 online resource (x, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
215. 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) ↗
216. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018) Editors: Baier, Christel; (Computer scientist), Dal Lago, Ugo Other Names: FOSSACS (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xv, 583 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017) Editors: Dixon, Clare; Finger, Marcelo Other Names: FroCoS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
218. Full stack AngularJS for Java developers : build a full-featured web application from scratch using AngularJS with Spring RESTful /: build a full-featured web application from scratch using AngularJS with Spring RESTful. ([2017]) Authors: Soni, Ravi Kant Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
219. 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) ↗
220. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗