【预订】Formal Techniques in Real-Time and Fault-Tolerant System
国外库房发货,通常付款后3-5周到货!
/ 1998-09-02
Product Details 基本信息 ISBN-13 书号 9783540650034 Author 作者 Ravn Format 版本 平装-胶订 Pages Number 页数 347页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-09-02 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT’98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
¥520.00
【预订】Connecting Humans to Equations 9783030013363
美国库房发货,通常付款后3-5周到货!
/ 2019-02-25
Product Details 基本信息 ISBN-13 书号 9783030013363 Author 作者 Ole Ravn Aalborg University Aalborg Denmark Format 版本 精装 Pages Number 页数 188页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-02-25 Language 语种 英语 Book Contents 内容简介 Connecting Humans to Equations: A Reinterpretation of the Philosophy of Mathematics presents some of the most important positions in the philosophy of mathematics, while adding new dimensions to this philosophy. Mathematics is an integral part of human and social life, meaning that a philosophy of mathematics must include several dimensions. This book describes these dimensions by the following four questions that structure the content of the book: Where is mathematics How certain is mathematics? How social is mathematics? How good is mathematics? These four questions refer to the ontological, epistemological, social, and ethical dimen
¥1022
【预订】Death Ritual and Germanic Social Structure (c. AD 200-60
国外库房发货,通常付款后3-5周到货!
/ 2003-10-01
Product Details 基本信息 ISBN-13 书号 9781841715322 Author 作者 Mads Ravn Format 版本 平装-胶订 Pages Number 页数 157页 Publisher 出版社 British Archaeological Reports(BAR Publishing) Publication Date 出版日期 2003-10-01 Language 语种 其它(含多语) Book Contents 内容简介 The aim of this book is to understand the development of the social structure of Germanic society in selected parts of “Germania Libera” in Europe from around c. 200 AD to 600 AD. Social structure here is primarily defined as the way the Germanic tribes perceived and expressed themselves and their worldview through their texts, their person, gender, family, lineage, tribe, and internal social and religious relations in the material culture. This book incorporates a relatively large time span which highlights aspects of Germanic social structure not identified in traditional shorter studies dictated by arbitrarily defined perio
¥515.00
【预订】2021布克奖入围作品 员工们The Employees 北欧英文文学小说 深入船员员工如何看待自己工作 生活批
预订图书大约8-12周发货
/ 2020-10-01
¥144.00
进入善本图书旗舰店
【预订】Safety and Design of the Boeing 737 Max: Were the Crashe
国外库房发货,通常付款后3-5周到货!
/ 2020-05-06
Product Details 基本信息 ISBN-13 书号 9781536179026 Author 作者 Malthe E. Ravn Format 版本 精装 Pages Number 页数 318页 Publisher 出版社 Nova Science Publishers Publication Date 出版日期 2020-05-06 Language 语种 其它(含多语) Book Contents 内容简介 Recent foreign air disasters involving Boeing 737 Max airplanes have raised international concern about the safety of that aircraft and passenger airline safety in general. On October 29, 2018, Lion Air flight 610 crashed shortly after departure from Jakarta, Indonesia, killing all 189 on board. On March 10, 2019, Ethiopian Airlines flight 302 crashed shortly after departure from Addis Ababa, Ethiopia, reportedly resulting in 157 fatalities. 346 people died on two MAX aircraft within a 5-month period. The book looks at the overall safety, design and development of the Boeing 737 Max.
¥1775
【预订】Medicare: Value-Based Care, Pharmacy Benefit Managers, T
国外库房发货,通常付款后3-5周到货!
/ 2020-04-22
Product Details 基本信息 ISBN-13 书号 9781536174441 Author 作者 Gustav A. Ravn Format 版本 精装 Pages Number 页数 362页 Publisher 出版社 Nova Science Publishers Publication Date 出版日期 2020-04-22 Language 语种 其它(含多语) Book Contents 内容简介 Over the course of the last few years, our healthcare system has begun a shift toward rewarding physicians for the quality of care rather than the quantity, and building off these efforts, providers, doctors, health systems, and payers are willing to explore new value-based arrangements and open the door to providing new benefits for their beneficiaries. The Medicare Access and CHIP Reauthorization Act began to shift Medicare towards being a more value-based payment system. Chapter 1 discusses the models that are working toward improve the quality of care and reducing cost.Total expenditures for the Medicare Part D drug program exceeded $100 billion in 20
¥2093
【预订】Neural Networks for Modelling and Control of Dynamic Sys
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
/ Springer
¥1372.95