131. Eye tracking methodology : theory and practice /: theory and practice. (2017) Authors: Duchowski, Andrew T Record Type: Book Extent: 1 online resource (xl, 366 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. 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) ↗
133. Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018) Editors: (Computer scientist), Sun, Jing; Sun, Meng Other Names: International Conference on Formal Engineering Methods, 20th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. 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) ↗
135. 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) ↗
136. 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) ↗
137. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Future access enablers for ubiquitous and intelligent infrastructures : first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015, revised selected papers /: first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015, revised selected papers. (2015) Editors: Atanasovski, Vladimir; Leon-Garcia, Alberto Other Names: FABULOUS (Conference), 1st Record Type: Book Extent: 1 online resource (xii, 316 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Future access enablers for ubiquitous and intelligent infrastructures : third international conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings /: third international conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings. (2018) Editors: Fratu, Octavian; Militaru, Nicolae; Halunga, Simona Other Names: FABULOUS (Conference), 3rd Record Type: Book Extent: 1 online resource (xiv, 262 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Future and emerging trends in language technology : machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30-December 2, 2016, Revised selected papers /: machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30-December 2, 2016, Revised selected papers. (2017) Editors: Quesada, José F; Martín-Mateos, Francisco J; Soto, Teresa López Other Names: FETLT (Workshop), 2nd Record Type: Book Extent: 1 online resource (xii, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗