311. Advances in complex data modeling and computational methods in statistics. ([2014]) Editors: Paganoni, Anna Maria; Secchi, Piercesare Record Type: Book Extent: 1 online resource (viii, 209 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
312. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
313. Human aspects of information security, privacy, and trust : third international conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings /: third international conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings. (2015) Editors: Tryfonas, Theodore; Askoxylakis, Ioannis Other Names: HAS (Conference), 3rd; International Conference on Human-Computer Interaction, 17th Record Type: Book Extent: 1 online resource (xviii, 719 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
314. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xxiii, 677 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
315. Nordic contributions in IS research : 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings /: 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings. (2015) Editors: Oinas-Kukkonen, Harri; Iivari, Netta; Kuutti, Kari; Öörni, Anssi; Rajanen, Mikko Other Names: Scandinavian Conference on Information Systems, 6th Record Type: Book Extent: 1 online resource (xvi, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
316. Web reasoning and rule systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings /: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (2015) Editors: Cate, Balder David ten; Mileo, Alessandra Other Names: RR (Conference), 9th Record Type: Book Extent: 1 online resource (xvii, 131 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
317. Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /: 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. (2015) Editors: Kolovos, Dimitrios; Wimmer, Manuel Other Names: ICMT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
318. Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings. (2015) Editors: Malyshkin, V. Ė (Viktor Ėmmanuilovich) Other Names: International Conference on Parallel Computing Technologies, 13th Record Type: Book Extent: 1 online resource (xiii, 548 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
319. The scrum culture : introducing agile methods in organizations /: introducing agile methods in organizations. ([2015]) Authors: Maximini, Dominik Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
320. Data science : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings /: 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings. (2015) Editors: Maneth, Sebastian Other Names: British International Conference on Databases, 30th Record Type: Book Extent: 1 online resource (xx, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗