391. 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) ↗
392. 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) ↗
393. 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) ↗
394. Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Jansen, David N; Prabhakar, Pavithra Other Names: FORMATS (Conference), 16th Record Type: Book Extent: 1 online resource (x, 289 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
395. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
396. Foundations and practice of security : 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised selected papers /: 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised selected papers. (2018) Editors: Imine, Abdessamad; Fernández, José M; Marion, Jean-Yves; Logrippo, L (Luigi); Garcia-Alfaro, Joaquin Other Names: FPS (Symposium), 10th Record Type: Book Extent: 1 online resource (xiii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
397. Foundations and practice of security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised selected papers /: 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised selected papers. (2017) Editors: Cuppens, Frédéric; Wang, Lingyu; Cuppens-Boulahia, Nora; Tawbi, Nadia; Garcia-Alfaro, Joaquin Other Names: FPS (Symposium), 9th Record Type: Book Extent: 1 online resource (xiii, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
398. Foundations of programming languages. (2017) Authors: Lee, Kent D (Kent Derek) Record Type: Book Extent: 1 online resource (xiv, 370 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
399. Foundations of trusted autonomy. (2018) Editors: Abbass, Hussein A; Scholz, Jason; Reid, Darryn J Record Type: Book Extent: 1 online resource (xvii, 395 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
400. Fractional Fourier Transform Techniques for Speech Enhancement. (2020) Authors: Kunche, Prajna; Manikanthababu, N Record Type: Book Extent: 1 online resource (104 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗