海外直订Z-DNA: Methods and Protocols Z-DNA:方法和方案

¥2467

中华商务进口图书旗舰店

Kim, Kyeong Kyu /2023-03-09 /Humana

海外直订Modern Methods of Speech Processing 现代语音处理方法

¥1988

中华商务进口图书旗舰店

Ramachandran, Ravi P. /1995-10-30 /Springer

海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的

¥1324

中华商务进口图书旗舰店

Li, Yinan /2022-12-14 /Taylor & Francis Ltd

海外直订Modern Methods for Musicology 现代音乐学方法

¥856.00

中华商务进口图书旗舰店

No /2017-03-30 /Taylor & Francis Ltd

按需印刷DGYT Methods of Noncommutative Analysis 预订，预计下单后3-6周左右发货！

¥1862

上海外文书店旗舰店

Vladimir E. Nazaikinskii /De Gruyter

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

¥1047

书之源外文图书

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

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

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

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

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

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

¥2002

书之源外文图书

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

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

¥1282

书之源外文图书

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

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

¥786.00

书之源外文图书

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

预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev

¥1076

中国进口图书旗舰店

Jiacun Wang and William Tepfenhart /2019-07-02 /Chapman and Hall/CRC

【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.

¥2152

中国进口图书旗舰店

Karan S. Surana /2018-11-02 /暂无出版社信息

【预售 按需印刷】Research Methods and Tools in Social Scie 北京发货，付款后10天内发货

¥1158

中图图书旗舰店

Victoria Folea /2021-03-02 /KS OmniScriptum Publishing

【预售 按需印刷】Molecular Methods in Ecology

¥1872.55

中图图书旗舰店

Baker /2000-09-06 /John Wiley & Sons

【预订】Integral Methods in Science and Engineering Y97805823040 美国库房发货，通常付款后3-5周到货！

¥1691

中国进口图书旗舰店

Constanda, C. /1988-08-08 /CRC Press

【预订】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)

预售 按需印刷 Methods and Analysis 北京发货，付款后10天内发货

¥944.00

中图图书旗舰店

Brendon Mendonca /2012-08-27 /KS OmniScriptum Publishing

预订 Matrix Methods of Structural Analysis [ISBN:9780367571269 【全球购】进口原版图书，一般5-8周左右到国内

¥685.00

书之源外文图书

Nagarajan,Praveen /2020-07-02 /CRC Press

【3-6周达】Novel Methods & Applications of Tropane Alkaloids and 【全球购】进口原版图书，一般3-6周左右到国内

¥1192

书之源外文图书

Edupuganti,Ramakrishna /2014-07-23 /Scholars' Press

3-6周达 Global Methods for Combinatorial Isoperimetric Problem 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥514.00

书之源外文图书

2010-12-16 /Cambridge University Press

【预订】Numerical Methods for Fractional Differentiation 9789811 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811501005 Author 作者 Owolabi Kolade M. Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2020-10-24 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses numerical methods for solving partial differential and integral equations, as well as ordinary differential and integral equations, involving fractional differential and integral operators. Differential and integral operators presented in the book include those with exponential decay law, known as Caputo–Fabrizio differential and integral operators, those with power law, known as Riemann–Liouville fractional operators, and those for the generalized Mittag–Leffler function, known as the Atangana–Baleanu fractional operators.The book reviews existing numerical schemes associated with fractional operators including those wit

¥1035

中国进口图书旗舰店

Owolabi Kolade M. /2020-10-24 /Springer Singapore

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

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.

¥1276

中国进口图书旗舰店

Victor J. Law /2013-03-05 /CRC Press

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

Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.

¥2306

中国进口图书旗舰店

Robert S. Matson /2009-01-20 /CRC Press

预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内

¥866.00

书之源外文图书

Tan, Willie Chee Keong /2022-05-19 /World Scientific Publishing Company

【3-6周达】Diary Methods: Understanding Qualitative Research [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥547.00

书之源外文图书

Hyers,Lauri L. /2018-01-02 /Oxford University Press, USA

3-6周达 高被引DNA Methods in Food Safety: Molecular Typing of Foo 【全球购】进口原版图书，预计3-6周左右到国内

¥1833

书之源外文图书

Oyarzabal, Omar A. /2014-11-10 /Wiley-Blackwell

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

¥1684

书之源外文图书

Rodriguez Manuel S. /2016-08-01 /Humana

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

¥1684

书之源外文图书

Menard, Robert /2012-09-19 /Humana

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

¥2156

书之源外文图书

Harwood, Wendy A. /2018-11-20 /Humana

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

¥2156

书之源外文图书

Jin, Helena /2014-10-15 /Springer

【3-6周达】Methods for Risk Assessment of Transgenic Plants: I. 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kjellsson, Gosta /2013-10-03 /Birkhauser

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥6020

书之源外文图书

Irma /2015-02-18 /Information Science Reference

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

¥1298

书之源外文图书

de Lucas,Miguel /2018-06-08 /Humana

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

¥1202

书之源外文图书

Lagrimini L. Mark /2018-08-14 /Humana

预订 【】Liposomes: Methods and Protocols (Softcover Reprint of 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781493982448 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-07 Language 语种 英语

¥1265

中国进口图书旗舰店

暂无作者信息 /2018-07-07 /Humana Press

【预订】Comparison Methods and Stability Theory 9781138413320 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138413320 Author 作者 Liu Format 版本 精装 Pages Number 页数 383页 Publication Date 出版日期 2017-08-02 Language 语种 英语 Book Contents 内容简介 Based on the International Symposium on Comparison Methods and Stability Theory held in Waterloo, Ontario, Canada, this title presents advances in comparison methods and stability theory in a wide range of nonlinear problems, covering a variety of topics such as ordinary, functional, integro-, partial, and uncertain differential equations.

¥1768

中国进口图书旗舰店

Liu /2017-08-02 /暂无出版社信息

按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！

¥862.00

上海外文书店旗舰店

Ann Whitney Gleason /Rowman & Littlefield Publishing Group Inc

海外直订古英语 Methods in Experimental Economics 实验经济学方法

¥869.00

中华商务进口图书旗舰店

2019-07-23 /Springer International Publishing AG

【预售 按需印刷】Research Methods in Usability and Interac 北京发货，付款后10天内发货

¥818.00

中图图书旗舰店

Fatih Demir /2012-01-23 /KS OmniScriptum Publishing

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

¥2075

书之源外文图书

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

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

¥819.00

书之源外文图书

Groote, Jan Friso, Huisman, Marieke /2022-08-12 /Springer

社会网络分析模型与方法 英文原版 Models and Methods in Social Network Analys

¥615.00

瑞雅图书专营店

Peter /2005-04-14 /Cambridge

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

¥1157

书之源外文图书

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

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

¥768.00

中华商务进口图书旗舰店

Massoni, Tiago /2018-10-24 /Springer

【预售 按需印刷】Training Methods for Older Adults

¥754.80

中图图书旗舰店

Jennifer Wissman /2009-08-05 /KS OmniScriptum Publishing

预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！

¥1194

上海外文书店旗舰店

Jackson, Sherri (Jacksonville University /2020-09-10 /Cengage Learning, Inc

【预售 按需印刷】Methods of Optimization in Operations Res

¥749.70

中图图书旗舰店

Bimal Das /2010-11-07 /KS OmniScriptum Publishing

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

¥2300

中华商务进口图书旗舰店

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

【预售 按需印刷】Research Methods and Techniques

¥802.40

中图图书旗舰店

Meniga Muthyalu /2012-07-02 /KS OmniScriptum Publishing

海外直订New Methods of Computing Radial Distribution Functions o

¥859.00

中华商务进口图书旗舰店

Lado, Fred /2019-12-07 /Dissertation Discovery Company

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

¥1008

中图图书旗舰店

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

海外直订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

预售 按需印刷 Methods and Applications of Geospatial Tec

¥1687

中图图书旗舰店

Tenedório, José /2021-04-09 /IGI出版社

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法

¥2651

中华商务进口图书旗舰店

Curry, Patricia B. /2013-05-23 /Springer

海外直订Formal Methods and Models for System Design: A System Le

¥2120

中华商务进口图书旗舰店

Gupta, Rajesh /2011-12-13 /Springer

【预订】Revival: Methods of Detection and Identification of Bact 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138560857 Author 作者 Mitruka, B. M.(作者) Format 版本 平装-胶订 Pages Number 页数 270页 Publication Date 出版日期 1800-01-01 Language 语种 英语

¥753.00

中国进口图书旗舰店

Mitruka, B. M.(作者) /暂无出版社信息

Practical Methods of Optimization 2E 优化的实用方法 第2版 97804714946

¥1454

中国进口图书旗舰店

2000-05-23 /Wiley