271. Finite element concepts : a closed-form algebraic development /: a closed-form algebraic development. (2018) Authors: Dasgupta, Gautam Record Type: Book Extent: 1 online resource (xxxvi, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
272. Finite Elements Using Maxima : Theory and Routines for Rods and Beams /: Theory and Routines for Rods and Beams. (2019) Authors: Öchsner, Andreas; Makvandi, Resam Record Type: Book Extent: 1 online resource (256 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
273. First International Conference on Artificial Intelligence and Cognitive Computing : AICC 2018 /: AICC 2018. (2018) Editors: Bapi, Raju Surampudi; Rao, Koppula Srinivas; Prasad, Munaga V. N. K Record Type: Book Extent: 1 online resource (716 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
274. Flows in polymers, reinforced polymers and composites : a multi-scale approach /: a multi-scale approach. ([2015]) Authors: Binetruy, Christophe; Chinesta, Francisco; Keunings, R Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
275. FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers. (2018) Authors: Campelo, Hugo Record Type: Book Extent: 1 online resource (188 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
276. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018) Editors: Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de Other Names: International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference Record Type: Book Extent: 1 online resource (xiv, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
277. Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II (2020) Other Names: Sekerinski, E (Emil), 1963-; Moreira, Nelma; Oliveira, José N; International Symposium of Formal Methods Europe, 23rd Record Type: Book Extent: 1 online resource (575 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
278. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
279. Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018) Editors: Howar, Falk; Barnat, Jiří Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 23rd Record Type: Book Extent: 1 online resource (xvi, 291 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
280. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗