21. Fire safety of historical buildings : traditional versus innovative "behavioural design" solutions by using wayfinding systems /: traditional versus innovative "behavioural design" solutions by using wayfinding systems. (2017) Authors: Bernardini, Gabriele Record Type: Book Extent: 1 online resource (xii, 109 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Forecast error correction using dynamic data assimilation. ([2017]) Authors: Lakshmivarahan, S; Lewis, John M; Jabrzemski, Rafal Record Type: Book Extent: 1 online resource (xvi, 270 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. 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) ↗
24. Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude /: an introduction based on executable modeling in Maude. (2017) Authors: Ölveczky, Peter Csaba Record Type: Book Extent: 1 online resource (250 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Group processes : data-driven computational approaches /: data-driven computational approaches. ([2017]) Editors: Pilny, Andrew; Poole, Marshall Scott, 1951- Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Guide to computational modelling for decision processes : theory, algorithms, techniques and applications /: theory, algorithms, techniques and applications. ([2017]) Editors: Berry, Stuart; Lowndes, Val; Trovati, Marcello Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Guide to distributed simulation with HLA. (2017) Other Names: Topçu, Okan; Oğuztüzün, Halit Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Guide to scientific computing in C++. (2017) Authors: Pitt-Francis, Joe; Whiteley, Jonathan Record Type: Book Extent: 1 online resource (xiv, 287 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Guide to Simulation-Based Disciplines : Advancing Our Computational Future /: Advancing Our Computational Future. (2017) Editors: Mittal, Saurabh; Durak, Umut; Ören, Tuncer Record Type: Book Extent: 1 online resource (370 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. High performance computing for computational science -- VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /: 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers. (2017) Editors: Dutra, Inês; Camacho, Rui; Barbosa, Jorge; Marques, Osni Other Names: VECPAR (Conference), 12th Record Type: Book Extent: 1 online resource (xiii, 272 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗