141. Floating-point algorithms and formal proofs : a didactic tour with Coq /: a didactic tour with Coq. (2016) Authors: Boldo, Sylvie; Melquiond, Guillaume Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Forecasting and Assessing Risk of Individual Electricity Peaks. (2020) Authors: Neves, Cláudia; Vukadinović Greetham, Danica Other Names: Jacob, Maria Record Type: Book Extent: 1 online resource (XII, 97 pages), 38 illustrations, 35 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Forex algorithmic trading using Python : speed up development of trading algorithms and make them more robust by using this practical guide /: speed up development of trading algorithms and make them more robust by using this practical guide. (2023) Authors: Krishtop, Alexey Record Type: Book Extent: 1 online resource (341 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. 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) ↗
145. Foundations of statistical algorithms : with reference to R packages /: with reference to R packages. ([2014]) Authors: Weihs, Claus; Mersmann, Olaf; Ligges, Uwe Record Type: Book Extent: 1 online resource (xxv, 473 pages ), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. 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) ↗
147. Functional analysis and applications. (2018) Authors: Siddiqi, A. H Record Type: Book Extent: 1 online resource (xvii, 562 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Fundamental data compression. (©2006) Other Names: Pu, Ida Mengyi Record Type: Book Extent: 1 online resource (xxi, 246 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Fundamentals of signal processing in generalized metric spaces : algorithms and applications /: algorithms and applications. (2022) Authors: Popoff, Andrey Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Future data and security engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings /: Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings. ([2016]) Editors: Dang, Tran Khanh; Wagner, Roland R; Küng, Josef, 1962-; Thoai, Nam; Takizawa, Makoto; Neuhold, Erich J Other Names: FDSE (Conference), 3rd Record Type: Book Extent: 1 online resource (xiii, 430 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗