TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
搜尋結果 /

Formal Methods

104
1 / 3
無約束最優化與非線性方程的數值方法(簡體書)
滿額折
出版日:2019/12/16 作者:(美)丹尼斯  出版社:科學出版社  裝訂:精裝
This book is a standard for a complete description of the methods for unconstrained optimization and the solution ofnonlinear equations....this republication is most welcome and this volume should be
優惠價: 87 877
庫存:3
New Textile Yarns(2nd edition) 新型紡織紗線(2版)(英文)(簡體書)
79 折
出版日:2021/11/01 作者:覃小紅; 王善元  出版社:東華大學(大陸)  裝訂:平裝
AbstractThis book comprehensively introduces the spinning principles, methods, processes and yarn structure, performance and application of various new types of textile yarns. The main content is divided into three parts: The first is the transformation and progress of traditional ring spinning, including Siro spinning, Sirofil spinning, compact spinning, cable spinning, etc. and their yarns; The second is the perfection and improvement of new spinning yarns, including rotor spinning, friction spinning, air-jet spinning, vortex spinning, etc. and their yarns; The third is the development and improvement of filament texturing, including false-twist texturing, air texturing, hot-fluid jet texturing, multiple texturing, etc. and their yarns.This book can be used as a textbook or reference book for undergraduates, postgraduates and international students majoring in textile, as well as a reference book for undergraduates and postgraduates majoring in materials (chemical fiber direction). I
優惠:簡體曬書季-單79五70 優惠價: 79 469
庫存:1
基於多模態數據的行為和手勢識別(簡體書)
滿額折
出版日:2022/08/01 作者:張亮  出版社:西安電子科技大學出版社  裝訂:平裝
This book provides a series of gesture and behavior recognition methods based on multimodal datarepresentation. The data modalities include image data and skeleton data, and the modeling methods includetraditional codebook, topological graph, and LSTM architectures. The tasks include single gesture recognitionclassification, single action recognition classification, continuous gesture classification, complex behaviorclassification of human interaction and other tasks of different complexity. This book focuses on the dataprocessing methods of each modality, and the modeling methods for different tasks. We hope the reader canlearn basic gesture and action recognition methods from this book, and develop a model system that suits theirneeds on this basis. This book can be used as a textbook for graduate, postgraduate and PhD students majoring in computerscience, automation, etc. It can also be used as a reference for the reader who is interested in gesturerecognition, human action inter
優惠價: 87 209
無庫存
什麼是定量縱向數據分析?(英文)(簡體書)
滿額折
出版日:2020/09/01 作者:弗農‧蓋爾; 保羅‧蘭伯特  出版社:上海外語教育出版社  裝訂:平裝
The 'What is?' Research Methods series provides authoritative introductions to a range of research methods which are at the forefront of developments in the social sciences. Each volume sets out the
優惠價: 87 157
無庫存
什麼是在線研究?(英文)(簡體書)
滿額折
出版日:2020/09/01 作者:(英)特羅斯特拉‧胡利  出版社:上海外語教育出版社  裝訂:平裝
The 'What is?' Research Methods series provides authoritative introductions to a range of research methods which are at the forefront of developments in the social sciences. Each volume sets out the
優惠價: 87 157
無庫存
DL/T 5152-2001-Test Code of Water Analysis for Hydraulic Concrete(簡體書)
滿額折
出版日:2008/07/01 出版社:中國電力出版社  裝訂:平裝
This standard contains 14 test methods, with improvement and upgrade on the measurement apparatus, chemical reagents and measurement methods。The revision of this standard is carried out by Sinohydro C
優惠價: 1 126
無庫存
一元微積分學(簡體書)
滿額折
出版日:2022/10/01 作者:王嬌  出版社:西安電子科技大學出版社  裝訂:平裝
This book mainly describes the basic concepts, fundamental theories and standard methods in essential Calculus of one single variable. It is written in English. The content is compact, popular and concise. Various types of examples and exercises have been devised in each section and chapter. The emphasis is on the fundamental computational abilities, especially the normal computation methods used in Calculus and subsequent courses. The main contents of this book includes Functions and Limits, Differentiation of Functions of One Single Variable, Integrals of Functions of One Single Variable and Applications of Integration, Differential Equations and Infinite Series. This book can serve as a textbook in English of essential Calculus taken by nonmathematics major students and international students, and is also suitable for other readers for reference purposes.
優惠價: 87 141
無庫存
城市與區域規劃研究方法(第2版)(簡體書)
滿額折
出版日:2021/09/01 作者:Xinhao Wang; (德)馮鶴飛  出版社:清華大學出版社(大陸)  裝訂:平裝
The book aids planners in answering the following crucial questions: “Who are they?”, “What do they do?”, “Where do these activities occur?”, "How human activities are connected?”, "What are the economic effects?". In addition to detailed explanations of the selected methods, the book provides a context (scenario analysis) for applying them in performance assessment and impact analysis.
優惠價: 87 825
無庫存
Basics of Statistics and Statistical Application with Excel(統計學基礎及Excel統計應用)(簡體書)
滿額折
出版日:2019/12/01 作者:黎明  出版社:化學工業出版社  裝訂:平裝
The edition of Basics of Statistics and Statistical Application with Excel emphasizes concepts of statistics,statistical methods are carefully presented with a focus on understanding both the suitabil
優惠價: 87 303
無庫存
稀疏線性系統的迭代方法(第二版)(簡體書)
87 折
出版日:2019/01/28 作者:(美)薩阿德  出版社:科學出版社  裝訂:精裝
Iterative Methods for Sparse Linear Systems, Second Edition gives an in-depth, up-to-date view of practical algorithms for solving large-scale linear systems of equations. These equations can number i
經典力學與天體力學中的數學問題(第三版)(簡體書)
87 折
出版日:2019/01/28 作者:(俄羅斯)阿諾德  出版社:科學出版社  裝訂:精裝
This work describes the fundamental principles, problems, and methods of classical mechanics. The main attention is devoted to the mathematical side of the subject. The authors have endeavored to give
MATLAB數值分析方法在電氣工程中的應用(簡體書)
滿額折
出版日:2014/03/04 作者:(美)鮑勃  出版社:機械工業出版社  裝訂:平裝
Numerical and Analytical Methods with MATLAB for Electrical Engineers,by William Bober and Andrew Stevens 2013 by Taylor & Francis Group,LLC. Authorized translation from English language edition publ
優惠價: 1 359
無庫存
孤立子理論中的哈密頓方法(簡體書)
87 折
出版日:2013/06/01 作者:(俄)L.D.法捷耶夫  出版社:世界圖書(北京)出版公司  裝訂:平裝
The book is based on the Hamiltonian interpretation of the method, hence the title. Methods of differential geometry and Hamiitonian formalism in particular are very popular in modern mathematical phy
英語教學法新論(簡體書)
滿額折
出版日:2012/07/01 作者:孫乃玲  出版社:甘肅教育出版社  裝訂:平裝
For many centuries, the ELT profession wzs preoccupied with the quest for the elusive"best"teaching method in the sense of a"predetermined packaged deal"of static attitudes, theories, methods, techniq
優惠價: 87 157
無庫存
有限元(第3版)(簡體書)
滿額折
出版日:2012/03/01 作者:(德)D. 布拉艾斯  出版社:世界圖書(北京)出版公司  裝訂:平裝
This definitive introduction to finite element methods has been thoroughly updated for this third edition, which features important new material for both research and application of the finite element
優惠價: 87 256
無庫存
ADAPTIVE CONTROL THEORY AND APPLICATION(簡體書)
滿額折
出版日:2011/04/29 作者:李言俊  出版社:西北工業大學出版社  裝訂:平裝
《自適應控制理論及應用》內容簡介:This book mainly introduces basic principle and often used basic methods of the adaptivecontrol. Whole book contains 11 chapters, they are preface, theoretic fundamentals of adaptive
優惠價: 87 235
無庫存
非平衡態量子場論(簡體書)
87 折
出版日:2010/04/01 作者:(瑞典)拉梅‧J.  出版社:世界圖書(北京)出版公司  裝訂:平裝
The purpose of this book is to provide an introduction to the applications of quantum field theoretic methods to systems out of equilibrium. The reason for adding a book on the subject of quantum fiel
Nanostructured Biomaterials 納米結構生物材料(簡體書)
滿額折
出版日:2009/10/12 作者:李峻柏  出版社:浙江大學出版社  裝訂:平裝
Nanostructurcd materials with designed biofunctions have broughtabout rapid and signiticant changes in materials science.XamstrHcttrcd Biomatcrials provides up-to-date reviews of different methods for
優惠價: 87 501
無庫存
出版日:2009/08/20 作者:(瑞典)伊布拉基莫夫  出版社:高等教育出版社  裝訂:精裝
《微分方程與數學物理問題》內容簡介:A Practical Course in Differential Equations and Mathematical Modelling is a unique blend of the traditional methods of ordinary and partial differential equations with Lie group ana
江南木構(簡體書)
滿額折
出版日:2009/08/01 作者:劉杰  出版社:上海交通大學出版社  裝訂:平裝
The author of this book relied on field study and documents as basic methods of research, including over ten years of travel through the region south of the Yangtze. He investigated successive generat
優惠價: 87 459
無庫存
出版日:2009/06/01 作者:王濟川  出版社:高等教育出版社  裝訂:平裝
Multilevel Models: Appfications Using SAS is written in nontechnical terms, focuses on the methods and applications of various multilevel models, including liner multilevel models,multilevel logistic
偏微分方程與孤波理論(簡體書)
滿額折
出版日:2009/05/01 作者:(美)佤斯瓦茨(Wazwaz.A.M.)  出版社:高等教育出版社  裝訂:精裝
《偏微分方程與孤波理論(精)》講述了:Partial Differential Equations and Solitary Waves Theory is a self-containedbook divided into two parts: Part I is a coherent survey bringing together newlydeveloped methods for sol
優惠價: 1 576
無庫存
手療治百病(簡體書)
滿額折
出版日:2009/02/01 作者:王勝; 王衛東  出版社:外文出版社  裝訂:平裝
This book is compiled by experienced traditional medicine specialists.It discusses the origins,development,characteristics, and indications of hand therapy as well as common methods of hand massage,ha
優惠價: 87 392
無庫存
傳染病的建模與動力學(簡體書)
滿額折
出版日:2009/01/01 作者:馬知恩  出版社:高等教育出版社  裝訂:精裝
**本書為西文書**《傳染病的建模與動力學》由馬知恩等人編,《傳染病的建模與動力學》為精裝,共343頁。This book provides a systematic introduction to the fundamental methods and techniques and the frontiers of-along with many new ideas and results on
優惠價: 1 354
無庫存
電腦人的8分鐘健身法(英)(簡體書)
滿額折
出版日:2008/01/01 作者:郭保衛  出版社:外文出版社  裝訂:平裝
Ailments from computer use are on the increase as a result of the explosion in the use of computers throughout the world. What I have endeavoured to do in this book is to concentrate various methods f
優惠價: 87 339
無庫存
組合交換代數(簡體書)
87 折
出版日:2007/11/01 作者:(美)米勒‧E.; (美)施圖姆費爾斯‧S.  出版社:世界圖書(北京)出版公司  裝訂:平裝
The last decade has seen a number of exciting developments at the intersection of commutative algebra with combinatorics. New methods have evolved out of an influx of ideas from such diverse areas as
統計場論 第1卷(簡體書)
滿額折
出版日:2004/11/01 作者:Claude Itzykson  出版社:世界圖書(北京)出版公司  裝訂:平裝
Some ten years ago, when completing with J.-B. Zuber a previous text on Quantum Field Theory, the senior author was painfully aware that little mention was made that methods in statistical physics and
優惠價: 87 376
無庫存
英語教學科研方法(簡體書)
滿額折
出版日:2000/08/01 作者:JO MCDONOUGH  出版社:外語教學與研究出版社  裝訂:平裝
This book offers a lively introduction to the research methods and techniques available to English language teachers who wish to investigate aspects of their own practice. It covers qualitative and qu
優惠價: 87 140
無庫存
Polymer Chemistry(雙語教學用)(簡體書)
滿額折
出版日:2025/02/01 作者:周明; 代加林  出版社:化學工業出版社  裝訂:平裝
The textbook is divided into eight chapters.In the introduction,the basic concept of polymer,classification and nomenclature of polymer,reaction type of polymer,development history of polymer and application of polymer are introduced in brief.In the next six chapters,free radical polymerization,free radical copolymerization,ionic polymerization,step polymerization,ring-opening polymerization and chemical reactions of polymers are introduced in detail.The implementation methods of polymerization are introduced systematically in the last chapter.The new words and terminology are noted in Chinese in detail,and the large exercises are attached at the end of each chapter,which is helpful for the students who are new to polymer chemistry to study smoothly.This book is used as the textbook for colleges and universities.It is suitable for the major of Polymer Materials and Engineering,Material C
優惠價: 87 251
無庫存
船舶碰撞風險與智能避碰方法(簡體書)
滿額折
出版日:2023/11/22 作者:張金奮; 萬程鵬  出版社:武漢理工大學出版社  裝訂:平裝
本書系統全面地介紹了船舶碰撞風險認知、船舶避碰決策與路徑規劃中的基本原理、關鍵技術、前沿研究成果等。主要內容包括碰撞風險評價方法,如綜合安全評估(Formal Safety Assessment, FSA)方法,常用的碰撞風險評價方法(包括故障樹和事件樹、證據理論、貝葉斯網絡),船舶領域模型,船舶行為意圖識別與建模方法等。以及船舶智能避碰與路徑規劃典型算法,如國際海上避碰規則約束下的分布式避碰決策,常規船舶與智能船舶混合航行下的協同決策,粒子群優化算法、RRT算法、A*算法等在船舶避碰中的應用等。
優惠價: 87 303
無庫存
混合方法論:定性方法和定量方法的結合(簡體書)
87 折
出版日:2022/10/01 作者:(美)阿巴斯‧塔沙克里; (美)查爾斯‧特德萊  出版社:重慶大學出版社  裝訂:平裝
《混合方法論:定性方法和定量方法的結合》是對混合方法(mixed methods)和混合模型(mied mode1)研究這一發展迅速且備受關注的方法論領域的補苴罅漏之作。儘管當下已有若干位作者正在多個領域內就混合方法問題有所撰述,但是他們的許多文章和章節仍缺乏明晰的概念,他們也往往沒有對正在應用的方法舉證出具體的案例。就此而論,《混合方法論:定性方法和定量方法的結合》的獨特貢獻在於兩個方面:一,對
詩詞大玩家(套裝)(簡體書)
滿額折
出版日:2021/05/01 作者:王智笛  出版社:長江出版社  裝訂:盒裝
《詩詞大玩家》是一款培養科學記憶法、鍛煉思維能力的卡牌遊戲。玩家需要運用手中的運籌卡兌換詩詞卡,收集完整的詩詞成為贏家,從而達到記憶古詩詞的目的。Poetry Players is a strategy game which cultivates scientific memory methods and trains thinking ability. Players need to use t
優惠價: 87 720
無庫存
破解SCI論文寫作奧秘:化工‧材料‧能源(簡體書)
滿額折
出版日:2020/11/01 作者:張育新; 劉禮  出版社:化學工業出版社  裝訂:平裝
《破解SCI論文寫作奧秘――化工 材料 能源》分冊,融合了SCI論文大數據分析,結合豐富的SCI論文寫作實例,深入淺出地講述了SCI論文寫作技巧。本書首先介紹了SCI的產生和發展歷程,使讀者理解SCI的本質;然後以檢索為切入點、以有效閱讀為基石、以高效寫作為準則,將看似複雜的SCI論文寫作化繁為簡。書中核心內容SCI論文寫作部分,按照Methods、Results、Discussion、Intro
優惠價: 87 303
無庫存
什麼是日記法?(英文)(簡體書)
滿額折
出版日:2020/09/01 作者:(英)露絲‧巴特利特; (英)克里斯蒂娜‧米利根  出版社:上海外語教育出版社  裝訂:平裝
本書介紹了日記法的發展歷程和價值,作者們從自身實踐和現有相關研究出發,闡釋了如何利用日記法收集、分析和使用資料。本書不僅關注紙筆為主的傳統日記法,也專門討論了電子郵件、社交媒體等科技手段給日記法帶來的改變,同時還對日記法使用過程中的學術倫理與道德問題進行了探討,為社會科學研究領域的日記法研究提供了有益指導。 The 'What is?' Research Methods series p
優惠價: 87 157
無庫存
幼兒園教師觀察能力結構模型與評價標準(簡體書)
滿額折
出版日:2020/08/01 作者:高宏鈺  出版社:中國社會科學出版社  裝訂:平裝
觀察能力是幼兒園教師專業素質的重要組成部分,但我國幼兒園教師觀察能力普遍薄弱,教師培訓存在“針對性不強、內容泛化、方式單一、質量監控薄弱”等突出問題。本書以自我導向學習理論、目標設置理論與區分性評價理論為視角,採用混合方法(mixed methods)對幼兒園教師觀察能力結構模型與評價標準進行系統研究,構建了幼兒園教師觀察能力發展的理想模型,即以由5個基本維度、13個核心能力項及其行為指標構成的結
優惠價: 87 720
無庫存
葉岩儲層微觀尺度描述:方法與挑戰(簡體書)
滿額折
出版日:2020/03/01 作者:趙傳峰  出版社:石油工業出版社  裝訂:平裝
原文書名:Fine Scale Characterization of Shale Reservoirs Methods and Challenges作者:Mehdi Ostadhassan,Kouqi Liu,Chunxiao Li,SeyedalirezaKhatibi本書介紹了美國葉岩區帶的地理分佈、巴肯葉岩儲層的有機地球化學和快速熱解分析結果,以及葉岩儲層的孔隙結構特徵。重點闡述了掃描電鏡
優惠價: 87 251
無庫存
第二語言測評與混合方法研究(簡體書)
滿額折
出版日:2020/02/01 作者:(美)Aleidine J. Moeller; John W. Creswell & Nick Saville  出版社:外語教學與研究出版社  裝訂:平裝
本書全面闡述了語言測評研究中的混合方法研究(Mixed Methods Research),既有對混合方法研究和語言測評的理論探討,也有混合方法研究在語言測評開發和研究中應用的案例,對於我國的語言測評研究人員是不可多得的研究方法參考書目。 本書共分為四個部分:第一部分聚焦語言測評與混合方法研究結合時要考慮的基本因素,第二部分探討開展混合方法研究的重要組成部分、主要步驟和考慮因素,第三部分展示語言測
優惠價: 87 505
無庫存
定量數據分析(簡體書)
滿額折
出版日:2019/04/01 作者:(美)查爾斯‧A.謝爾巴姆  出版社:上海人民出版社  裝訂:平裝
這是一本專為商科師生而寫的定量數據分析指南,此書英文原版2015年3月由 SAGE出版。 繼小綠皮的社會科學研究方法系列取得成功之後,SAGE再接再厲最新推出了一套面向商科的《精通商業研究方法叢書》(Mastering Business Research Methods)。此書即為首批出版的一本。本書介紹了定量數據分析的哲學基礎與理論基礎、定量分析的基本要素、定量分析的具體操作、運用定量數據分析的
優惠價: 87 235
無庫存
初等Dirichlet級數和模形式(影印版)(簡體書)
滿額折
出版日:2018/03/16 作者:(美)希穆勒  出版社:科學出版社  裝訂:精裝
functions and Hecke L-functions of an imaginary quadratic field,and various problems on elliptic modular forms. As to the values of Dirichlet L-functions, all previous papers and books reiterate a single old result with a single old method. After a review ofelementary Fourier analysis, the author presents completely new results with new methods. though old results will also be proved. No advanced knowledge of number theory is required up to this point. As applications, new formulas for the second factor ofthe class number of a cyclotomic field will be given. The second half of the book assumes familiarity with basic knowledge ofmodular forms. However,all definitions and facts are clearly stated, and precise references are given. The notion ofnearly holomorphic modular forms is introduced and applied to the determination of the critical values of Hecke L-functions of an imaginary quadratic field. Other notable features of the book are: (1) some new results on classical E
優惠價: 87 355
無庫存
分子細胞遺傳學:技術與應用(簡體書)
滿額折
出版日:2018/02/15 作者:(加)范耀山  出版社:科學出版社  裝訂:平裝
本書是美國Methods in Molecular Biology 系列叢書第204卷的中譯本。書中詳細介紹了以熒光原位雜交(FISH)為代表的分子細胞遺傳學相關技術(如染色體顯微切割、引物介導的原位標記、SKY、M-FESH、CGH、彩色顯帶、纖維FISH、陣列CGH等)的原理、基本技術、實驗材料、方法和注意事項,以及這些技術在染色體病診斷和產前診斷、腫瘤學研究中的應用。本書適于生物醫學領域,特
優惠價: 87 668
無庫存
  • 104
    3
  • 1
  • 2
  • 3

暢銷榜

客服中心

收藏

會員專區