1. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advanced analysis and learning on temporal data : first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised selected papers /: first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised selected papers. (2016) Editors: Douzal-Chouakria, Ahlame; Vilar, José A; Marteau, Pierre-François Other Names: AALTD (Workshop), 1st Record Type: Book Extent: 1 online resource (x, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advances in Machine Learning and Signal Processing : Proceedings of MALSIP 2015 /: Proceedings of MALSIP 2015. (2016) Editors: Soh, Ping Jack; Woo, Wai Lok; Sulaiman, Hamzah Asyrani; Othman, Mohd Azlishah; Saat, Mohd Shakir Other Names: École nationale supérieure des beaux-arts (France); International Conference on Machine Learning and Signal Processing Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Algorithmic learning theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings /: 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings. (2016) Editors: Ortner, Ronald; Simon, Hans Ulrich, 1954-; Zilles, Sandra, 1976- Other Names: ALT (Conference), 27th Record Type: Book Extent: 1 online resource (xix, 371 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Big data analytics in the social and ubiquitous context : 5th International Workshop on Modeling Social Media, MSM 2014, 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, Revised selected papers /: 5th International Workshop on Modeling Social Media, MSM 2014, 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, Revised selected papers. (2016) Editors: Atzmueller, Martin; Chin, Alvin; Janssen, Frederik; Schweizer, Immanuel; Trattner, Christoph Other Names: MSM (Workshop), 5th; MUSE (Workshop), 5th; International Workshop on Machine Learning for Urban Sensor Data, 1st Record Type: Book Extent: 1 online resource (ix, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. Discovery science : 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, Proceedings /: 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, Proceedings. (2016) Editors: Calders, Toon; Ceci, Michelangelo; Malerba, Donato Other Names: International Conference on Discovery Science, 19th Record Type: Book Extent: 1 online resource (xxi, 492 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Inductive logic programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers. (2016) Editors: Inoue, Katsumi; Ohwada, Hayato; Yamamoto, Akihiro, 1960- Other Names: ILP (Conference), 25th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Learning and intelligent optimization : 10th International Conference, LION 10, Ischia, Italy, May 29-June 1, 2016, revised selected papers /: 10th International Conference, LION 10, Ischia, Italy, May 29-June 1, 2016, revised selected papers. (2016) Editors: Festa, Paola; Sellmann, Meinolf; Vanschoren, Joaquin Other Names: LION (Conference), 10th Record Type: Book Extent: 1 online resource (309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗