Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, Fahrenberg Uli, Gehrke Mai, Santocanale Luigi
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I ISBN: 3030816842 ISBN-13(EAN): 9783030816841 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Автор: Fotakis Dimitris, Rнos Insua David Название: Algorithmic Decision Theory: 7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021, Proceedings ISBN: 3030877558 ISBN-13(EAN): 9783030877552 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the conference proceedings of the 7th International Conference on Algorithmic Decision Theory, ADT 2021, held in Toulouse, France, in November 2021.
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II ISBN: 3030816877 ISBN-13(EAN): 9783030816872 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Автор: Kamareddine Fairouz, Sacerdoti Coen Claudio Название: Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings ISBN: 3030810968 ISBN-13(EAN): 9783030810962 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions.
Автор: Saeed Khalid, Dvorskэ Jiřн Название: Computer Information Systems and Industrial Management: 20th International Conference, Cisim 2021, Elk, Poland, September 24-26, 2021, Proceedings ISBN: 3030843394 ISBN-13(EAN): 9783030843397 Издательство: Springer Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 20th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2021, held in Elk, Poland, September 24-26, 2021. Additionally, the reader will find interesting papers on computer information systems, biometrics, security systems, and sensor network service.
Автор: Habli Ibrahim, Sujan Mark, Bitsch Friedemann Название: Computer Safety, Reliability, and Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings ISBN: 3030839028 ISBN-13(EAN): 9783030839024 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions.
The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized in topical sections named: Part I: affective computing; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; augmented reality; computer supported cooperative work. Part II: COVID-19 & HCI; croudsourcing methods in HCI; design for automotive interfaces; design methods; designing for smart devices & IoT; designing for the elderly and accessibility; education and HCI; experiencing sound and music technologies; explainable AI. Part III: games and gamification; gesture interaction; human-centered AI; human-centered development of sustainable technology; human-robot interaction; information visualization; interactive design and cultural development. Part IV: interaction techniques; interaction with conversational agents; interaction with mobile devices; methods for user studies; personalization and recommender systems; social networks and social media; tangible interaction; usable security. Part V: user studies; virtual reality; courses; industrial experiences; interactive demos; panels; posters; workshops. The chapter 'Stress Out: Translating Real-World Stressors into Audio-Visual Stress Cues in VR for Police Training' is open access under a CC BY 4.0 license at link.springer.com. The chapter 'WhatsApp in Politics?! Collaborative Tools Shifting Boundaries' is open access under a CC BY 4.0 license at link.springer.com.
The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized in topical sections named: Part I: affective computing; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; augmented reality; computer supported cooperative work. Part II: COVID-19 & HCI; croudsourcing methods in HCI; design for automotive interfaces; design methods; designing for smart devices & IoT; designing for the elderly and accessibility; education and HCI; experiencing sound and music technologies; explainable AI. Part III: games and gamification; gesture interaction; human-centered AI; human-centered development of sustainable technology; human-robot interaction; information visualization; interactive design and cultural development. Part IV: interaction techniques; interaction with conversational agents; interaction with mobile devices; methods for user studies; personalization and recommender systems; social networks and social media; tangible interaction; usable security. Part V: user studies; virtual reality; courses; industrial experiences; interactive demos; panels; posters; workshops. The chapter 'Stress Out: Translating Real-World Stressors into Audio-Visual Stress Cues in VR for Police Training' is open access under a CC BY 4.0 license at link.springer.com. The chapter 'WhatsApp in Politics?! Collaborative Tools Shifting Boundaries' is open access under a CC BY 4.0 license at link.springer.com.
The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized in topical sections named: Part I: affective computing; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; augmented reality; computer supported cooperative work. Part II: COVID-19 & HCI; croudsourcing methods in HCI; design for automotive interfaces; design methods; designing for smart devices & IoT; designing for the elderly and accessibility; education and HCI; experiencing sound and music technologies; explainable AI. Part III: games and gamification; gesture interaction; human-centered AI; human-centered development of sustainable technology; human-robot interaction; information visualization; interactive design and cultural development. Part IV: interaction techniques; interaction with conversational agents; interaction with mobile devices; methods for user studies; personalization and recommender systems; social networks and social media; tangible interaction; usable security. Part V: user studies; virtual reality; courses; industrial experiences; interactive demos; panels; posters; workshops. The chapter 'Stress Out: Translating Real-World Stressors into Audio-Visual Stress Cues in VR for Police Training' is open access under a CC BY 4.0 license at link.springer.com. The chapter 'WhatsApp in Politics?! Collaborative Tools Shifting Boundaries' is open access under a CC BY 4.0 license at link.springer.com.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
