41. Risks and security of internet and systems : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014. Revised selected papers /: 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014. Revised selected papers. (2015) Editors: López, Javier; (Computer scientist), Ray, Indrajit; Crispo, Bruno Other Names: CRiSIS (Conference), 9th Record Type: Book Extent: 1 online resource (xi, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Blended learning : enhancing learning success : 11th International Conference, ICBL 2018, Osaka, Japan, July 31-August 2, 2018, Proceedings /: enhancing learning success : 11th International Conference, ICBL 2018, Osaka, Japan, July 31-August 2, 2018, Proceedings. (2018) Editors: Cheung, Simon K. S; Kwok, Lam-for; Kubota, Ken'ichi; Lee, Lap-Kei; Tokito, Jumpei Other Names: ICBL (Conference), 11th Record Type: Book Extent: 1 online resource (xviii, 440 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. PRIMA 2018 : Principles and Practice of Multi-Agent Systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /: Principles and Practice of Multi-Agent Systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings. (2018) Editors: Miller, Tim; Oren, Nir; Sakurai, Yuko; Noda, Itsuki; Savarimuthu, Bastin Tony Roy; Son, Tran Cao, 1962- Other Names: International Conference on Principles and Practice of Multi-agent Systems, 21st Record Type: Book Extent: 1 online resource (xvii, 682 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017]) Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend Record Type: Book Extent: 1 online resource (XII, 391 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Enterprise, business-process and information systems modeling : 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings /: 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings. (2018) Editors: Gulden, Jens; Reinhartz-Berger, Iris; Schmidt, Rainer; Guerreiro, Sérgio; Guédria, Wided; Bera, Palash Other Names: BPMDS (Conference), 19th; CAiSE (Conference), 29th; EMMSAD (Conference), 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Human-computer interaction. 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /: 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Design and evaluation : Part I, (2015) Editors: Kurosu, Masaaki, 1948- Other Names: International Conference on Human-Computer Interaction, 17th Record Type: Book Extent: 1 online resource (xxxi, 556 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Human-computer interaction. 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /: 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Users and contexts : Part III, (2015) Editors: Kurosu, Masaaki, 1948- Other Names: International Conference on Human-Computer Interaction, 17th Record Type: Book Extent: 1 online resource (xvii, 566 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Human-computer interaction. 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /: 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Interaction technologies : Part II, (2015) Editors: Kurosu, Masaaki, 1948- Other Names: International Conference on Human-Computer Interaction, 17th Record Type: Book Extent: 1 online resource (xix, 812 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Games and learning alliance : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised selected papers /: 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised selected papers. (2015) Editors: De Gloria, Alessandro; Veltkamp, Remco C, 1963- Other Names: International Conference on Games and Learning Alliance, 4th Record Type: Book Extent: 1 online resource (xii, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. 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) ↗