खोजी परिणाम

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present metho... थप

This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social Computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtually. The 5 full and 4 work-in-process papers presented in this volume were carefull... थप