LEADER 00978nam0-22003371i-450- 001 990000996050403321 010 $a90-277-2207-2 035 $a000099605 035 $aFED01000099605 035 $a(Aleph)000099605FED01 035 $a000099605 100 $a20000920d1986----km-y0itay50------ba 101 0 $aeng 200 1 $aEssays on Supersymmetry$fEdited by C. Fronsdal$gwith contributions by M. Flato, C. Fronsdal, T. Hirai 210 $aDordrecht (NL)$cReidel$d1986 225 1 $aMathematical Physics Studies$v8 610 0 $aTeoria dei campi 610 0 $aTeoria dello scattering 610 0 $aTeoria dei molti corpi 676 $a530.143 700 1$aFronsdal,$bChristian$046842 702 1$aFlato,$bMoshé 702 1$aHirai,$bTakeshi 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000996050403321 952 $a22A-296$b14090$fFI1 959 $aFI1 996 $aEssays on Supersymmetry$9354115 997 $aUNINA DB $aING01 LEADER 01147nam0 22002653i 450 001 SUN0085756 005 20111024102314.276 010 $a08-607-8810-5 100 $a20111024d2000 |0engc50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aMontecassino and Benevento in the middle ages$eessays in south Italian church history$fG. A. Loud 210 $aAldershot $cAshgate$dc2000 215 $a1 v. (paginazione varia)$cill.$d23 cm. 410 1$1001SUN0032800$12001 $aCollected studies series$v673$1210 $aLondon$cVariorum$d1970-. 620 $dAldershot$3SUNL000151 700 1$aLoud$b, Graham A.$3SUNV070360$0256477 712 $aAshgate$3SUNV000560$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0085756 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Vd 1323 $e07 DP 2605 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h2605$kCONS Vd 1323$oc$qa 996 $aMontecassino and Benevento in the Middle Ages$9699943 997 $aUNICAMPANIA LEADER 04865nam 22006135 450 001 9910254824803321 005 20251116172530.0 010 $a3-319-51838-0 024 7 $a10.1007/978-3-319-51838-1 035 $a(CKB)3710000001178130 035 $a(DE-He213)978-3-319-51838-1 035 $a(MiAaPQ)EBC4845750 035 $a(PPN)200510029 035 $a(EXLCZ)993710000001178130 100 $a20170424d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe handbook of formal methods in human-computer interaction /$fedited by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 575 p. 205 illus., 133 illus. in color.) 225 1 $aHuman?Computer Interaction Series,$x1571-5035 311 08$a3-319-51837-2 320 $aIncludes bibliographical references at the end of each chapters. 327 $aForeword -- Part I: Introduction -- State of the Art in Formal Methods in HCI -- Topics of formal methods in HCI -- Trends and Gaps -- Case Studies -- Part II: Modeling, Execution and Simulation -- Visual and Formal Modeling of Modularized and Executable User Interface Models -- Combining Models for Interactive System Modelling -- Activity Modelling for Low-Intention Interaction -- Modelling the User Physigrams ? Modeling Physical Device Characteristics Interaction -- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models -- Part II:Analysis, Validation and Verification -- Learning Safe Interactions and Full-Control -- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human -- Behavior in the Verification of Complex Systems -- The Specification and Analysis of Use Properties of a Nuclear -- Control System -- Formal Analysis of Multiple Coordinated HMI Systems -- Part IV: Future Opportunities and Developments -- Domain-Specific Modelling for Human-Computer Interaction -- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment -- A Public Tool Suite for Modelling Interactive Applications -- Formal Modeling of App-Ensembles -- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods. . 330 $aThis 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. 410 0$aHuman?Computer Interaction Series,$x1571-5035 606 $aUser interfaces (Computer systems) 606 $aSoftware engineering 606 $aLogic, Symbolic and mathematical 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aUser interfaces (Computer systems) 615 0$aSoftware engineering. 615 0$aLogic, Symbolic and mathematical. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a004.0151 702 $aWeyers$b Benjamin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBowen$b Judy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDix$b Alan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPalanque$b Philippe$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254824803321 996 $aThe Handbook of Formal Methods in Human-Computer Interaction$92515864 997 $aUNINA