购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
增强免疫力
￥20.86
"本系列丛书本着“国民健康 全民阅读 科普惠民”的宗旨，助力健康中国建设、推广全民阅读计划，将中医学颇具智慧的经络穴位防病治病绝学及药食同源养生理念发扬光大，使其寻常百姓家。本书聚焦老百姓最关心的养生和常见病防治话题，以通俗易懂的语言、简单有效的方法，为国民健康事业添砖加瓦。 本系列丛书的策划积极响应国家大健康发展政策，内容更有利于多媒体、多渠道传播，有助于申请国家出版奖项等。 本书力求达到融合出版目标：利用数字技术为中老年阅读学习本书提供帮助和支持。1.有声书：扫码收听本书有声版本。2.穴位按摩：提供可放大看穴位定位、可读听穴位介绍的读书功能。3.食疗：视频演示制作流程（简版：展示食材图片 制作步骤旁白）
图解四部医典
￥5.00
西藏有一部神奇的医书，我们称之为《四部医典》，它的重要性不亚于中医的《黄帝内经》。
Linux命令行大全
￥14.49
《Linux命令行大全》主要介绍Linux命令行的使用，循序渐，深浅出，引导读者全面掌握命令行的使用方法。 《Linux命令行大全》分为四部分。部分始了对命令行基本语言的学习之旅，包括命令结构、文件系统的导引、命令行的编辑以及关于命令的帮助系统和使用手册。第二部分主要讲述配置文件的编辑，用于计算机操作的命令行控制。第三部分讲述了从命令行始执行的常规任务。类UNIX操作系统，比如Linux，包含了很多“经典的”命令行程序，这些程序可以高效地对数据行操作。第四部分介绍了shell编程，这是一个公认的初级技术，并且容易学习，它可以使很多常见的系统任务自动运行。通过学习shell编程，读者也可以熟悉其他编程语言的使用。 《Linux命令行大全》适合从其他平台过渡到Linux的新用户和初级Linux服务器管理员阅读。没有任何Linux基础和Linux编程经验的读者，也可以通过本书掌握Linux命令行的使用方法。
Java从入门到精通(第5版)
￥14.60
《Java从门到精通（第5版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Java语言行程序发需要掌握的知识。全书分为27章，包括初识Java，熟悉Eclipse发工具，Java语言基础，流程控制，字符串，数组，类和对象，包装类，数字处理类，口、继承与多态，类的高级特性，异常处理，Swing程序设计，集合类，I/O（输/输出），反射，枚举类型与泛型，多线程，网络通信，数据库操作，Swing表格组件，Swing树组件，Swing其他高级组件，高级事件处理，AWT绘图，奔跑吧小恐龙和企业销存管理系统等。
视频+全彩图解室内装饰装修现场施工
￥23.80
本书根据装饰装修施工的全流程，从整体工序到不同工种的实际操作，按照现场实际行梳理和列举。全书分为装修施工准备与基础改造、水路施工、电路施工、泥瓦工现场施工、木工现场施工、油漆工现场施工、洁具与灯具安装七部分内容。所有内容围绕现场实际操作展，介绍每个施工阶段所要行的具体施工操作，每个具体施工环节涵盖施工要求、工具、材料、施工流程、现场施工重以及现场快速验收和问题处理等内容。为了便于读者直观的理解，全书内容尽量以图示的形式来说明现场施工过程，并将施工要求简单化、口语化，通过一个个简单易懂的工序，组合成该阶段的所有内容，其中的重施工步骤和做法还可以通过扫描二维码观看现场操作视频。本书通过直观的图示让读者了解不同的工序环节，学习现场操作细节，从而更好地掌握装修施工技能。本书不仅可以作为装修工人的现场操作指南，也可以供装修业主对比监督现场施工质量。
几何原本
￥19.00
《几何原本》成书于公元前300年左右，全书13卷，是古希腊数学家欧几里得的一部不朽之作。它既是一本数学著作，也是哲学巨著，标志着人类首次完成了对空间的认识。《几何原本》自问世之日起，在长达2000多年的时间里，历经多次翻译和修订，自1482年首个印刷本出版，至今已有1000多种不同版本。 欧几里得建立了定义和公理，并研究各种几何图形的性质，从而确立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，并系统地总结了泰勒斯、毕达哥拉斯及智者学派等前代学者在实践和思考中获得的几何知识，集整个古希腊数学的成果与精神于一身。对人们理性推演能力的影响，即对人的科学思想产生了深刻且巨大的影响。
数学分析选讲
￥11.99
本书为韩山师范学院数学与统计学院选修课教材和考研参考书。全书以专题选讲的形式，选择了数列极限与函数极限、连续与一致连续、导数与微分、定积分、级数、一致收敛、多元微积分七个专题，每个专题介绍概念和理论，并重选取了典型案例讲解，全书非常具有实用性，学生针对这七个专题，能行针对性的案例学习，加深理解。
中草药识别应用全图鉴
￥50.99
中草药在保障民众身体健康和民族繁衍方面发挥了重要作用。为满足广大中草药爱好者系统了解中医药理论体系、掌握中草药相关知识的需求，我们组织了广州中医药大学、中国中医科学院广安门医院等长期从事中草药教学和野外植物识别、饮片识别的专家共同编写了本书。 全书收录了约600种常用中草药，按解表药、清热药、祛风湿药、消食药、活血祛瘀药、补虚药等主要功效分为20章。图文对照，每种中药描述了中药名称、药材来源、药部位、采收加工方法、品质优劣评价标准、药材识别特征、药性及功效、用法用量、使用注意、现代药理研究、验方精选等内容；彩色图片包括原植物、动物、药材或饮片的原色图片。旨在为读者提供丰富而又准确的信息。 本书兼顾科学性和实用性，可作为中医药从业人员和中医药爱好者的工具书，也可作为生活家居的收藏书籍。
中医内科名家医案讲析(十三五)
￥61.50
研读名家医案历来就是中医学习阶的必经之路。《中医内科名家医案讲析 》是在中医内科学知识体系框架下，传授综合运用中医基础理论、中医诊断、中医方剂、中药学知识，对四诊信息行解析，分析疾病病机要，确立治法、选方遣药的过程。本教材定位为《中医内科学》配套深化提高教材，用于辅助线上、线下课程教学，达到传承名老中医经验，提高学习者综合运用相关课程理论与知识的融通能力，拓展中医内科临床诊疗的思路与方法。课程的受众定位主要为高校中医学等专业的学生，以及希望一步提高的中医专业从业人员。 预计随着在线课程的推，会有越来越多的学习者会关注本门课程，必然会促教材的使用量。
Python量化投资:技术、模型与策略
￥51.35
全书共18章，前11章主要讲解基础知识。第1章介绍了什么是量化投资，以及为什么要用Python。第2章介绍了如何搭建基础环境，介绍了常用的一些工具。第3章讲解python的基本应用和常用的库。第4章介绍python数据分析中常用的Numpy, Scipy, Pandas。第5章介绍数据分析的基础方法。第6章介绍数据的可视化，使用matplotlib库。第7章介绍基础的金融分析方法。第8章介绍技术分析和时序序列分析，从业界和学术界两种角度来行分析。第9章介绍了投资组合理论和由此衍生出来的多因子模型。第10章介绍了金融市场中衍生品的分析，以期货和期权为主。第11章从利率始，介绍了债券的分析方法。 从第12章始实战篇。第12章讲解中国金融市场，主要针对二级市场，并介绍了针对不同市场的基本投资策略。第13章介绍了，研究策略时，所需的数据来源，源数据和商业数据库都有介绍。并且介绍目前比较流行的python的源数据源。第14章介绍了如何建立数据库，并且讲解针对不同数据，如何设计数据库。第15章介绍了策略研究基本概念，方法论和流程。第16章介绍了行自动化交易的口，并且介绍了目前比较流行的源项目vn.py。第17章介绍了如何使用python爬取网络上数据，并行舆情分析。第18章介绍了人工智能的基本概念和算法，并且介绍了人工智能在量化投资中的应用。
战斗细胞
￥49.99
既直观、轻松，又精准、实用，还不乏时尚、极客的气息，这就是本书呈现给你“免疫”知识的方式。它以故事性的讲解和风格鲜明的插图，描述人体的免疫机制、免疫系统的各组成部分、各类细胞及重要蛋白（抗体、MHC、细胞因子等），与人有关的各种微生物（包括益生菌和各种病原体），以及多方的相互作用，介绍自愈、发炎、流行病、抗菌、抗病毒、寄生虫、过敏、疫苗、癌症、自身免疫性疾病等种种健康议题，帮你过上更为轻松安泰、胸有成竹的现代人生。
思辨中医——一位西医眼中的中医学
￥59.90
本书是一本试图阐释中医学科学原理的学术著作，作者为一名科班出身的西医医生，从事肝病诊疗与肝移植工作20余年，后参加西学中学习班!成为一名中医医生，本书即为作者的所思所悟。 全书共分四个部分，分别为道篇、理篇、法篇与杂篇。 作者在书中阐述了中医“正邪相争”的客观物质基础，提出了自身病理变性异物、异体病理变性异物和人体自主排异本能等新的概念和假说。 本书的初衷是以唯物辩证法为指导，利用现代医学和科学的研究成果，对《伤寒论》中的理法方药原理做一个尝试性的阐述和论证，提出一家之言，从而引发读者的思考和讨论。 本书可供中医工作者以及喜欢与热爱中医的人士阅读参考。
跳频通信自适应抗干扰技术
￥70.00
本书以战术短波和超短波跳频电台为研究对象，重点研究跳频通信干扰检测和识别技术，在此基础上，本书还研究了可有效对抗跟踪干扰和其他典型干扰原理、方法和技术，保证在复杂电磁环境下跳频电台能够正常通信，也可为跳频电台研制和运用提供一定的理论参考。本书进一步丰富了扩频通信干扰检测及自适应抗干扰理论体系，具有较高的理论价值和应用价值。本书聚焦跳频通信干扰检测、识别和抗干扰技术，能够为相关专业的科研人员、工程技术人员，以及博士生、硕士生提供有益的参考。
深度学习初学者指南
￥59.40
本书分为三部分。第1部分将帮助你快速理解从数据中学习、深度学习基本架构、如何准备数据，以及深度学习中经常使用的基本概念。第二部分将重介绍无监督学习算法。从自编码器始，然后转向层数更深、规模更大的神经网络模型。第三部分介绍监督学习算法，你将掌握基本和高级深度学习模型的实现方法，并能够将这些模型用于分类、回归以及从潜在空间生成数据等应用场合。
卫生室的经方故事.第二辑
￥31.50
医不在名，有效则中。 这是一位长年工作在乡村卫生室的医生平时所记录的经方案例故事，没有过多的理论阐述，更没有什么花哨的噱头、缀，质朴真实，鲜活生动，干货满满，别生面，读后让人耳目一新，获益匪浅，不得不由衷地钦佩，为这位乡村医生的智慧和坚守赞！为中医经方的疗效喝彩！ 第二辑依然保持了第一辑风格，全都是近两年作者的真实案例，简明质朴，鲜活生动。 ...................................................................................................................................................................................................................................................................
Excel+Python轻松掌握数据分析
￥57.47
本书重介绍了目前处理数据非常有效的工具——Excel、Python和数据库的应用知识。本书通过一则完整的故事讨论了如何以Python编程为中心，结合Excel和数据库的特，并以基础统计学贯穿其中，帮助读者深地了解数据分析的相关知识。在本书中，首先，讨论了如何使用Excel整理数据，以及Excel中数学和统计函数的应用；其次，探讨了与Python编程相关的数据分析内容，包括在Python中行数据统计工作，以及各种格式数据的转换等；然后，讨论SQLite和MySQL数据库的应用，并介绍了如何使用Python操作数据库；最后，介绍了如何综合使用Excel、数据库和Python编程等工具造自动化的数据处理中心。 本书架构清晰，内容深浅出，案例丰富，适合需要行数据处理和统计分析的职场人士、计算机爱好者等阅读。
身体知道答案——中医学与西方哲学的对话
￥19.66
【内容简介】 在建构中国自主知识体系的时代背景下，本书聚焦中医学与现象学的跨学科对话，系统探讨二者展开学理对话的必要性、可能性与具体路径。现象学对科学主义的批判及其方法论，可为中医学澄清其认识论特质、阐释其核心概念提供有效的哲学分析工具；而中医学的理论体系与临床经验，则为现象学提供了深厚的经验性支撑与跨文化印证。据此，本书探讨了二者具体的对话路径：运用现象学还原方法澄清中医诊治理论的形而上学预设；开展现象学“身体观”与中医学“形神一体观”的互释性研究；推动“生活世界”理论与中医学“天人整体观”的互鉴与融合。研究旨在为建构兼具主体性与开放性的中医学现代话语体系，探索一条具有哲学根基的学术进路。
Token经济:从算力*性原理到智能未来
￥5.00
你每问AI一个问题，都在花钱——可你买的到底是什么？ 本书从一个朴素问题出发：一个Token值多少钱？顺着这条线索，算力从机房里的技术名词，还原为一种重塑财富分配的新权力：像石油一样被争夺、定价，也像货币一样被消耗、通胀。 十章沿一条链条展开：拆解Token的本质与定价；看算力如何成为大国博弈的筹码、市场如何为它标价；追问大模型与AI Agent如何吞掉海量算力，能源、芯片与热力学极限又在哪里设下天花板；*后落到宏观账本与2049年远景——谁在赢、谁在输，泡沫藏在哪里。 它不预测风口，只给你一张看懂智能经济的地图：当计算成为基础设施，你该如何重算自己的位置。
肩痛康复治疗百问百答:附肩痛患友居家运动康复指导
￥58.00
本书以百问百答的形式，回答了肩痛患者关心的问题，内容涵盖肩关节的生理结构、肩痛的病因、应做的检查、肩痛的康复治疗、肩痛的诊疗误区、肩关节的自我保健及诊疗预防。全书图文并茂，而且在肩痛康复方面，以多个视频的形式引导读者行康复训练。同时，书中还有肩痛患者的诊疗分享，有助鼓励患者配合治疗，达到安全、有效、规范和快速康复的目的。
OpenClaw养虾指南:从入门到精通
￥31.87
本书系统讲解以OpenClaw为代表的Claw系列智能体产品（涵盖OpenClaw、腾讯QClaw、腾讯WorkBuddy、火山引擎ArkClaw等大多数主流Claw产品）的安装配置与核心功能，帮助读者掌握智能体在实际工作中的具体用法，构建从认知到应用的全流程能力体系。全书围绕如何让AI自动处理重复性事务，展示OpenClaw如何将人从耗时费力的日常操作中解放出来，在保障数据安全与人工审核的前提下，让用户专注于更高价值的决策与创造性工作。 全书结构清晰，循序渐进展开：开篇引入智能体的基本概念，系统梳理OpenClaw的核心能力，并详解安装与配置流程，帮助读者快速上手。随后聚焦日常办公自动化、行业信息收集、文档处理、内容创作辅助、自媒体运营、客服与社群管理、个人日程助手、网页操作自动化及财务与法务辅助等典型应用场景，*展示智能体在各类业务中的落地路径。*后分析智能体的发展趋势，探讨OpenClaw的能力边界与数据安全策略。 本书不仅是一本工具书，更是一套从认知到实践的AI自动化工作方法指南，适合职场人士、互联网从业者、自媒体创作者，以及希望借助智能体推动工作流升级的企业团队阅读参考。
