61. 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) ↗
62. 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) ↗
63. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. 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) ↗
65. 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) ↗
66. 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) ↗
67. 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) ↗
68. Functional data structures in R : advanced statistical programming in R /: advanced statistical programming in R. (2017) Authors: Mailund, Thomas Record Type: Book Extent: 1 online resource (256 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Functional programming in R : advanced statistical programming for data science, analysis and finance /: advanced statistical programming for data science, analysis and finance. (2017) Authors: Mailund, Thomas Record Type: Book Extent: 1 online resource (xv, 104 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers /: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers. (2017) Editors: Dastani, Mehdi; Sirjani, Marjan Other Names: IPM International Conference on Fundamentals of Software Engineering, 7th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗