【预订】Formal System Verification: State-of the-Art and Future 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319862231 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-08-10 Language 语种 英语 Book Contents 内容简介 This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) de*ions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as de*ions of industrial tools and case studies.

¥1314

中国进口图书旗舰店

暂无作者信息 /2018-08-10 /Springer

海外直订Rapid System Prototyping with FPGAs: Accelerating the De

¥1196.99

中华商务进口图书旗舰店

Cofer, R. C. /2005-08-31 /Newnes

按需印刷Power System Protection and Coordination 预订，预计下单后2-3周左右发货！

¥1123

上海外文书店旗舰店

Hadi Zayandehroodi /KS OmniScriptum Publishing

【预售 按需印刷】Low-Cost System for Measuring Dielectric 北京发货，付款后10天内发货

¥882.00

中图图书旗舰店

Abdel-Rahman a. S. /2014-04-15 /KS OmniScriptum Publishing

3-6周达 高被引Food System Sustainability: Insights from Dualine [ 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥796.00

书之源外文图书

Esnouf, Catherine /2013-04-25 /Cambridge University Press

【3-6周达】The System Concept and Its Application to Engineering 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Aslaksen, Erik W. /2012-09-07 /Springer

【预订】Correct System Design 9783319235059 美国库房发货，通常付款后3-5周到货！

¥525.00

中国进口图书旗舰店

Meyer, Roland /2015-09-15 /Springer International Publishing

【预售 按需印刷】Computer System and Programming fundamentals in C

¥1006.4

中图图书旗舰店

Marpe Sora /2020-12-28 /KS OmniScriptum Publishing

【3-6周达】System Identification of Internal Model Control [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥649.00

书之源外文图书

Mahbub,Farhan /2011-10-19 /LAP Lambert Academic Publishing

英文原版 Power System Stability and Control 电力系统稳定与控制 精装第2版 英文版

¥1428

华研外语旗舰店

2022-08-01 /McGraw

【3-6周达】System Evaluation for Faults, Impacts and Design [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥700.00

书之源外文图书

Halldane John /2015-05-04 /LAP Lambert Academic Publishing

海外直订HVAC System Repair 暖通空调系统维修

¥610.00

中华商务进口图书旗舰店

Nehme, Charles /2023-10-25 /Independently Published

海外直订Solar System Planets and Exoplanets 太阳系行星和系外行星

¥1891

中华商务进口图书旗舰店

Bevelacqua, Joseph /2021-07-06 /Intechopen

【预订】E?Cell System 9781493947614 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781493947614 Author 作者 Satya Nanda Vel Arjunan Osaka University Osaka Japan Osa Format 版本 平装-胶订 Pages Number 页数 179页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 382g Language 语种 英语 Book Contents 内容简介 The interdisciplinary field of molecular systems biology aims to understand the behavior and mechanisms of biological processes composed of individual molecular components. As we gain more qualitative and quantitative information of complex intracellular processes, biochemical modeling and simulation become indispensable not only to uncover the molecular mechanisms of the processes, but to perform useful predictions. To this end, the ECell System, a multi?algorithm, multi?timescale object?oriented simulation platform, can be used to construct predictive virtual biological sys

¥1205

中国进口图书旗舰店

Satya Nanda Vel Arjunan Osaka Univer... /2016-08-23 /Springer Berlin Heidelberg

【3-6周达】System der Ethik mit einem Umriss der Staats- und Ges 【全球购】进口原版图书，约3-6周到达国内后发出

¥1648

书之源外文图书

Paulsen, Friedrich /2012-10-27 /Salzwasser-Verlag Gmbh

海外直订医药图书System of Surgery, Volume 1 外科系统，第一卷

¥638.00

中华商务进口图书旗舰店

Dennis, Frederic Shepard /2015-09-29 /Arkose Press

海外直订Power System Protection: Application 电力系统保护:应用

¥2208.9

中华商务进口图书旗舰店

The Electricity Training Association /1995-06-29 /Institution of Engineering & Technology

海外直订医药图书System Innovation: A Holistic Approach to Disrupting

¥1081

中华商务进口图书旗舰店

Kennedy Oehlert, Julie /2024-02-05 /Cognella Academic Publishing

海外直订The System of Nature, Volume 2 自然系统，第2卷

¥484.00

中华商务进口图书旗舰店

Holbach, Paul Henri Thiry Baron D. /2011-11-21 /Tredition Classics

海外直订A New System of Geography: In which is given a general a

¥685.56

中华商务进口图书旗舰店

Busching, Anton Friedrich /2017-08-30 /Hansebooks

【3-6周达】Earth System Modelling - Volume 4: IO and Postp [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Balaji,V. /2013-04-23 /Springer

预订 Solar System: Between Fire and Ice [ISBN:9781032054377] 【全球购】进口原版图书，一般5-8周左右到国内

¥1365

书之源外文图书

Hockey,Thomas ;Bartlett,Jennifer Lynn ;B /2021-08-13 /CRC Press

海外直订FAA System Safety Handbook FAA系统安全手册

¥547.00

中华商务进口图书旗舰店

Faa /2019-02-13 /Independently Published

【预售 按需印刷】Binary System with Varying Mass

¥869.00

中图图书旗舰店

Walid Ali Rahoma /2011-03-11 /KS OmniScriptum Publishing

【预售 按需印刷】Banking System Optimization, the Conditio 北京发货，付款后10天内发货

¥826.00

中图图书旗舰店

Ion Ionescu /2013-01-21 /KS OmniScriptum Publishing

3-6周达 Multi-system Imaging Spectrum associated with Neurolog 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Gao, Bo /2023-08-21 /Academic Press

现货 线性系统理论与设计 英文原版 Linear System Theory and Design 英文版 进口英语原版

¥2998

华研外语旗舰店

Chi-Tsong Chen /2014-02-27 /Oxford

【3-6周达】System-Level Power Optimization for Wireless Multimed 【全球购】进口原版图书，一般3-6周左右到国内

¥1514

书之源外文图书

Karri, Ramesh /2013-03-23 /Springer

【预订】Robot System Reliability and Safety 9780367783501 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367783501 Author 作者 B.S. Dhillon Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-31 Product Dimensions 商品尺寸 6-1/8 x 9-1/4 Language 语种 其它（含多语） Book Contents 内容简介 Written by a well-known expert in reliability engineering, this book presents up-to-date information on robot reliability, safety, and related areas in a single volume, eliminating the need to consult diverse sources. It covers fundamental mathematical concepts and reliability and safety basics for readers without prior knowledge of the subject.

¥769.00

中国进口图书旗舰店

B.S. Dhillon /2021-03-31 /CRC Press

预订 Power System Dynamic Modelling and Analysis in Evolving N 国外库房发货，通常付款后3-5周到货

¥3833

中国进口图书旗舰店

Badrzadeh /2024-08-05 /Springer Berlin Heid

【3-6周达】System der nationalen Schutzpolitik nach Aussen: Nati 【全球购】进口原版图书，约3-6周到达国内后发出

¥525.00

书之源外文图书

Wernicke, Johannes /2017-02-03 /Hansebooks

预订 Digital System Design: Use of Microcontroller [ISBN:97887 【全球购】进口原版图书，一般5-8周左右到国内

¥1188

书之源外文图书

Dawoud,Dawoud Shenouda /2010-04-29 /River Publishers

预订 Power System Operations and Electricity Markets [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Denny, Fred I., Dismukes, David E. /2002-06-13 /CRC Press

【3-6周达】System Modeling and Optimization XX: Ifip Tc7 20th Co 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Sachs, E. W. /2013-01-11 /Springer

3-6周达 A System of Mechanical Philosophy [ISBN:9781108070393] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥722.00

书之源外文图书

Robison,John /2014-08-21 /Cambridge University Press

【3-6周达】System Test and Diagnosis [ISBN:9781461361633] 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Simpson, William R. /2012-10-04 /Springer

3-6周达 Power System Protection in Future Smart Grids: Achievi 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1668

书之源外文图书

Ustun,Taha Selim /2023-08-23 /Academic Press

【预售 按需印刷】Automotive System Safety C 北京直发，付款后10日内发货

¥1269

中图图书旗舰店

无 /2019-12-01 /Wiley

系统安全工程与风险评估SYSTEM SAFETY ENGINEERING AND RISK ASSESSMENT原版引进 预售书籍，预计到货：2026年11月15日，新华书店正版，多仓就近发货，85%城市次日达，团购优惠咨询在线客服！

¥1180.8

文轩网旗舰店

Nicholas J Bahr /2017-08-01 /FOREIGN?PUBLISHER

海外直订Solar System Update 太阳系更新

¥1988

中华商务进口图书旗舰店

Blondel, Philippe /2010-02-12 /Springer

预订 Power System SCADA and Smart Grids [ISBN:9780367658847] 【全球购】进口原版图书，一般5-8周左右到国内

¥685.00

书之源外文图书

Mini S. Thomas,John Douglas McDonald /2020-09-30 /T&F Group

【3-6周达】Solar System [ISBN:9783540880547] 【全球购】进口原版图书，一般3-6周左右到国内

¥5795

书之源外文图书

Benz, Arnold O., Tr?mper, Joachim E., Gr /2009-06-15 /Springer

海外直订Solar System Moons: Discovery and Mythology 太阳系卫星:发现与传说

¥1203

中华商务进口图书旗舰店

Blunck, Jürgen /2014-11-22 /Springer

海外直订Power System Small Signal Stability Analysis and Control

¥1952

中华商务进口图书旗舰店

Mondal, Debasish /2014-05-08 /Academic Press

海外直订HVAC system for nuclear power plant 核电厂暖通空调系统

¥610.00

中华商务进口图书旗舰店

Nehme, Charles /2022-07-11 /Independently Published

海外直订Earth System Science: Bridging the Gaps Between Discipli

¥662.00

中华商务进口图书旗舰店

Lohmann, Gerrit /2012-11-05 /Springer

【预订】Computer System Reliability: Safety and Usability 978036 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367380069 Author 作者 Dhillon Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.7 cm Shipping Weight 商品重量 750g Language 语种 英语

¥1012

中国进口图书旗舰店

Dhillon /CRC Press

按需印刷Power System Deregulation 预订，预计下单后2-3周左右发货！

¥1331

上海外文书店旗舰店

Ashikur Bhuiya /KS OmniScriptum Publishing

海外直订Expert System for Fatigue Crack Growth Predictions Based

¥1739

中华商务进口图书旗舰店

Song, Ji-Ho /2023-03-05 /Springer

海外直订医药图书A System of Practical Surgery, Volume 2 实用外科系统，第2卷

¥638.00

中华商务进口图书旗舰店

Von Bergmann, Ernst /2015-09-30 /Arkose Press

【预订】Mastering System Identification in 100 Exercises 美国库房发货，通常付款后3-5周到货！

¥851.00

中国进口图书旗舰店

Schoukens /2012-03-26 /Wiley-IEEE Press

海外直订Earth System Modelling - Volume 4: IO and Postprocessing

¥662.00

中华商务进口图书旗舰店

Balaji, V. /2013-04-22 /Springer

预订 Earth System Modeling, Data Assimilation and Predictabili 国外库房发货, 通常付款后12-16周到货

¥1520

中国进口图书旗舰店

Eugenia Kalnay /2024-10-01 /Cambridge University Press

预订 Immune System of Animals [ISBN:9783110654080] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2197

书之源外文图书

Ghosh, Shyamasree /2022-06-06 /de Gruyter

预订 Solar System [ISBN:9781621000570] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1537

书之源外文图书

Rossi,Matteo De /2011-10-01 /Nova Science Publishers

【3-6周达】Power System Analysis by Distributed Generation [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥476.00

书之源外文图书

Tanweer Syed /2014-01-04 /LAP Lambert Academic Publishing

【预售 按需印刷】Hands-On System Programming with C++

¥628.15

中图图书旗舰店

Dr. Rian Quinn /2018-12-24 /Packt Publishing

预订 Organ System Crosstalk in Critical Illness From Basic Pat 国外库房发货，通常付款后3-5周到货

¥1724

中国进口图书旗舰店

Denise Battaglini /2025-11-14 /Springer Berlin Heidelberg

预订 Earth System Modeling, Data Assimilation and Predictabili 国外库房发货, 通常付款后12-16周到货

¥655.00

中国进口图书旗舰店

Eugenia Kalnay /2024-10-01 /Cambridge University Press

预订 Solar System Evolution A New Perspective 太阳系演化 9780521675 国外库房发货, 通常付款后12-16周到货

¥975.00

中国进口图书旗舰店

Stuart Ross Taylor /2005-07-01 /Cambridge University Press