LEADER 01846nam 22004453 450 001 996210817303316 005 20231110221915.0 010 $a3-662-22378-3 035 $a(CKB)1000000000751043 035 $a(MiAaPQ)EBC3099812 035 $a(Au-PeEL)EBL3099812 035 $a(CaPaEBR)ebr10974713 035 $a(OCoLC)934997587 035 $a(EXLCZ)991000000000751043 100 $a20210901d1993 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecursion theory 205 $a1st ed. 210 1$aBerlin, Heidelberg :$cSpringer,$d1993. 210 4$dİ1993. 215 $a1 online resource (89 pages) 225 1 $aLecture Notes in Logic ;$vv.1 311 $a3-540-57093-4 327 $aLecture Notes in Logic 1 Recursion Theory -- Recursion Theory -- Copyright -- Introduction -- CONTENTS -- 1. Computability -- 2. Functions and Relations -- 3. The Basic Machine -- 4. Macros -- 5. Closure Properties -- 6. Definitions of Recursive Functions -- 7. Codes -- 8. Indices -- 9. Church's Thesis -- 10. Word Problems -- 11. Undecidable Theories -- 12. Relative Recursion -- 13. The Arithmetical Hierarchy -- 14. Recursively Enumerable Relations -- 15. Degrees -- 16. Evaluation of Degrees -- 17. Large RE Sets -- 18. Function of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy -- Suggestions for Further Reading -- Index. 410 0$aLecture Notes in Logic 676 $a511.35 700 $aShoenfield$b Joseph R$g(Joseph Robert),$f1927-$050563 701 $aGirard$b J.-Y$01225454 701 $aLachlan$b A$048457 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996210817303316 996 $aRecursion Theory$92845147 997 $aUNISA LEADER 05398nam 22007455 450 001 9911007480503321 005 20250526130247.0 010 $a3-031-92826-1 024 7 $a10.1007/978-3-031-92826-0 035 $a(CKB)39124560300041 035 $a(DE-He213)978-3-031-92826-0 035 $a(MiAaPQ)EBC32131061 035 $a(Au-PeEL)EBL32131061 035 $a(EXLCZ)9939124560300041 100 $a20250526d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHCI in Business, Government and Organizations $e12th International Conference, HCIBGO 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22?27, 2025, Proceedings, Part II /$fedited by Keng Leng Siau, Fiona Fui-Hoon Nah 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXIII, 275 p. 52 illus., 35 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15805 311 08$a3-031-92825-3 327 $aRoles, Skills, and Technology Adoption in Modern Workplaces -- Understanding Users' Acceptance and Adoption of Voice-Driven Systems. -- Automated Monitoring in the Work Environment: Risks and Opportunities of Automated Recording of Resource Consumption and Processes for Hazard Prevention in the Workplace. -- Technological Influence on Digital Banking Adoption: A Framework and Empirical Study of the Influence of Social Robots and IVAs in a Small Island Context. -- Clarifying the Role of Product Owners: A Comprehensive Taxonomy on Product Owner Roles. -- Relationship Between the Impressions that Interview Applicants Intend to Convey and that Interviewers Form: Subjective Assessment and Gaze Measurement. -- Exploring Gender Disparities in Psychological Safety in Tech Teams. -- ESCO and the Job Market: A Comparative Study of HCI Skill Demands. Collaboration, Communication, and Work Dynamics -- The Configuration of Space: Probing the Way Social Interaction and Perception are Affected by Task-specific Spatial Representations in Online Video Communication. -- Examining the Impact of Digital Nudges and Price Discounts on E-Grocery Delivery Slot Selection. -- The House of the Impossible Gables: Player Engagement and Spatial Perception of Physically Impossible Spaces in Social VR. -- Correlation Analysis of Objective Features and Online Meeting Quality. -- Job Seekers and Industry 4.0/5.0 Technologies: Initiating the Dialogue through Interactive Workshops. -- How do Digital Business Professionals Manage Work Interruptions? A Pilot Study on Coping Strategies. -- Revealing the Benefits and Burdens of Workplace Digitalization: Preliminary Insights from a Qualitative Study. -- Leadership Styles, Knowledge Transfer, and Interruptions: Unpacking Critical Dynamics in Remote Software Teams. -- Research on Interaction Modes of Shared Desktops for Collaborative Work. 330 $aThis two-volume set of HCIBGO 2025 constitutes the refereed proceedings of the 12th International Conference on HCI in Business, Government and Organizations, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22?27, 2025. Two volumes of the HCII 2025 proceedings are dedicated to this year?s edition of the HCIBGO conference. The first volume covers topics related to User Experience, Design, and Digital Engagement; Artificial Intelligence in Digital Transformation and Business Processes; and Social Media and Market Insights. The second volume focuses on topics related to Roles, Skills, and Technology Adoption in Modern Workplaces; and Collaboration, Communication, and Work Dynamics. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15805 606 $aEducation$xData processing 606 $aComputer networks 606 $aComputer systems 606 $aElectronic commerce 606 $aMachine learning 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aComputers and Education 606 $aComputer Communication Networks 606 $aComputer System Implementation 606 $ae-Commerce and e-Business 606 $aMachine Learning 606 $aUser Interfaces and Human Computer Interaction 615 0$aEducation$xData processing. 615 0$aComputer networks. 615 0$aComputer systems. 615 0$aElectronic commerce. 615 0$aMachine learning. 615 0$aUser interfaces (Computer systems) 615 0$aHuman-computer interaction. 615 14$aComputers and Education. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 615 24$ae-Commerce and e-Business. 615 24$aMachine Learning. 615 24$aUser Interfaces and Human Computer Interaction. 676 $a371.334 702 $aSiau$b Keng Leng$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNah$b Fiona Fui-Hoon$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911007480503321 996 $aHCI in Business, Government and Organizations$91997588 997 $aUNINA