11. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. (2015) Editors: Botana, Francisco; Quaresma, Pedro Other Names: International Workshop on Automated Deduction in Geometry, 10th Record Type: Book Extent: 1 online resource (ix, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Bond graph model-based fault diagnosis of hybrid systems. (2015) Authors: Borutzky, Wolfgang Record Type: Book Extent: 1 online resource (283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Conformal and probabilistic prediction with applications : 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings /: 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings. (2016) Editors: Gammerman, A (Alexander); Luo, Zhiyuan; Vega, Jesús; Vovk, Vladimir, 1960- Other Names: COPA (Symposium), 5th Record Type: Book Extent: 1 online resource (xii, 229 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Coordination, organizations, institutions, and norms in agent systems X : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, revised selected papers /: COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, revised selected papers. (2015) Editors: Ghose, Aditya K; Oren, Nir; Telang, Pankaj; Thangarajah, John Other Names: COIN (Workshop), 14th; COIN@AAMAS (Workshop); COIN@PRICAI (Workshop) Record Type: Book Extent: 1 online resource (x, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Design for micro-combined cooling, heating and power systems : Stirling engines and renewable power systems /: Stirling engines and renewable power systems. ([2014]) Editors: Badea, Nicolae, 1960- Record Type: Book Extent: 1 online resource (vii, 394 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Engineering psychology and cognitive ergonomics : 12th International Conference, EPCE 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /: 12th International Conference, EPCE 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. (2015) Editors: Harris, Don, 1961- Other Names: International Conference on Engineering Psychology and Cognitive Ergonomics, 12th; International Conference on Human-Computer Interaction, 17th Record Type: Book Extent: 1 online resource (xvii, 524 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings. (2015) Editors: Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel, 1967- Other Names: International Conference on Formal Concept Analysis, 13th Record Type: Book Extent: 1 online resource (xii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Formal ontologies meet industry : 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings /: 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings. (2015) Editors: Cuel, Roberta; Young, Robert Other Names: International Workshop on Formal Ontologies Meet Industry, 7th Record Type: Book Extent: 1 online resource (ix, 139 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Foundations of biomedical knowledge representation : methods and applications /: methods and applications. (2015) Editors: Hommersom, Arjen; Lucas, Peter J. F Record Type: Book Extent: 1 online resource (xii, 339 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Fuels from biomass : an interdisciplinary approach /: an interdisciplinary approach. (2015) Editors: Klaas, Michael; Pischinger, Stefan, 1961-; Schröder, Wolfgang Record Type: Book Extent: 1 online resource (viii, 311 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗