Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Computer Safety, Reliability, and Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings, Habli Ibrahim, Sujan Mark, Bitsch Friedemann


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Habli Ibrahim, Sujan Mark, Bitsch Friedemann
Название:  Computer Safety, Reliability, and Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings
ISBN: 9783030839024
Издательство: Springer
Классификация:






ISBN-10: 3030839028
Обложка/Формат: Paperback
Страницы: 278
Вес: 0.41 кг.
Дата издания: 16.09.2021
Язык: English
Размер: 23.39 x 15.60 x 1.57 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: 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.


Computer Safety, Reliability, and Security. Safecomp 2021 Workshops: Decsos, Mapsod, Depdevops, Usdai, and Waise, York, Uk, September 7, 2021, Proceed

Автор: Habli Ibrahim, Sujan Mark, Gerasimou Simos
Название: Computer Safety, Reliability, and Security. Safecomp 2021 Workshops: Decsos, Mapsod, Depdevops, Usdai, and Waise, York, Uk, September 7, 2021, Proceed
ISBN: 3030839052 ISBN-13(EAN): 9783030839055
Издательство: Springer
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021).- Dependable Integration Concepts for Human-Centric AI-based Systems.- Rule-Based Threat Analysis and Mitigation for the Automotive Domain.- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems.- Synchronisation of an Automotive Multi-Concern Development Process.- Offline Access to a Vehicle via PKI-based Authentication.- HEIFU - Hexa Exterior Intelligent Flying Unit.- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes.- Formal Modelling of the Impact of Cyber Attacks on Railway Safety.- LoRaWAN with HSM as a Security Improvement for Agriculture Applications - Evaluation.- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021).- Towards Continuous Safety Assessment in Context of DevOps.- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution.- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021).- An Accountability Approach to Resolve Multi-stakeholder Conflicts.- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance.- Towards Assurance-Driven Architectural Decomposition of Software Systems.- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021).- Integration of a RTT Prediction into a Multi-path Communication Gateway.- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021).- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty.- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors.- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review.- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving.- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600.- Learning From AV Safety: Hope and Humility Shape Policy and Progress.- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems.- Certification Game for the Safety Analysis of AI-based CPS.- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems.
I

Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV

Автор: Ardito Carmelo, Lanzilotti Rosa, Malizia Alessio
Название: Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV
ISBN: 3030856097 ISBN-13(EAN): 9783030856090
Издательство: Springer
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.

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.

Computer Information Systems and Industrial Management: 20th International Conference, Cisim 2021, Elk, Poland, September 24-26, 2021, Proceedings

Автор: 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
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II

Автор: Ardito Carmelo, Lanzilotti Rosa, Malizia Alessio
Название: Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II
ISBN: 3030856151 ISBN-13(EAN): 9783030856151
Издательство: Springer
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.

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.

Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part I

Автор: Ardito Carmelo, Lanzilotti Rosa, Malizia Alessio
Название: Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part I
ISBN: 3030856224 ISBN-13(EAN): 9783030856229
Издательство: Springer
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.

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.

Augmented Reality, Virtual Reality, and Computer Graphics: 8th International Conference, AVR 2021, Virtual Event, September 7-10, 2021, Proceedings

Автор: De Paolis Lucio Tommaso, Arpaia Pasquale, Bourdot Patrick
Название: Augmented Reality, Virtual Reality, and Computer Graphics: 8th International Conference, AVR 2021, Virtual Event, September 7-10, 2021, Proceedings
ISBN: 3030875946 ISBN-13(EAN): 9783030875947
Издательство: Springer
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2021, held in Italy, in September 2021.

Human-Computer Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II

Автор: Ardito Carmelo, Lanzilotti Rosa, Malizia Alessio
Название: Human-Computer Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II
ISBN: 3030856127 ISBN-13(EAN): 9783030856120
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.

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.

Computer Safety, Reliability, and Security: 39th International Conference, Safecomp 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

Автор: Casimiro Antуnio, Ortmeier Frank, Bitsch Friedemann
Название: Computer Safety, Reliability, and Security: 39th International Conference, Safecomp 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
ISBN: 3030545482 ISBN-13(EAN): 9783030545482
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions.

Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr

Автор: Romanovsky Alexander, Troubitsyna Elena, Gashi Ilir
Название: Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr
ISBN: 3030262499 ISBN-13(EAN): 9783030262495
Издательство: Springer
Рейтинг:
Цена: 9222.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019).- Combining GSN and STPA for safety arguments.- A modelling approach for system life cycles assurance.- Contract-based Modular Safety Cases for Incremental Certification of Product Lines.- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019).- Comparative Evaluation of Security Fuzzing Approaches.- Assuring compliance with protection profiles with Threatget.- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.- Combined Approach for Safety and Security.- Towards Integrated Quantitative Security and Safety Risk Assessment.- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.- Increasing Safety of Neural Networks in Medical Devices.- Smart Wristband for Voting.- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019).- Automotive Cybersecurity standards - relation and overview.- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems.- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance.- The SISTER approach for Verification and Validation: a lightweight process for reusable results.- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018).- Demo: CANDY CREAM.- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM.- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies.- Enhancing CAN security by means of lightweight stream-ciphers and protocols.- Analysis of Security Overhead in Broadcast V2V Communications.- You overtrust your printer.- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).- Three Reasons Why: Framing the Challenges of Assuring AI.- Improving ML Safety with Partial Specifications.- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies.- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper).- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.- Adaptive Deployment of Safety Monitors for Autonomous Systems.- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates.- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.- Bayesian Uncertainty Quantification with Synthetic Data.- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.- The Moral Machine: Is It Moral.

Computer Safety, Reliability, and Security. Safecomp 2020 Workshops: Decsos 2020, Depdevops 2020, Usdai 2020, and Waise 2020, Lisbon, Portugal, Septem

Автор: Casimiro Antуnio, Ortmeier Frank, Schoitsch Erwin
Название: Computer Safety, Reliability, and Security. Safecomp 2020 Workshops: Decsos 2020, Depdevops 2020, Usdai 2020, and Waise 2020, Lisbon, Portugal, Septem
ISBN: 3030555828 ISBN-13(EAN): 9783030555825
Издательство: Springer
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems.- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems.- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI.- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering.

Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part V

Автор: Ardito Carmelo, Lanzilotti Rosa, Malizia Alessio
Название: Human-Computer-Interaction - Interact 2021: 18th Ifip Tc 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part V
ISBN: 3030856062 ISBN-13(EAN): 9783030856069
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.

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.

Trust, Privacy and Security in Digital Business: 18th International Conference, TrustBus 2021, Virtual Event, September 27-30, 2021, Proceedings

Автор: Fischer-Hьbner Simone, Lambrinoudakis Costas, Kotsis Gabriele
Название: Trust, Privacy and Security in Digital Business: 18th International Conference, TrustBus 2021, Virtual Event, September 27-30, 2021, Proceedings
ISBN: 3030865851 ISBN-13(EAN): 9783030865856
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume LNCS 12927 constitutes the papers of the 18th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2021, held in September 2021 as part of the DEXA 2021 conference.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия