141. 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) ↗
142. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. 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) ↗
144. 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) ↗
145. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. From animals to animats 15 : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings /: 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings. (2018) Editors: Manoonpong, Poramate; Larsen, Jørgen Christian; Xiong, Xiaofeng; Hallam, John; Triesch, Jochen Other Names: International Conference on Simulation of Adaptive Behavior, 15th Record Type: Book Extent: 1 online resource (XIII, 265 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Full-3D seismic waveform inversion : theory, software and practice /: theory, software and practice. (2015) Authors: Chen, Po; Lee, En-Jui Record Type: Book Extent: 1 online resource (xxxiv, 513 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Functional imaging and modeling of the heart : 8th International Conference, FIMH 2015, Maastricht, the Netherlands, June 25-27, 2015. Proceedings /: 8th International Conference, FIMH 2015, Maastricht, the Netherlands, June 25-27, 2015. Proceedings. (2015) Editors: Assen, Hans van; Bovendeerd, Peter; Delhaas, Tammo Other Names: FIMH (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 487 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Fundamentals of neuromechanics. ([2016]) Authors: Valero-Cuevas, Francisco J Record Type: Book Extent: 1 online resource (xxiv, 192 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Fuzzy graph theory with applications to human trafficking. (2018) Authors: Mordeson, John N; Mathew, Sunil; Malik, D. S Record Type: Book Extent: 1 online resource (xix, 250 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗