海外直订Industrial Deployment of System Engineering Methods 系统工程
¥585.00
预订Selected Games 预订,预计下单后3-6周左右发货!
¥478.80
预订 Advances in Exception Handling Techniques [ISBN:978354041 【全球购】进口原版图书,约5-8周到达国内后发出
¥466.00
海外直订Industrial Deployment of System Engineering Methods 系统工程
¥586.00
预订Soviet Middlegame Technique 预订,预计下单后2-3周左右发货!
¥298.80
预订 高被引Industrial Deployment of System Engineering Methods [I 【全球购】进口原版图书,约5-8周到达国内后发出
¥454.00
预订 Industrial Deployment of System Engineering Methods 国外库房发货,通常付款后3-5周到货
¥608.00
预订 Computer Safety, Reliability, and Security: 38th Internat 【全球购】进口原版图书,约5-8周到达国内后发出
¥530.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.
¥574.00
海外直订Advances in Exception Handling Techniques 异常处理技术的进步
¥553.00
预订 Concurrency in Dependable Computing [ISBN:9781402070433] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1319
预订 高被引Thermoregulation Part II, Vol. 157: From Basic [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥2503
【预订】Selected Games 9785604176986 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9785604176986 Author 作者 Romanovsky Peter Format 版本 平装-胶订 Pages Number 页数 384页 Publisher 出版社 Limited Liability Company Elk and Ruby Publis Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1180g Language 语种 其它(含多语)
¥370.00
预订 Industrial Deployment of System Engineering Methods 国外库房发货,通常付款后3-5周到货
¥608.00
预订 Trustworthy Cyber-Physical Systems Engineering 英文原版 [ISBN 【全球购】进口原版图书,约5-8周到达国内后发出
¥566.00
预订 Computer Safety, Reliability, and Security: Safecomp 2019 【全球购】进口原版图书,约5-8周到达国内后发出
¥604.00
预订Industrial Deployment of System Engineering Methods (2013) 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
【预订】Advances in Exception Handling Techniques 9783540419525 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540419525 Author 作者 Romanovsky Format 版本 平装-胶订 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-04-04 Language 语种 英语 Book Contents 内容简介 Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.This book is composed of five parts, which deal with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applicatio
¥520.00
海外直订The Onset (A Student Wants to Live Book 1): LitRPG Serie
¥192.00
【预订】Reliable Software Technologies – Ada-Europe 2011 9783642 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642213373 Author 作者 Romanovsky Format 版本 平装-胶订 Pages Number 页数 227页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-06-14 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
¥520.00
预订 Reliable Software Technologies - Ada-Europe 2011: 16th Ad 【全球购】进口原版图书,约5-8周到达国内后发出
¥471.00
预订 Concurrency in Dependable Computing [ISBN:9781441952783] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1319
预订 高被引Trustworthy Cyber-Physical Systems Engineering [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥1409
预订 高被引Thermoregulation Part I, Vol. 156: From Basic N [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥2503
【预订】Software Engineering for Resilient Systems: 9th Internat 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Thermoregulation 9780444639127 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780444639127 Author 作者 Romanovsky Format 版本 精装 Pages Number 页数 600页 Publisher 出版社 Elsevier Publication Date 出版日期 2018-12-12 Product Dimensions 商品尺寸 26.4 x 55.6 x 3 cm Shipping Weight 商品重量 1.4 kg Language 语种 其它(含多语) Book Contents 内容简介 Thermoregulation, Part I: From Basic Neuroscience to Clinical Neurology, Volume 154, not only reviews how body temperature regulation changes in neurological diseases, but also how this aspect affects the course and outcomes of each disease. Other sections of the volume review three therapeutic approaches that are aimed at manipulating body temperature, including induced hypothermia, induced hyperthermia and antipyretic therapy. The book is comprised of nine sections across two volumes, five dealing with the basic aspects of body temperature regulation and four dealing with th
¥2443
预订 Software Engineering for Resilient Systems: 9th Internati 【全球购】进口原版图书,约5-8周到达国内后发出
¥487.00
【预订】Thermoregulation Part II 9780444640741 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780444640741 Author 作者 Romanovsky, Andrej A. Format 版本 精装 Pages Number 页数 364页 Publication Date 出版日期 2018-12-13 Language 语种 英语 Book Contents 内容简介 Thermoregulation Part Il: From Basic Neuroscience to Clinical Neurology not only reviews how body temperature regulation changes in neurological diseases, but also how this aspect affects the course and outcomes of each disease. Other sections of the volume review three therapeutic approaches that are aimed at manipulating body temperature, including induced hypothermia, induced hyperthermia and antipyretic therapy. The book is comprised of nine sections across two volumes, five dealing with the basic aspects of body temperature regulation and four dealing with the clinical aspects. The basic sections (Thermoregulation system, Thermoreceptors, Thermoeffectors, Neural pathways, and Thermoregulation as a homeosta
¥2424
海外直订The Architects (A Student Wants to Live Book 2): LitRPG
¥192.00
【预订】Concurrency in Dependable Computing Y9781402070433 美国库房发货,通常付款后3-5周到货!
¥1450
【预订】Reliability, Safety, and Security of Railway Systems. Mo 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319684987 Author 作者 Romanovsky, Alexander Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-10-20 Language 语种 英语
¥528.00
海外直订Computer Safety, Reliability, and Security: 38th Interna
¥564.00
预订 Symfony2 Essentials Symfony2的要领: 9781784398767 国外库房发货,通常付款后3-5周到货
¥349.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
¥687.00
墨迪图书 只售正版 船用燃气轮机机组设计理论基础(乌克兰科学高等教育用书) 就近仓发货
¥49.80定价:¥49.80
异常处理技术进展Advances in exception handling techniques(异常处理技术进展)
¥472.70定价:¥598.34 (7.91折)