1. Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. (2018) Editors: Butler, Michael, 1967-; Raschke, Alexander; Hoàng, Thái Sơn; Reichl, Klaus Other Names: ABZ (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in computational intelligence. 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings /: 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings. Part II : (2017) Editors: Rojas, Ignacio; Joya, Gonzalo; Catala, Andreu Other Names: International Work-Conference on Artificial and Natural Neural Networks, 14th Record Type: Book Extent: 1 online resource (xxix, 763 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advances in computational intelligence. 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings /: 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings. Part I : (2017) Editors: Rojas, Ignacio; Joya, Gonzalo; Catala, Andreu Other Names: International Work-Conference on Artificial and Natural Neural Networks, 14th Record Type: Book Extent: 1 online resource (xxix, 761 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Advances in production management systems : initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised selected papers /: initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised selected papers. (2016) Editors: Nääs, Irenilza; Vendrametto, Oduvaldo; Mendes Reis, João; Gonçalves, Rodrigo Franco; Silva, Márcia Terra; Von Cieminski, Gregor; Kiritsis, Dimitris Other Names: IFIP WG5.7 International Conference on Advances in Production Management Systems Record Type: Book Extent: 1 online resource (xxii, 962 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. An introduction to data analysis using aggregation functions in R. (2016) Authors: James, Simon Record Type: Book Extent: 1 online resource (x, 199 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Artificial Neural Networks. (2015) Editors: Cartwright, Hugh Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computational science and its applications -- ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings /: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part V : (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe; Torre, Carmelo Maria; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, E (Elena); Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 744 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Constraint theory : multidimensional mathematical model management /: multidimensional mathematical model management. (2017) Authors: Friedman, George J; Phan, Phan Record Type: Book Extent: 1 online resource (xxiv, 220 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Data Management Technologies and Applications : 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers /: 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers. (2017) Editors: Francalanci, Chiara; Helfert, Markus Other Names: DATA (Conference), 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Functional imaging and modelling of the heart : 9th International Conference, FIMH 2017, Toronto, ON, Canada, June 11-13, 2017, Proceedings /: 9th International Conference, FIMH 2017, Toronto, ON, Canada, June 11-13, 2017, Proceedings. (2017) Editors: Pop, Mihaela; Wright, Graham A Other Names: FIMH (Conference), 9th Record Type: Book Extent: 1 online resource (xvi, 517 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗