- 科学出版社(4)
- 科学出版社(4)
- 机械工业出版社(2)
- 机械工业出版社(2)
- 中国农业科学技术出版社(1)
- 中国农业科学技术出版社(1)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
- 北京大学医学出版社(1)
- 北京大学医学出版社(1)
- 中国水利水电出版社(1)
- 中国水利水电出版社(1)
- 南海出版公司(1)
- 南海出版公司(1)
- 北京大学医学出版社(1)
- 北京大学医学出版社(1)
- 机械工业出版社(2)
- 机械工业出版社(2)
- 科学出版社(4)
- 科学出版社(4)
- 南海出版公司(1)
- 南海出版公司(1)
- 中国农业科学技术出版社(1)
- 中国农业科学技术出版社(1)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
- 中国水利水电出版社(1)
- 中国水利水电出版社(1)
-
西藏班公湖-怒江成矿带成矿地质
¥132.7(6.7折)定价:¥198.0班公湖一怒江成旷带指的并不仅是该结合带本身,而主要是它南、北两侧的岩浆弧。扎普一多不杂岩浆弧的形成时代分为两个阶段,分别为中晚侏罗世(170-150Ma)和早白垩世(130-110Ma)。期间存在约10Ma的岩浆活动间断。这两期岩浆弧中早白垩世花岗岩与成矿作用关系*密切。昂龙岗日一班戈岩浆弧大体可分为西段的狮泉河一昂龙岗日一盐湖和班戈一青龙乡两个较连续的岩浆岩带,本带成矿时代可能以晚白垩世为主。形成矽卡岩型、斑岩型和热液型矿床。班
-
问题导向学习之理念、方法、实务与经验:医护教育之新潮流
¥76.4(7.8折)定价:¥98.0这是一本以华文撰写的PBL著作,自2009年第1版问世以来,受到医学教育界的广泛好评。主编来自PBL发源地McMaster大学。第2版更加实用,章节编排改变较大。共分七篇:PBL理念在高等教育之建构与沿革、小组讨论在PBL知能内化之流程、临床的PBL是怎么实施的、符合PBL精神的评量——原则与方法、实施PBL于医学及高等教育之经验与心得、PBL在医学系以外的应用、总结与前瞻...
-
新型职业农民素质提升读本
¥16.4(5.5折)定价:¥29.9当前,我国正处于改造传统农业、发展现代农业的关键时期。农业生产经营方式正从单一农户、种养为主、手工劳动为主,向主体多元、领域拓宽、广泛采用农业机械和现代科技转变,现代农业已发展成为一、二、三产业高度融合的产业体系。支撑现代农业发展的人才青黄不接。农民科技文化水平不高,许多农民不会运用先进的农业技术和生产工具.接受新技术新知识的能力不强。只有培养一大批具有较强市场意识,懂经营、会管理、有技术的新型职业农民,现代农业才能顺利发展。 本书主
-
超声入门书系腹部超声入门
¥27.0(7.5折)定价:¥36.0本书是《超声入门书系》系列丛书中的一本。《超声入门书系》原版书近年来在日本超声医学界始终畅销,深受超声诊断入门读者和初级临床医师的喜爱。其中,《腹部超声入门》是针对没有任何基础的初级超声医师编写的,内容涵盖了入门需要掌握的所有知识点。全书共4章,分别为超声检查基础、多普勒超声检查基础、腹部主要脏器的超声检查、消化管及其他的超声检查。每个脏器均详细讲述了解剖、扫查技术、超声测量、仪器调节、探头按压方法、超声评价,以及异常图像识别等,描述
-
水电站混凝土预冷预热技术研究与应用
¥61.6(7折)定价:¥88.0本书以小湾、拉西瓦、溪洛渡、官地等水电站为工程依托,结合混凝土温控技术要求,采用CFD仿真——试验室验证——现场测试——回归分析的技术路线,针对混凝土粗骨料进行了风冷热、水冷的传热全过程研究,分析风冷骨料的瞬态传热规律,根据不同工况参数因素变化的敏感性,拟合出骨料的瞬态传热经验计算公式;研究风冷料仓内不同风道形式下,冷风的流场、骨料冷却速率及均匀性;采用骨料非稳态传热的数值计算及仿真成果,编制出了具有工程实用性的计算软件。此研究成果将
-
拉格朗日力学理论的形式化与机器人动力学形式化分析
¥63.2(7.1折)定价:¥89.0为了确保机器人运动学设计的安全性和可靠性,解决传统的机器人测试用例与仿真用例受限,测试与仿真均无法接近覆盖所有可能路径等非完备性问题。本书聚焦机器人运动学相关理论的形式化建模与定理库构建,重点针对泛函变分、拉格朗日力学的形式化及在机器人设计中的应用验证,并探索解决完备验证的自动化难题...
-
Jetpack Compose从入门到实战
¥82.8(7.6折)定价:¥109.0Jetpack Compose是谷歌推出的全新Android UI开发框架,它采用更为先进的声明式开发思想,极大地提升了应用界面的开发效率。 Compose颠覆性的设计理念使得其学习曲线较为陡峭,因此本书对知识点进行了系统全面的整理和编排。全书共分11章,从写第一行Hello World到实现一个全功能的产品级项目,帮助读者规划出了从入门到精通的学习路径。除了对知识点细致的讲解之外,书中还穿插了大量源码示例和实践,帮助读者及时巩固所学
-
矩阵结构与矩阵函数的形式化
¥58.5(7.5折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时,特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的安全等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明...
-
哈密顿力学理论的形式化与机器人动力学形式化分析
¥64.1(7.2折)定价:¥89.0本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系,并以四自由度串联机器人为例,研究了基于哈密顿动力学系统的形式化分析与验证方法的应用,为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括:哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程的形式化和机器人动力学的形式化建模与分析。内容涉及交互式定理证明、机器人、形式化验证等人工智能领域。 本书可作