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

¥585.00

书之源外文图书

Lau, Kung-Kiu /2005-12-01 /Springer

【预订】Structural Methods in Molecular Inorganic Chemistry 9780 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780470972793 Author 作者 David Rankin Format 版本 精装 Pages Number 页数 500页 Publisher 出版社 Wiley Publication Date 出版日期 2013-02-22 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Determining the structure of molecules is a fundamental skill that all chemists must learn. Structural Methods in Molecular Inorganic Chemistry is designed to help readers interpret experimental data, understand the material published in modern journals of inorganic chemistry, and make decisions about what techniques will be the most useful in solving particular structural problems. Following a general introduction to the tools and concepts in structural chemistry, the following topics are covered in detail: *computational chemistry *nuclear magnetic resonance spectroscopy *electron paramagnetic resonance spectroscopy *Mossbauer spectroscopy *rotati

¥2341

中国进口图书旗舰店

David Rankin /2013-02-22 /Wiley

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，约3-6周到达国内后发出

¥2075

书之源外文图书

Goldberg,DavidE.;Latella,Diego /2013-02-28 /Springer

【预售 按需印刷】Formal Methods for Industrial

¥1030.2

中图图书旗舰店

Gnesi /2012-12-11 /John Wiley & Sons

【预售 按需印刷】Manual of Methods for Marine Plankton

¥825.35

中图图书旗舰店

R. & Srinivasan A. & Khan S. Santhanam /2015-01-01 /Astral International Pvt. Ltd.

海外直订Formal Methods for Components and Objects

¥553.00

中华商务进口图书旗舰店

De Boer, Frank S. /2011-01-03 /Springer

海外直订Formal Methods for the Design of Real-Time Systems: Inte

¥553.00

中华商务进口图书旗舰店

Bernardo, Marco /2004-08-31 /Springer

海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法

¥1657

中华商务进口图书旗舰店

No /1999-02-28 /John Wiley and Sons Ltd

【预订】Advanced Methods for Knowledge Discovery from Complex Da 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781849969918 Author 作者 Maulik Ujjwal Format 版本 平装-胶订 Pages Number 页数 369页 Publisher 出版社 Springer London Publication Date 出版日期 2010-10-22 Language 语种 英语 Book Contents 内容简介 The growth in the amount of data collected and generated has exploded in recent times with the widespread automation of various day-to-day activities, advances in high-level scientic and engineering research and the development of e?cient data collection tools. This has given rise to the need for automa- callyanalyzingthedatainordertoextractknowledgefromit,therebymaking the data potentially more useful. Knowledge discovery and data mining (KDD) is the process of identifying valid, novel, potentially useful and ultimately understandable patterns from massive data repositories. It is a multi-disciplinary topic, drawing from s- eral ?elds including expert systems, machine l

¥1643

中国进口图书旗舰店

Maulik Ujjwal /2010-10-22 /Springer London

【3-6周达】Formal Methods for Multicore Programming: 15th Intern 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo, Marco /2015-05-19 /Springer

海外直订Direct Methods for Solving Macromolecular Structures 求解大

¥2067

中华商务进口图书旗舰店

Fortier, S. /1998-02-27 /Springer

海外直订Formal Methods: Foundations and Applications: 17th Brazi

¥511.00

中华商务进口图书旗舰店

Braga, Christiano /2015-01-26 /Springer

【预售 按需印刷】Numerical Methods

¥1199

中图图书旗舰店

Atem Bul /2021-03-02 /KS OmniScriptum Publishing

海外直订Modern Methods in Scientific Computing and Applications

¥1033

中华商务进口图书旗舰店

Sabidussi, Gert /2002-09-29 /Springer

【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语

¥1095

中国进口图书旗舰店

Dimov /2003-01-31 /Springer Berlin Heidelberg

【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection

¥1095

中国进口图书旗舰店

Christian Constanda The University o... /2018-08-10 /Birkhaeuser Verlag Basel

【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of

¥548.00

中国进口图书旗舰店

Gilles Barthe /2008-05-29 /Springer Berlin Heidelberg

【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal

¥548.00

中国进口图书旗舰店

Robert M. Hierons /2008-04-08 /Springer Berlin Heidelberg

预订Research Methods for Social Justice and Equity in Educatio 预订，预计下单后2-3周左右发货！

¥545.00

上海外文书店旗舰店

Atkins, Professor Liz (University of Der /2019-02-21 /Bloomsbury Publishing PLC

【预订】Modern Methods in Operator Theory and Harmonic Analysis 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030267506 Format 版本 平装-胶订 Pages Number 页数 475页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语 Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for sol

¥1643

中国进口图书旗舰店

暂无作者信息 /2020-08-29 /Springer Berlin Heidelberg

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

¥585.00

书之源外文图书

Bernardo, Marco, Cimatti, Alessandro /2006-07-01 /Springer

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

¥2156

书之源外文图书

Liesche, Johannes /2020-08-14 /Humana

3-6周达 New Methods and Approaches for Studying Child Developm 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1157

书之源外文图书

Lockman,Jeffrey J ;Gilmore,Rick /2022-03-08 /Academic Press

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

¥1202

书之源外文图书

Alinezhad, Alireza; Khalili, Javad /2019-09-03 /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

【预订】Social, Methods, and Microeconomics - Contributions to D 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781444350333 Author 作者 Frederic S. Lee Format 版本 平装-胶订 Pages Number 页数 274页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2011-07-27 Language 语种 英语 Book Contents 内容简介 This book consists of ten essays which speak to doing economics better.

¥536.00

中国进口图书旗舰店

Frederic S. Lee /2011-07-27 /Wiley-Blackwell

【3-6周达】Novel methods in visual quality assessment and pedest 【全球购】进口原版图书，一般3-6周左右到国内

¥952.00

书之源外文图书

Varga, Domonkos /2020-05-23 /LAP Lambert Academic Publishing

【3-6周达】Applied Methods of Cost-Effectiveness Analysis in Hea 【全球购】进口原版图书，一般3-6周左右到国内

¥884.00

书之源外文图书

Gray, Alistair M.; Clarke, Philip M.; Wo /2010-12-09 /Oxford University Press, USA

海外直订医药图书Methods, Models, and Computation for Medical Informa

¥3146

中华商务进口图书旗舰店

Gangopadhyay, Aryya /2012-12-30 /Medical Information Science Reference

【预订】Topics and Methods for Urban and Landscape Design 978331 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319515342 Author 作者 Ingaramo Format 版本 精装 Pages Number 页数 259页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-04-07 Shipping Weight 商品重量 591g Language 语种 英语 Book Contents 内容简介 This book combines urban planning and architectural tools in an attempt to overcome the limitations of sectoral measures. In this perspective, it offers a forum for the debate of different approaches used by schools of planning and architecture. It explores strategies by drawing from the potential contributions of cognitive models for decisions, the role of utopian thinking and retrofitting actions and their interconnectedness, the role of cultural legacy for urban and landscape design, the design perspectives about public spaces, and the role of architecture design and urban and regional planning for landscape quality.The bo

¥1095

中国进口图书旗舰店

Ingaramo /2017-04-07 /Springer International Publishing

【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥782.00

书之源外文图书

Genta,Gianfranco /2010-08-23 /VDM Verlag

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

¥585.00

书之源外文图书

2008-08-01 /Springer

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

¥585.00

书之源外文图书

Ribeiro, Leila /2016-11-13 /Springer

【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Gurpide,E. /2012-06-12 /Springer

【预订】Discrete Methods in Epidemiology 9780821843796 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780821843796 Author 作者 James Abello Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-06-07 Language 语种 英语 Book Contents 内容简介 Studies of the spread and containment of disease rely at heart on a variety of mathematical and computational techniques. This collection aims to introduce the fundamentals of epidemiology and to showcase contemporary work using discrete mathematical techniques. Introductory chapters explain the fundamental concepts of epidemiology, the basic tools provided by mathematics and computer science, and some of the outstanding open problems in the area. Contributed articles then highlight particular problems in monitoring disease outbreaks, vaccination strategies, and modelling disease survival factors, and successfully apply techniques such as for

¥1231

中国进口图书旗舰店

James Abello /2007-06-07 /American Mathematical Society (AMS)

【预订】Research Methods and Statistics in Psychology 9781138708 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138708952 Author 作者 COOLICAN Format 版本 精装 Pages Number 页数 826页 Publisher 出版社 Routledge Publication Date 出版日期 2018-11-29 Language 语种 英语 Book Contents 内容简介 The seventh edition of Research Methods and Statistics in Psychology provides students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today. Assuming no prior knowledge, this bestselling text takes you through every stage of your research project giving advice on planning and conducting studies, analysing data and writing up reports.The book provides clear coverage of experimental, interviewing and observational methods, psychological testing, qualitative methods and analysis and statistical procedures which include nominal level tests, multi-factorial ANOVA designs, multiple regression, log linear analysis, and factor

¥2185

中国进口图书旗舰店

COOLICAN /2018-11-29 /Routledge

【3-6周达】Kernel Methods in Analysis of Genetic Markers and DNA 【全球购】进口原版图书，一般3-6周左右到国内

¥1192

书之源外文图书

Young Sylvia /2014-11-28 /Scholars' Press

【3-6周达】New Methods of Concurrent Checking [ISBN:978904817876 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Gossel,Michael /2010-10-28 /Springer

【预订】Sampling Methods in Soybean Entomology 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Kogan, M.(编辑) /2011-10-21 /Springer

【预订】Numerical Methods for Grid Equations: Volume I Direct Me 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

暂无作者信息 /2011-11-03 /暂无出版社信息

【预订】Practical Methods for Successful Classroom Teaching 美国库房发货，通常付款后3-5周到货！

¥1012

中国进口图书旗舰店

Boaduo, Nana Adu /2011-04-05 /暂无出版社信息

【预订】Formal Methods for Executable Software Models: 14th Inte 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Bernardo /2014-05-21 /暂无出版社信息

海外直订Cd95: Methods and Protocols Cd95:方法和方案

¥1082

中华商务进口图书旗舰店

Legembre, Patrick /2017-01-17 /Humana

【预订】Research Methods: A Framework for Evidence-Based Clinica 美国库房发货，通常付款后3-5周到货！

¥1289

中国进口图书旗舰店

Hurley, Wendy L. /2010-10-25 /Lippincott Williams & Wilkins

海外直订Matrix Methods of Structural Analysis 结构分析矩阵法

¥606.00

中华商务进口图书旗舰店

Nagarajan, Praveen /2020-06-29 /Taylor & Francis Ltd

按需印刷DGYT Methods in Empirical Prosody Research 预订，预计下单后3-6周左右发货！

¥1552

上海外文书店旗舰店

Stefan Sudhoff /De Gruyter

【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

【预售 按需印刷】Kernel Methods and Estimation of Extreme

¥906.95

中图图书旗舰店

Xiaodong Jin /2008-12-21 /KS OmniScriptum Publishing

3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内

¥842.00

书之源外文图书

Elizabeth Halcomb /2009-01-02 /John Wiley & Sons

3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥551.00

书之源外文图书

Cottet, Georges-Henri /2008-04-24 /Cambridge University Press

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

¥1684

书之源外文图书

Lagrimini L. Mark /2017-10-07 /Humana

海外直订医药图书Methods in Vitamin B-6 Nutrition: Analysis and Statu

¥553.00

中华商务进口图书旗舰店

Leklem, James E. /2012-08-17 /Springer

海外直订Formal Methods for Safety and Security 安全与保安的正式方法

¥1149

中华商务进口图书旗舰店

2019-01-03 /Springer Verlag, Singapore

【3-6周达】Novel Methods for the Visualization of Gene Expressio 【全球购】进口原版图书，一般3-6周左右到国内

¥903.00

书之源外文图书

Oyolu, Chuba /2011-08-18 /LAP Lambert Academic Publishing

【3-6周达】Formal Methods for Eternal Networked Software Systems 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo Marco /2011-06-03 /Springer

预订Creative Methods in Schema Therapy:Advances and Innovation 预订，预计下单后2-3周左右发货！

¥645.00

上海外文书店旗舰店

* /2020-06-10 /Taylor & Francis Inc

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

¥585.00

书之源外文图书

Liu, Shaoying /2008-10-08 /Springer