【预售 按需印刷】Formal Methods for Analyzing Privacy Policies

¥1111.8

中图图书旗舰店

Ali Dehghantanha /2011-12-15 /KS OmniScriptum Publishing

海外直订Formal Methods: Foundations and Applications: 21st Brazi

¥768.00

中华商务进口图书旗舰店

Massoni, Tiago /2018-10-24 /Springer

海外直订Cast Methods in Modelling: Computer Aided Systems Theory

¥1325

中华商务进口图书旗舰店

Pichler, Franz /2012-02-11 /Springer

海外直订医药图书Methods of Microarray Data Analysis: Papers from Cam

¥1325

中华商务进口图书旗舰店

Lin, Simon M. /2001-11-29 /Springer

【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S

¥1384.65

中图图书旗舰店

Y?ichir? Kakihara /2016-06-10 /World Scientific Publishing Co Pte Ltd

【预订】Mixed Methods Research: Research Methods [ISBN:978135027 【全球购】进口原版图书，约10-12周到达国内后发出

¥689.00

书之源外文图书

Mertens, Donna M.; Lester, Jessica Nina /2023-04-20 /Bloomsbury Academic

【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Jin, Helena, Sciammarella, Cesar, Furlon /2012-09-23 /Springer

按需印刷Design Methods of Safety-Critical Electronic Automotive 预订，预计下单后2-3周左右发货！

¥957.00

上海外文书店旗舰店

Fulep Timea /KS OmniScriptum Publishing

【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sekerinski,Emil; Moreira,Nelma; Oliveira /2020-11-03 /Springer International Publishing

【3-6周达】Methods for studying nonlinear boundary value problem 【全球购】进口原版图书，一般3-6周左右到国内

¥676.00

书之源外文图书

Igbolov,Saidmuhammad Ibragimovich /2023-11-29 /Our Knowledge Publishing

【3-6周达】Agile Methods: 9th Brazilian Workshop, Wbma 2018, Cam 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Tonin, Graziela Simone /2019-03-07 /Springer

海外直订Modern Methods of Reflector Antenna Analysis and Design

¥1631

中华商务进口图书旗舰店

Scott, Craig R. /1990-03-18 /Artech House Publishers

海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

¥2572

中华商务进口图书旗舰店

Wang, Jiacun /2019-06-24 /Taylor & Francis Ltd

【预订】Mitophagy: Methods and Protocols 9781493992744 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781493992744 Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语

¥766.00

中国进口图书旗舰店

暂无作者信息 /Humana

【预订】Mixed Methods for Psychological Measurement: Using Criti 【全球购】进口原版图书，约10-12周到达国内后发出

¥643.00

书之源外文图书

Feldon, David F. /2025-12-26 /Routledge

预订 Formal Methods Teaching 7th Formal Methods Teaching Works 国外库房发货，通常付款后3-5周到货

¥575.00

中国进口图书旗舰店

Gustavo Carvalho /2026-06-04 /Springer Berlin Heidelberg

海外直订Maize: Methods and Protocols 玉米：方法和协议

¥1739

中华商务进口图书旗舰店

Lagrimini, L. Mark /2017-10-06 /Humana

海外直订医药图书Methods for Analysing and Reporting EQ-5D Data EQ-5D

¥596.00

中华商务进口图书旗舰店

Devlin, Nancy /2020-07-20 /Springer Nature Switzerland AG

【预售 按需印刷】Formal Methods in Automated Design Debugg 北京发货，付款后10天内发货

¥1008

中图图书旗舰店

Sean Safarpour /2010-04-02 /KS OmniScriptum Publishing

预订 Root Methods: A Handbook [ISBN:9783642086021] 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥1644

书之源外文图书

Smit, A. L., Bengough, A. G., Engels, C. /2010-12-01 /Springer

【3-6周达】Logical Methods: The Art of Thinking Abstractly and M 【全球购】进口原版图书，一般3-6周左右到国内

¥486.00

书之源外文图书

Roger Antonsen /2021-11-01 /Springer

预订 Godunov Methods: Theory and Applications [ISBN:9781461351 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥3423

书之源外文图书

Toro, E. F. /2012-11-12 /Springer

预订Research Methods in Criminal Justice and Criminology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出

¥3246

书之源外文图书

2019-11-01 /Society Publishing

【预订】Numerical Methods for Solving Discrete Event Systems 978 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031100819 Author 作者 Winfried Grassmann Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This graduate textbook provides an alternative to discrete event simulation. It describes how to formulate discrete event systems, how to convert them into Markov chains, and how to calculate their transient and equilibrium probabilities. The most appropriate methods for finding these probabilities are described in some detail, and templates for efficient algorithms are provided. These algorithms can be executed on any laptop, even in cases where the Markov chain has hundreds of thousands of states. This book features the probabilistic interpretation of Gaussian elimination, a concept that unifies many of the topics covered, such as embedded Marko

¥932.00

中国进口图书旗舰店

Winfried Grassmann /2022-09-07 /Springer Berlin Heidelberg

【预订】Numerical Methods in Chemical Engineering Using Python? 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781032419466 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-07-17 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.84kg Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are vital to the practice of chemical engineering, allowing for the solution of real-world problems. Written in a concise and practical format, this textbook introduces readers to the numerical methods required in the discipline of chemical engineering and enables them to validate their solutions using both Python and Simulink.Introduces numerical methods, followed by the solution of linear and nonlinear algebraic equations. Deals with the numerical integration of a definite function and solves initial and boundary value ordinary differential equations wi

¥1252

中国进口图书旗舰店

Ghasem /2023-07-17 /CRC Press

海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方

¥715.00

中华商务进口图书旗舰店

Locke, Rachel /2021-09-05 /Routledge

【3-6周达】Formal Methods for Industrial Critical Systems: 23rd 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

【3-6周达】Formal Methods and Software Engineering: 20th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

【预订】Numerical Methods for Differential Equations: A Computat 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781315896007 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-12-13 Language 语种 英语

¥3548

中国进口图书旗舰店

暂无作者信息 /2017-12-13 /CRC Press

【3-6周达】Methods of Celestial Mechanics: Volume II: Appl [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Beutler,Gerhard /2014-11-30 /Springer

预订 Computer Methods and Recent Advances in Geomechanics [ISB 【全球购】进口原版图书，一般5-8周左右到国内

¥5446

书之源外文图书

Oka, Fusao /2014-10-01 /CRC Press

【3-6周达】Some Methods For Estimation Of Small Area Statistics 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Sharma,Manoj Kumar;Sisodia,B. V. S. /2013-10-11 /LAP Lambert Academic Publishing

【3-6周达】Xylem: Methods and Protocols [ISBN:9781071634769] 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Agusti,Javier /2023-10-29 /Humana

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2002

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-22 /Engineering Science Reference

Research Methods in Intercultural Communication 978111883743

¥486.00

中国进口图书旗舰店

1条评论

Dodd, Barbara (ed.) /2015-11-24 /Wiley-Blackwell

【预订】Modern Methods for Analysing Archaeological and Historic 美国库房发货，通常付款后3-5周到货！

¥4099

中国进口图书旗舰店

Janssens /2013-02-22 /Wiley

海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习

¥1458

中华商务进口图书旗舰店

Baruque, Bruno /2014-10-10 /Springer

海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法

¥607.00

中华商务进口图书旗舰店

Pritchard, H. W. /2008-05-28 /Cambridge University Press

海外直订Modern Methods in Forest Genetics 森林遗传学的现代方法

¥1988

中华商务进口图书旗舰店

Miksche, J. P. /2014-04-17 /Springer

海外直订Fusion Methods for Unsupervised Learning Ensembles 无监督学习

¥1458

中华商务进口图书旗舰店

Baruque, Bruno /2010-11-22 /Springer

海外直订医药图书Methods of Clinical Epidemiology 临床流行病学方法

¥1325

中华商务进口图书旗舰店

Doi, Suhail a. R. /2013-06-11 /Springer

海外直订Cilia: Methods and Protocols 纤毛：方法和协议

¥616.00

中华商务进口图书旗舰店

Satir, Peter /2016-08-11 /Humana

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra

¥932.00

中国进口图书旗舰店

Peter L. Falb /2020-01-31 /Birkh?user

按需印刷Mixing Methods in Social Research:Qualitative, Quantitat 预订，预计下单后2-3周左右发货！

¥1415

上海外文书店旗舰店

Hall, Ralph P. /2020-03-24 /SAGE Publications Ltd

3-6周达 Modern Methods for Affordable Clinical Gait Analysis [ 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1016

书之源外文图书

Nandy, Anup /2021-07-30 /Academic Press

【3-6周达】Modern Methods of Drug Discovery [ISBN:978303489397 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Hillisch, Alexander /2012-10-30 /Birkhauser

预订 Wavelet Methods in Mathematical Analysis and Engineering 【全球购】进口原版图书，一般5-8周左右到国内

¥564.00

书之源外文图书

Alain Damlamian /2010-09-22 /World Scientific Publishing Company

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

【3-6周达】Formal Methods for Computational Systems Biology: 8th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2008-08-01 /Springer

【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Silva Da Silva, Tiago; Estácio, Bernardo /2017-03-24 /Springer

【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Alinezhad, Alireza; Khalili, Javad /2019-09-03 /Springer

【3-6周达】Formal Methods: Foundations and Applications: 19th Br 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Ribeiro, Leila /2016-11-13 /Springer

预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内

¥2259

书之源外文图书

Meier, Andreas; Donze, Laurent /2011-12-09 /Business Science Reference

【预订】Iterative Methods and Preconditioning for Large and Spar 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781498764162 Author 作者 Daniele Bertaccini and Fabio Durastante Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-02-13 Language 语种 英语 Book Contents 内容简介 This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear systems.The solution of large and sparse linear systems is the most time-consuming part for most of the scientific computing simulations. Indeed, mathematical models become more and more accurate by including a greater volume of data, but this requires the solution of larger and harder algebraic systems. In recent years, research has focused on the efficient solution of large sparse and/or structured systems generated by the discretization of numerical models by using iterative solvers.

¥2569

中国进口图书旗舰店

Daniele Bertaccini and Fabio Durastante /2018-02-13 /暂无出版社信息

预订 Modern Methods in Mathematical Physics and their Applicat 国外库房发货，通常付款后3-5周到货

¥2528

中国进口图书旗舰店

2026-02-19 /Birkh?user Science

按需印刷Matrix Methods and Fractional Calculus 预订，预计下单后2-3周左右发货！

¥1225

上海外文书店旗舰店

ARAK M MATHAI /World Scientific Publishing Co Pte Ltd

【预订】Diagnostic Methods in the Cardiac Catheterization Labora 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138114111 Author 作者 || Format 版本 平装-胶订 Pages Number 页数 306页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-06-07 Language 语种 英语 Book Contents 内容简介 This premier reference guide discusses the specialized conditions that every interventional cardiologist encounters in the cardiac catheterization lab and examines advanced clinical approaches to diagnosis and treatment. It provides the tools necessary for correctly identifying complex coronary lesions and plaques as well as the information needed to accurately recognize rare disease progression and patterns. Exploring all the essential diagnostic modalities needed in the lab, the book covers intracardiac ultrasonography, multidetecter computed tomography, pre-procedure planning, guidance of stent deployment, and stent thrombosis treatment.

¥775.00

中国进口图书旗舰店

|| /2017-06-07 /CRC Press