皱纹
发表于 2025-3-21 19:53:47
书目名称The Handbook of Formal Methods in Human-Computer Interaction影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0911061<br><br> <br><br>书目名称The Handbook of Formal Methods in Human-Computer Interaction读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0911061<br><br> <br><br>
抵消
发表于 2025-3-21 22:05:56
Book 2017evelopments 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..
恶臭
发表于 2025-3-22 01:01:56
Book 2017 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
Hiatal-Hernia
发表于 2025-3-22 08:02:45
1571-5035 Interaction. is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work..978-3-319-84754-2978-3-319-51838-1Series ISSN 1571-5035 Series E-ISSN 2524-4477
Panacea
发表于 2025-3-22 09:10:26
http://reply.papertrans.cn/92/9111/911061/911061_5.png
cloture
发表于 2025-3-22 14:40:47
Human–Computer Interaction Serieshttp://image.papertrans.cn/t/image/911061.jpg
output
发表于 2025-3-22 19:52:18
https://doi.org/10.1007/978-3-319-51838-1HCI; Interactive systems; formal description techniques; verification of properties; task modeling
Autobiography
发表于 2025-3-23 00:13:29
http://reply.papertrans.cn/92/9111/911061/911061_8.png
Suggestions
发表于 2025-3-23 04:45:59
The Handbook of Formal Methods in Human-Computer Interaction978-3-319-51838-1Series ISSN 1571-5035 Series E-ISSN 2524-4477
cortisol
发表于 2025-3-23 06:04:16
Benjamin Weyers,Judy Bowen,Philippe PalanqueProvides a detailed overview of past, current and future developments of formal methods in HCI.Includes case studies that illustrate various perspectives on, and the use of, formal methods in HCI.Maxi