Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Interactive computer systems --- Methodology --- Formal Models --- User Interface --- User Interaction
Choose an application
Many people find statistics confusing, and perhaps even more confusing given recent publicity about problems with traditional p-values and alternative statistical techniques including confidence intervals and Bayesian statistics. This book aims to help readers navigate this morass: to understand the debates, to be able to read and assess other people's statistical reports, and make appropriate choices when designing and analysing their own experiments, empirical studies, and other forms of quantitative data gathering.
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Homme et ordinateur [Interaction entre ] --- Human-computer interaction --- Interactie tussen mens en computer --- Interaction entre l'homme et l'ordinateur --- Mens-computer interactie --- Systeemontwerp --- System design --- Systemes [Conception de] --- Interaction homme-machine (Informatique) --- Systèmes, Conception de --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Conception de systèmes --- Conception de systèmes informatiques --- Design [System ] --- Systems design --- Systèmes [Conception de] --- Systèmes informatiques -- Conception et construction --- Systèmes, Conception de
Choose an application
Choose an application
This text examines a range of HCI topics while emphasising design methods. It is divided into three clear parts: foundations, design practice and advanced topics.
Human-computer interaction --- User experience --- Gebruikerservaring --- Computers --- Computing Methodologies --- Task Performance and Analysis --- Electronic Data Processing --- Technology --- #SBIB: --- Arts, Industrial --- Industrial Arts --- Cloud Computing --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Critical Incident Technic --- Task Performance --- Task Performance, Analysis --- Critical Incident Technique --- Critical Incident Technics --- Critical Incident Techniques --- Incident Technic, Critical --- Incident Technics, Critical --- Incident Technique, Critical --- Incident Techniques, Critical --- Performance, Analysis Task --- Performance, Task --- Performances, Analysis Task --- Performances, Task --- Task Performances --- Task Performances, Analysis --- Technic, Critical Incident --- Technics, Critical Incident --- Technique, Critical Incident --- Techniques, Critical Incident --- Systems Analysis --- High Performance Computing --- Methodologies, Computing --- Computing Methodology --- Computing, High Performance --- Methodology, Computing --- Performance Computing, High --- Calculators, Programmable --- Computer Hardware --- Computers, Digital --- Hardware, Computer --- Calculator, Programmable --- Computer --- Computer, Digital --- Digital Computer --- Digital Computers --- Programmable Calculator --- Programmable Calculators --- methods --- #SBIB:309H1720 --- Informatiekunde, informatie management
Choose an application
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 methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as a presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Formal methods (Computer science) --- Computer science. --- Software engineering. --- Mathematical logic. --- User interfaces (Computer systems). --- Computer Science. --- User Interfaces and Human Computer Interaction. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- System design --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction
Listing 1 - 10 of 19 | << page >> |
Sort by
|