购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
机器学习的艺术
￥51.50
机器学习是当下*热门的领域之一。本书是一本基于R语言的机器学习实操指南，通过具体的例子和常见术语解释了机器学习的概念。书中涵盖了机器学习的多个方面，包括所需背景知识、“ge”系列函数、各部分内容架构等。全书介绍了基于近邻的方法(如k近邻算法)及相关的回归和分类模型、基于树的方法(包括决策树、随机森林、梯度提升等)、基于线性关系的方法、基于划分直线与平面的方法(包括支持向量机和神经网络)等。此外，本书也介绍了一些特定类型的机器学习应用，如图像分类、处理时间序列与文本数据等。本书适合对机器学习感兴趣，有一定R语言编程基础且具备普通数学知识(熟悉图表和简单代数符号)的读者阅读。
量子人工智能:前沿进展
￥63.87
量子人工智能是量子计算与人工智能交叉融合形成的新兴研究领域，其内涵一直在不断丰富和演变。本书对该领域的若干前沿研究进展进行梳理与总结，共分8 章。第1 章简要介绍人工智能和量子计算的背景知识；第2 章集中介绍基于线性代数的量子机器学习算法；第3章*阐述变分量子电路；第4 章重点介绍人工智能技术如何应用于量子架构搜索；第5 章聚焦量子生成对抗网络；第6 章探讨量子图机器学习；第7 章介绍量子特征选择；第8 章在受量子启发的算法与模型方面，重点介绍量子自然语言处理方面的理论、方法与进展。 本书既可供对量子人工智能领域感兴趣的科学研究或技术开发人员参考，也可供量子计算或人工智能相关专业的研究生及高年级本科生阅读。
扣子3.0(Coze3.0)极简入门:从AI伙伴到新一代AI团队
￥51.07
本书系统介绍扣子（Coze）3.0这一Agent时代的AI团队协作平台，手把手教你把AI从“聊天机器人”打造成真正的“AI伙伴”甚至“AI团队”。全书涵盖六大部分内容，从“为什么需要扣子3.0”到“满配装备（云电脑/云手机）”“满配人格（日程/记忆/邮箱）”“满配技能（视频/文档/播客/技能商店）”，再到四大场景实战（职场、自媒体、学习、开发），*后探索Agent World社交网络。 本书采用“项目协作”实战体系，教你围绕目标创建项目，让热点监控、文案生成、数据分析等Agent在同一空间分工协作、沉淀资产。全书记录扣子3.0的三类Agent、桌面客户端、本地设备授权与AI编程入口。通过“入门—进阶—高级”三级案例，手把手教你零代码搭建7×24小时在线的AI团队，实现从“有一个AI伙伴”到“搭一支AI团队”的工作模式升级。 本书面向所有希望借助AI提升工作效率、减少重复劳动的知识工作者。无论你是被周报与会议纪要缠身的职场人、需要持续产出内容的自媒体创作者、寻求系统化知识管理的学习者，还是希望实现测试与监控自动化的开发者，都能从中获益。
人类知道的太多了
￥61.80
人类总是问题多多：关于宇宙，关于地球，关于时间和空间，也关于我们自己。 我敢保证，以下问题里你至少曾经想过一个： （当你犯了错误时）能让时间倒流吗？ （当你看了科幻电影时）外星人到底在哪里？ （当你不想上班/上学时）能不能有另一个我代替？ （当你不得不出远门时）为什么不能瞬间传送？ （当你怀疑人生时）我们生活在模拟世界中吗？ （当你担心世界末日时）会有小行星撞击地球吗，以及我们能移民到火星吗？…… 问题总是问不完，但感谢各位科学家的努力，我们人类其实已经知道很多了！ 包括但不限于以上的热门宇宙问题，你都能在这本书中找到答案，那种列出各种可能性的、脑洞大开的、充满搞笑漫画的、由物理学教授回答的答案。你也能在这些问题和答案中发现一些看似不可能的可能性和看似不合理的合理性，而它们都只是宇宙的基本规律而已。 如果我们的宇宙是一种产品，那这本书就是产品说明书上的“热门问题与解答清单”，适合每一个正在体验该产品的人类。
Linux命令行大全
￥14.49
《Linux命令行大全》主要介绍Linux命令行的使用，循序渐，深浅出，引导读者全面掌握命令行的使用方法。 《Linux命令行大全》分为四部分。部分始了对命令行基本语言的学习之旅，包括命令结构、文件系统的导引、命令行的编辑以及关于命令的帮助系统和使用手册。第二部分主要讲述配置文件的编辑，用于计算机操作的命令行控制。第三部分讲述了从命令行始执行的常规任务。类UNIX操作系统，比如Linux，包含了很多“经典的”命令行程序，这些程序可以高效地对数据行操作。第四部分介绍了shell编程，这是一个公认的初级技术，并且容易学习，它可以使很多常见的系统任务自动运行。通过学习shell编程，读者也可以熟悉其他编程语言的使用。 《Linux命令行大全》适合从其他平台过渡到Linux的新用户和初级Linux服务器管理员阅读。没有任何Linux基础和Linux编程经验的读者，也可以通过本书掌握Linux命令行的使用方法。
图解四部医典
￥5.00
西藏有一部神奇的医书，我们称之为《四部医典》，它的重要性不亚于中医的《黄帝内经》。
数学分析选讲
￥11.99
本书为韩山师范学院数学与统计学院选修课教材和考研参考书。全书以专题选讲的形式，选择了数列极限与函数极限、连续与一致连续、导数与微分、定积分、级数、一致收敛、多元微积分七个专题，每个专题介绍概念和理论，并重选取了典型案例讲解，全书非常具有实用性，学生针对这七个专题，能行针对性的案例学习，加深理解。
Java从入门到精通(第5版)
￥14.60
《Java从门到精通（第5版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Java语言行程序发需要掌握的知识。全书分为27章，包括初识Java，熟悉Eclipse发工具，Java语言基础，流程控制，字符串，数组，类和对象，包装类，数字处理类，口、继承与多态，类的高级特性，异常处理，Swing程序设计，集合类，I/O（输/输出），反射，枚举类型与泛型，多线程，网络通信，数据库操作，Swing表格组件，Swing树组件，Swing其他高级组件，高级事件处理，AWT绘图，奔跑吧小恐龙和企业销存管理系统等。
视频+全彩图解室内装饰装修现场施工
￥23.80
本书根据装饰装修施工的全流程，从整体工序到不同工种的实际操作，按照现场实际行梳理和列举。全书分为装修施工准备与基础改造、水路施工、电路施工、泥瓦工现场施工、木工现场施工、油漆工现场施工、洁具与灯具安装七部分内容。所有内容围绕现场实际操作展，介绍每个施工阶段所要行的具体施工操作，每个具体施工环节涵盖施工要求、工具、材料、施工流程、现场施工重以及现场快速验收和问题处理等内容。为了便于读者直观的理解，全书内容尽量以图示的形式来说明现场施工过程，并将施工要求简单化、口语化，通过一个个简单易懂的工序，组合成该阶段的所有内容，其中的重施工步骤和做法还可以通过扫描二维码观看现场操作视频。本书通过直观的图示让读者了解不同的工序环节，学习现场操作细节，从而更好地掌握装修施工技能。本书不仅可以作为装修工人的现场操作指南，也可以供装修业主对比监督现场施工质量。
中草药识别应用全图鉴
￥50.99
中草药在保障民众身体健康和民族繁衍方面发挥了重要作用。为满足广大中草药爱好者系统了解中医药理论体系、掌握中草药相关知识的需求，我们组织了广州中医药大学、中国中医科学院广安门医院等长期从事中草药教学和野外植物识别、饮片识别的专家共同编写了本书。 全书收录了约600种常用中草药，按解表药、清热药、祛风湿药、消食药、活血祛瘀药、补虚药等主要功效分为20章。图文对照，每种中药描述了中药名称、药材来源、药部位、采收加工方法、品质优劣评价标准、药材识别特征、药性及功效、用法用量、使用注意、现代药理研究、验方精选等内容；彩色图片包括原植物、动物、药材或饮片的原色图片。旨在为读者提供丰富而又准确的信息。 本书兼顾科学性和实用性，可作为中医药从业人员和中医药爱好者的工具书，也可作为生活家居的收藏书籍。
OpenClaw养虾指南:从入门到精通
￥31.87
本书系统讲解以OpenClaw为代表的Claw系列智能体产品（涵盖OpenClaw、腾讯QClaw、腾讯WorkBuddy、火山引擎ArkClaw等大多数主流Claw产品）的安装配置与核心功能，帮助读者掌握智能体在实际工作中的具体用法，构建从认知到应用的全流程能力体系。全书围绕如何让AI自动处理重复性事务，展示OpenClaw如何将人从耗时费力的日常操作中解放出来，在保障数据安全与人工审核的前提下，让用户专注于更高价值的决策与创造性工作。 全书结构清晰，循序渐进展开：开篇引入智能体的基本概念，系统梳理OpenClaw的核心能力，并详解安装与配置流程，帮助读者快速上手。随后聚焦日常办公自动化、行业信息收集、文档处理、内容创作辅助、自媒体运营、客服与社群管理、个人日程助手、网页操作自动化及财务与法务辅助等典型应用场景，*展示智能体在各类业务中的落地路径。*后分析智能体的发展趋势，探讨OpenClaw的能力边界与数据安全策略。 本书不仅是一本工具书，更是一套从认知到实践的AI自动化工作方法指南，适合职场人士、互联网从业者、自媒体创作者，以及希望借助智能体推动工作流升级的企业团队阅读参考。
谎言的温度
￥69.95
《谎言的温度》是气候科学家彼得?斯托特的重磅纪实作品，作为IPCC核心成员、气候归因学奠基人，他以25年亲历者视角，揭秘气候科学与利益集团的博弈：从IPCC报告编写的严谨论证，到“气候门”事件中科学家遭受的恶意攻击，再到极/端热浪等灾害与人类活动的归因关联，用数据与叙事双线还原“人类活动导致气候变化”的科学真相。书中不仅揭露化石燃料集团操纵舆论、政治力量掣肘气候行动的手段，更记录了科学家们在压力下坚守科学底线的历程，同时总结了反气候谣言的沟通策略。本书既是一部气候危机的警示录，也是公众培养批判性思维、参与气候自救的行动指南。
如何向AI提问
￥45.99
别人用DeepSeek三分钟生成活动方案、半小时搞定数据分析，而你的AI却总是“答非所问”?AI时代，会提问者胜：提问的质量，决定答案的质量。 本书中，作者总结了一套从思维升级到实操落地的提问方法： AI万能提问公式=角色设定 背景信息 任务目标 输出要求 输出规则 通过高频应用场景的实际案例，对比无效提问和精准指令下AI回答的显著差别，读者在获取答案的同时能精提问技能，逐步学会高效、精准的提问技巧，解锁DeepSeek的“超能力”，直至轻松驾驭各类AI工具，把它们训练成工作、生活的超级助手。 养成提问思维，提升个人竞争力，普通人也能抓住AI红利!
Python图像处理与分析实战
￥63.69
本书涵盖图像处理与分析的基础知识和实操内容，详细介绍了PyCharm的下载安装、多种第三方库的导入、基于Tkinter和PyQt5的界面开发、Visual Studio 2010的下载安装以及DLL函数库的开发方法等内容。通过丰富的实例，指导读者利用Python软件进行多种图像处理与分析的编程实践，包括灰度图像二值化处理、直方图处理、微分与细线化处理、去噪声处理、特征提取、彩色变换、彩色分割、图像合成、几何变换、Hough变换直线检测、傅里叶变换、小波变换、模式识别等。 本书可供计算机科学与技术、人工智能、数据科学、电子工程等领域的工程技术人员参考，也可作为相关专业的本科生和研究生的教材。
高血压
￥20.86
本书强调中医治未病思想，倡导防重于洽。书中介绍了肝阳上亢型、阴虚阳亢型、痰湿壅盛型、气虚血瘀型及阴阳两虚型高血压的常见表现，以及常用穴位、家常食物、常用中药、精选食疗方、家用中成药等内容，涉及穴位调养、饮食调养、药物调理，汇集了高血压的相关知识，涵盖了高血压人群最想知道、最需要重视的常见问题，内容通俗易懂，深浅出，防治结合，以防为主，兼有科学性、实用性、知识性和趣味性。
王九峰先生医案
￥31.50
医案专著。4卷。清王九峰撰。约成书于嘉庆十八年(1813年)。此书主要以内科杂病为主,书中载有时邪、霍乱、咳嗽等病证45种。各卷以证分类,收载案例百余。王氏学术上博采诸家之长,尤擅长调理,对虚损证治疗卓有成效。王九峰（1753-1861？），名之政，字献廷，家住丹徒之月湖，毗邻九峰山，便以之为号。年三十余丧子，因致失聪，故又自号“王聋子”。后世传言其人曾在嘉庆中奉征召，以重听辞免，因此又有“王征君”之称。王九峰医名盛极一时，从学者甚多，如虞克昌、李文荣、蒋宝素、朱致五、李欣园、费伯雄、刘允中、孙铨等，其中蒋宝素、费伯雄等都成为了一代名医。王九峰交友十分广泛，并不限于医流，《丹徒县志》记载：“一时南来名宦如费淳、铁保、陶澍诸公，皆乐与之交。聘访叠至，翰墨往来，名噪海内。”王九峰曾邀友人为其所藏书画题诗，其中不乏姚鼐等文学名家，江南河道总督黎世序更是称其“声华遍吴越”。诸友人中，当属铁保相交最密，《清稗类钞·义侠类》记载有王九峰送铁治亭一事，言：“王九峰，名之政，丹徒人。性磊落，慷慨有丈夫气。与满洲铁冶亭制军保交最密，铁督两江时，王每赴江宁，相依必数月，所赠多不受。及铁获罪，有乌里雅苏台之行，一日夜，幞被至清江，依依不能舍，泪随语下。复亲送其眷十余程，过山东界始回。”可见王九峰不仅医书高超，为人亦重情重义，颇有侠气。
身体知道答案——中医学与西方哲学的对话
￥19.66
【内容简介】 在建构中国自主知识体系的时代背景下，本书聚焦中医学与现象学的跨学科对话，系统探讨二者展开学理对话的必要性、可能性与具体路径。现象学对科学主义的批判及其方法论，可为中医学澄清其认识论特质、阐释其核心概念提供有效的哲学分析工具；而中医学的理论体系与临床经验，则为现象学提供了深厚的经验性支撑与跨文化印证。据此，本书探讨了二者具体的对话路径：运用现象学还原方法澄清中医诊治理论的形而上学预设；开展现象学“身体观”与中医学“形神一体观”的互释性研究；推动“生活世界”理论与中医学“天人整体观”的互鉴与融合。研究旨在为建构兼具主体性与开放性的中医学现代话语体系，探索一条具有哲学根基的学术进路。
OpenClaw实战指南:零基础打造会干活的AI数字员工
￥79.00
内容简介 在AI技术突飞猛进的今天，许多人依然陷入“AI只能陪聊不能干活”的困境。本书致力于打破这些迷思，让AI真正帮我们干活。它详细解析了如何将大模型的“思考能力”转化为实际的“行动能力”，让AI从“只会说”进化到“能动手”。 本书坚持“零基础”原则，为每个普通人量身定制。通过融合开源平台OpenClaw，以及Kimi2.5、智谱GLM-5等*新大模型和Seedance 2.0等前沿AI工具，手把手带你搭建自动化的业务流水线。每一个步骤都有详细的操作指引，学完就能直接应用到真实的工作场景中。 通过阅读本书，你将收获： （1）极简部署方案：30分钟“雇佣”你的*位数字员工的具体步骤，轻松跨越技术门槛； （2）*办公自动化：让AI自动处理邮件、会议、日程，一句话生成可发给老板的报表和PPT的实战技巧； （3）流量变现与获客：结合Seedance 2.0等工具，让AI*接管小红书、短视频运营及销售客服的商业化闭环； （4）前沿模型融合：掌握Kimi2.5、智谱GLM-5等*新大模型在复杂工作流中的联动应用； （5）老板思维重塑：一个人指挥一支AI军团的核心理念，实现从单点突破到系统搭建的进阶。
肩痛康复治疗百问百答:附肩痛患友居家运动康复指导
￥58.00
本书以百问百答的形式，回答了肩痛患者关心的问题，内容涵盖肩关节的生理结构、肩痛的病因、应做的检查、肩痛的康复治疗、肩痛的诊疗误区、肩关节的自我保健及诊疗预防。全书图文并茂，而且在肩痛康复方面，以多个视频的形式引导读者行康复训练。同时，书中还有肩痛患者的诊疗分享，有助鼓励患者配合治疗，达到安全、有效、规范和快速康复的目的。
GESP编程能力等级认证一本通 (C++ 二级)
￥44.67
“GESP编程能力等级认证一本通”是专门为中小学生编写的一套学习C++编程和算法的图书。本套图书严格围绕中国计算机学会（CCF）发布的“CCF编程能力等级认证（GESP）C++认证标准”而设计。 本书对应C++二级，共15章，内容包括多组输入数据的处理、数列问题及递推、循环的嵌套——二重循环、程序控制结构综合应用、特殊的数及增长很快的数、一维和二维数表、输出有规律的字符图形、枚举算法基础、非数值型数据——字符和字符串、字符型数据综合应用、调用系统函数求解问题、函数定义及调用、日期和时间的处理、函数及程序控制结构综合应用、程序设计题目与测试数据设计。 本书配备了题库、课件、课程视频（在线）等资源，可以作为中小学编程社团的教学用书，也可以作为少儿编程培训机构的培训用书，还可以作为少儿编程等级考试和编程竞赛的入门参考书。
