【预订】Computer Safety, Reliability, and Security: 29th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783319992280 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319992280 Author 作者 Gallina Format 版本 平装-胶订 Publication Date 出版日期 2018-08-21 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in V?ster?s, Sweden, in September 2018.The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year’s workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and W
¥997.00
【预订】Computer Safety, Reliability, and Security: Safecomp 201 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319662831 Author 作者 Bitsch, Friedemann Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-09-25 Language 语种 英语
¥608.00
【预订】Computer Safety, Reliability, and Security 9783319242545 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319242545 Author 作者 Koornneef Format 版本 平装-胶订 Pages Number 页数 486页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-11-26 Shipping Weight 商品重量 771g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.
¥608.00
【预订】Computer Safety, Reliability, and Security 9783540231769 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540231769 Author 作者 Heisel Format 版本 平装-胶订 Pages Number 页数 344页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-09 Language 语种 英语 Book Contents 内容简介 Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of condential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the tradit
¥608.00
【预订】Computer Safety, Reliability and Security 9783540426073 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540426073 Author 作者 Voges Format 版本 平装-胶订 Pages Number 页数 256页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-10-10 Language 语种 英语 Book Contents 内容简介 This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 198
¥608.00
【预订】Computer Safety, Reliability, and Security: 33rd Interna 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security: 31st 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security: 27th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783030266004 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030266004 Author 作者 Romanovsky Format 版本 平装-胶订 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.
¥706.00
【预订】Computer Safety, Reliability, and Security 9783540751007 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540751007 Author 作者 Francesca Saglietti Format 版本 平装-胶订 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-12 Language 语种 英语 Book Contents 内容简介 Since 1979, when it was rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and securi
¥608.00
【预订】Computer Safety, Reliability, and Security: 36th Interna 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783030545482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030545482 Author 作者 Casimiro Format 版本 平装-胶订 Pages Number 页数 450页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-01 Language 语种 英语 Book Contents 内容简介 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. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.*The conference was held virtually due to the COVID-1
¥1035
【预订】Computer Safety, Reliability, and Security: Safecomp 201 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783319242484 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319242484 Author 作者 Koornneef Format 版本 平装-胶订 Pages Number 页数 422页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-09-12 Shipping Weight 商品重量 700g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS’15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE’15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - In
¥608.00
【预订】Computer Safety, Reliability, and Security 9783540411864 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540411864 Author 作者 Koornneef Format 版本 平装-胶订 Pages Number 页数 438页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-10-11 Language 语种 英语
¥608.00
【预订】Computer Safety, Reliability and Security 9783540441571 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540441571 Author 作者 Anderson Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-08-28 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.
¥608.00
【预订】Computer Safety, Reliability, and Security. SAFECOMP 202 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030555825 Author 作者 Casimiro Format 版本 平装-胶订 Pages Number 页数 416页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-06 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020.The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: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 o
¥1094
【预订】Computer Safety, Reliability, and Security 9783319454795 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783319454764 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security. SAFECOMP 202 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031409523 Author 作者 Jérémie Guiochet Format 版本 平装-胶订 Pages Number 页数 433页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2023-09-08 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- - Second International Workshop o
¥973.00
【预订】Computer Safety, Reliability, and Security 9783540292005 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540292005 Author 作者 Winther Format 版本 平装-胶订 Pages Number 页数 405页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
¥608.00
【预订】Computer Safety, Reliability, and Security 9783030262495 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030262495 Author 作者 Romanovsky Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-29 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019: 8th International Workshop on Next Generation of
¥803.00
【预订】Computer Safety, Reliability, and Security 9783540201267 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540201267 Author 作者 Anderson Format 版本 平装-胶订 Pages Number 页数 426页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-12 Language 语种 英语 Book Contents 内容简介 Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of mul
¥608.00
【预订】Computer Safety, Reliability, and Security: 28th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security: 30th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security: Safecomp 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783540457626 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540457626 Author 作者 Górski Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-22 Language 语种 英语 Book Contents 内容简介 Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operato
¥608.00
【预订】Computer Safety, Reliability, and Security 9783642407925 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Safety, Reliability, and Security 9783319991290 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319991290 Author 作者 Gallina Format 版本 平装-胶订 Publication Date 出版日期 2018-08-17 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in V?ster?s, Sweden, in September 2018.The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
¥608.00
【预订】Computer Safety, Reliability, and Security: 41st Interna 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031148347 Author 作者 Mario Trapp Format 版本 平装-胶订 Pages Number 页数 380页 Publisher 出版社 Springer International Publishing AG Publication Date 出版日期 2022-08-25 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
¥790.00
【预订】Computer Safety, Reliability, and Security 9783030839024 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030839024 Author 作者 Ibrahim Habli Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-25 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.62 Shipping Weight 商品重量 0.91 Language 语种 其它（含多语） Book Contents 内容简介 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. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
¥608.00
【预订】Computer Safety, Reliability and Security 9783540664888 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540664888 Author 作者 Felici Format 版本 平装-胶订 Pages Number 页数 490页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-09-15 Language 语种 英语 Book Contents 内容简介 The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services’. The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scien
¥608.00
【预订】Computer Safety, Reliability, and Security. SAFECOMP 202 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031148613 Author 作者 Mario Trapp Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Springer International Publishing AG Publication Date 出版日期 2022-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. * 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) * 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) * 9th International Workshop on Next Generation of System Assurance Approaches for Cri
¥1217
预订 Computer Safety, Reliability, and Security: 38th Internat 【全球购】进口原版图书，预计3-6周左右到国内
¥576.00
3-6周达 Computer Safety, Reliability, and Security: 30th Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Computer Safety, Reliability, and Security. SAFECOMP 2 【全球购】进口原版图书，预计3-6周左右到国内
¥756.00
3-6周达 Computer Safety, Reliability, and Security: 23rd Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥644.00
海外直订Computer Safety, Reliability, and Security: 23rd Interna
¥553.00
3-6周达 Computer Safety, Reliability, and Security: Safecomp 2 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Computer Safety, Reliability, and Security: 19th Interna
¥553.00
3-6周达 Computer Safety, Reliability, and Security: 19th Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥649.00
预订 Computer Safety, Reliability, and Security. Safecomp 2024 国外库房发货，通常付款后3-5周到货
¥1045
海外直订Computer Safety, Reliability, and Security. Safecomp 202
¥997.00
3-6周达 Computer Safety, Reliability, and Security: 41st Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥645.00
海外直订Computer Safety, Reliability, and Security: 34th Interna
¥552.00
海外直订Computer Safety, Reliability, and Security: 35th Interna
¥552.00
3-6周达 Computer Safety, Reliability, and Security: 34th Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Computer Safety, Reliability, and Security: Safecomp 2 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Computer Safety, Reliability, and Security: 28th Interna
¥553.00
3-6周达 Computer Safety, Reliability, and Security: Safecomp 2 【全球购】进口原版图书，预计3-6周左右到国内
¥655.00
3-6周达 Computer Safety, Reliability, and Security: 37th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Computer Safety, Reliability, and Security [ISBN:97836424 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
3-6周达 Computer Safety, Reliability, and Security: 39th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥843.00
【3-6周达】Computer Safety, Reliability, and Security: 28th Inte 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Computer Safety, Reliability, and Security: 30th Interna
¥553.00
【3-6周达】Computer Safety, Reliability, and Security: 27th Inte 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Computer Safety, Reliability, and Security: 29th Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Computer Safety, Reliability and Security: 21st Intern 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥645.00
3-6周达 Computer Safety, Reliability, and Security: Safecomp 2 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
