1
Human-Computer Interaction. Theory, Design, Development and Practice [E-Book] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I /
2
Human-Computer Interaction. Novel User Experiences [E-Book] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III /
3
Design, User Experience, and Usability: Novel User Experiences [E-Book] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II /
4
Design, User Experience, and Usability: Technological Contexts [E-Book] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part III /
5
Design, User Experience, and Usability: Design Thinking and Methods [E-Book] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I /
6
Computer Aided Verification [E-Book] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
7
Computer Aided Verification [E-Book] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
8
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
9
Runtime Verification [E-Book] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
10
Stabilization, Safety, and Security of Distributed Systems [E-Book]: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /
11
Programming Multi-Agent Systems [E-Book]: 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers /