|
|
|
|
162.
|
油氣田地下地質學 
市場價：430元 優惠價：360元
立刻節省：70元
|
|
168.
|
中國京劇表演教學研究論綱
市場價：460元 優惠價：390元
立刻節省：70元
《中國京劇表演教學研究論綱》，是闡釋中國京劇高等教育教學實踐型創新人纔培養的首部著作，作為中央戲劇學院京劇繫建繫以來的第一部教學理論研究論綱，集中體現了京劇繫人纔培養目標、教學理念和課程體繫特色。本書將理論視野的前瞻性與教學方法的可行性結合，從技法、美學、成果三個層面闡釋京劇表演規律和時代內涵，著墨於以藝證史、以論證史的同時簡筆勾勒京劇表演人纔培養的路徑和方向。
|
|
171.
|
公理化集合論機器證明繫統(精)/數學機械化叢書
市場價：1210元 優惠價：1010元
立刻節省：200元
布爾巴基學派的序、代數、拓撲三大母結構是現代數學的基礎。利用計算機證明輔助工具，可以完整構建這三大母結構的形式化繫統。本書利用交互式定理證明工具Coq，實現Morse-Kelley公理化集合論形式化繫統，包括對該體繫中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述，其中構造了序數和基數，定義了非負整數，把Peano公設當作定理，可以迅速而自然地給出一個數學基礎，擺脫了明顯的悖論。這是Morse。Kelley公理化集合論繫統的首次形式化實現。在Morse-Kelley公理化集合論形式化繫統下，作為應用，我們給出選擇公理與它的幾個有名等價命題間等價性的機器證明，這些命題包括Tukey引理、Hausdorff極大原則、極大原則、Zorn引理、良序定理及Zermelo假定等。在我們開發的繫統中，全部定理無例外地給出Coq的機器證明代碼，所有形式化過程已被Coq驗等
|
|
172.
|
設施蔬菜規模生產與經營
市場價：240元 優惠價：200元
立刻節省：40元
本書全面、繫統地介紹了設施蔬菜的知識。內容包括我國設施蔬菜產業的概述、蔬菜生產設施、機械裝備、覆蓋材料、設施蔬菜生產茬口安排、設施蔬菜生產技術、設施茄果類蔬菜生產技術、設施瓜類蔬菜生產技術、設施豆類蔬菜生產技術、設施根類、藷芋類蔬菜生產技術、設施蔥蒜類蔬菜生產技術、設施綠葉類蔬菜生產技術、設施白菜類蔬菜生產技術、其他設施蔬菜生產技術、設施蔬菜的經營與管理等內容。本書圍繞大力培育新型職業農民，以滿足職業農民朋友生產中的需求，重點介紹了各個設施蔬菜的成熟技術以及新型職業農民推薦的基礎知識。書中語言通俗易懂，技術深入淺出，實用性強，適合廣大新型職業農民"基層農技人員學習參考。
|
|
173.
|
寧夏南部山區杏樹提質增效技術 農業/林業 馬付生編著 寧夏人民出
市場價：220元 優惠價：190元
立刻節省：30元
本書詳細闡述了西北地區寧夏南部山區山杏高接接種技術, 包括前期準備、品種選擇、嫁接時間、嫁接技術、後期管理等環節, 介紹了杏樹嫁接技術、花期和幼果期防霜凍技術要點, 為寧夏山區退耕還林杏產業後續發展、增加退耕戶收入提供了有益的探索。
|
|
179.
|
客家首府
市場價：1160元 優惠價：970元
立刻節省：190元
|
|
180.
|
浙江戲劇史
市場價：1140元 優惠價：950元
立刻節省：190元
|
|
183.
|
儀器制造工藝學
市場價：470元 優惠價：400元
立刻節省：70元
|
|
