购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
你不知道的超级农田天敌:寄生蜂召开群英会
￥49.90
《你不知道的超级农田天敌 寄生蜂召开群英会》是一本以“稻田益虫大会”为主线，将科学知识融入跌宕故事中的原创科普绘本。本书由海关与农业科研工作者联袂创作，用生动细腻的笔触和深入浅出的文字，向读者揭秘了稻螟赤眼蜂、盘绒茧蜂、蜻蜓、粽管巢蛛等“超级农田护卫”如何消灭水稻害虫、守护水稻健康的奇妙过程。书中不仅生动展现了寄生性天敌与捕食性天敌的精彩“发言”，还巧妙融入了从智慧农业、无人机遥感监测到转基因育种等前沿科技魔法，深刻揭示了维持农田生态系统平衡对保障我国粮食安全的核心价值。
中文版Photoshop 2026入门教程
￥44.80
本书讲解Photoshop操作技巧和实战技能，帮助读者轻松、*地掌握Photoshop在平面设计、电商设计、UI设计、照片编辑等领域的应用。 本书从Photoshop基本操作入手，结合丰富的案例和课后习题，*讲解图层、选区与抠图、绘图工具与蒙版、图像修饰、图像调色、滤镜、路径与矢量工具、文字、通道等内容。本书配套资源丰富，包含课堂案例、综合案例和课后操作题的素材文件、效果文件、在线教学视频，基础工具的讲解视频，以及*教学使用的PPT课件和教学大纲，还附赠《AI图像处理》《配色卡》等电子资料。 本书语言通俗易懂，特别适合Photoshop初学者及有一定经验、准备从事相关设计工作的人士学习与参考，也适合作为相关院校和培训机构的教材。
漫画化学(*漫画学科系列)
￥47.60
什么是化学？ 如果你加热一块木头，一开始得到的只是一块热木头……但突然间，在某个时刻，木头会猛然燃起火焰。这火焰究竟是从哪儿来的呢？化学正是回答这类问题的科学，而化学反应则是揭示物质隐藏特性的奇妙转变。 这本书用诙谐幽默的语言辅以生动活泼的漫画，由浅入深，先向读者介绍了物质本身的属性、物质之间的联系，然后介绍化学反应、物态，接下来深入讲解溶液、酸碱性、反应速率，以及化学热力学、电化学和*化学。内容几乎涵盖了全部初高中化学的核心知识点，并在此基础上有所延伸。 作者用两个独特的漫画人物作为全书的引线，结合金属、非金属、酸、碱等的生动拟人化形象，以及化学发展历程中做出重要贡献的著名化学家及相关知识进行介绍，寓教于乐，让你看着看着就笑了、笑着笑着就懂了！ 学好化学很轻松，快打开这本《漫画化学》!
鸟博士的疯狂物理课
￥39.00
这是一本专门为10~15岁青少年创作的趣味物理科普图书。书中涉及一系列与物理知识密切相关的有趣问题，如“外星人真的存在吗”“如何行时间旅行”等，三只性格鲜明的“物理鸟”——阿尔伯特、费里斯和芬力，会以青少年喜欢和容易理解的方式，带领他们深讨论这些问题，探索这些看似好玩的问题背后深刻的物理知识。全书以图文结合的方式呈现，语言风格风趣幽默，能够帮助青少年在轻松的阅读中学习物理知识，领略物理学的独特魅力，并培养他们一步深学习物理知识的兴趣和动力。
数字媒体设计项目教程
￥31.87
本书旨在以浅显易懂的方式讲解数字媒体设计的核心知识。本书通过6个典型项目，讲述如何制作网站首页加载动画、手机应用开屏动画、书法课营销短视频动画、“天际线”汽车宣传动画、美食类专栏片头和科普短片，基本覆盖了典型数字媒体设计的实战场景，有助于提升读者的数字媒体设计实战能力。 本书可以作为高等院校数字媒体相关专业学生和数字媒体设计爱好者的参考书。
AI未来已来
￥45.80
AI能为CEO做什么？AI能为一个组织做什么？AI能为当下及未来的你做什么？AI正以前所未有的速度*渗透各行各业，重塑传统、现代、未来各个领域的底层发展逻辑，将技术真正转化为现实生产力。 本书立足AI驱动的商业新趋势，深度剖析这一浪潮蕴藏的巨大能量与变革价值，梳理企业在架构变革、应用落地、效率提升过程中遭遇的各种阻碍，以及突破瓶颈需要确立的认知与原则。本书可为企业各级管理者、普通员工，以及AI技术服务从业者提供务实的参考指导。
量子人工智能:前沿进展
￥63.87
量子人工智能是量子计算与人工智能交叉融合形成的新兴研究领域，其内涵一直在不断丰富和演变。本书对该领域的若干前沿研究进展进行梳理与总结，共分8 章。第1 章简要介绍人工智能和量子计算的背景知识；第2 章集中介绍基于线性代数的量子机器学习算法；第3章*阐述变分量子电路；第4 章重点介绍人工智能技术如何应用于量子架构搜索；第5 章聚焦量子生成对抗网络；第6 章探讨量子图机器学习；第7 章介绍量子特征选择；第8 章在受量子启发的算法与模型方面，重点介绍量子自然语言处理方面的理论、方法与进展。 本书既可供对量子人工智能领域感兴趣的科学研究或技术开发人员参考，也可供量子计算或人工智能相关专业的研究生及高年级本科生阅读。
Spec-Kit实战:AI编程全流程落地
￥38.27
规范驱动开发（SDD）是软件开发领域中应对AI编程代理挑战的方法论。本书聚焦SDD，探讨的核心问题是在AI编程代理普及的背景下如何提升代码质量、可维护性与团队协作效率。本书构建了从理论到实践的完整知识体系：*部分系统讲解SDD的基础理论与核心价值、Spec-Kit的核心概念，介绍环境配置与AI编程代理；第二部分通过组件驱动开发、状态管理、构建后端API与前后端联调、安全加固与前后端联调等实战案例，展示如何运用Spec-Kit构建复杂应用系统；第三部分探讨存量系统的改造方案，并对SDD的未来发展趋势进行展望，帮助读者理解从氛围编程到SDD的必由之路。 本书适合各类软件开发人员（包括前端开发工程师、后端开发工程师、全栈开发工程师、软件架构师等）阅读，也适合作为高校计算机相关专业的教学参考用书。无论是软件开发领域的新手，还是经验丰富的资深工程师，都能学到实用的开发技巧。
扣子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提升工作效率、减少重复劳动的知识工作者。无论你是被周报与会议纪要缠身的职场人、需要持续产出内容的自媒体创作者、寻求系统化知识管理的学习者，还是希望实现测试与监控自动化的开发者，都能从中获益。
秒懂AI科研
￥41.40
这是一本写给高校师生和科研工作者的AI实战手册，用通俗的语言和简明的图片，把复杂的AI工具变成易用的科研“加速器”。全书让科研由繁入简，从文献检索、深度阅读、论文写作，到图表绘制、排版投稿、期刊匹配，告别低效内耗。 “AI是伙伴，人是主体”，本书讲解原创性检测、合规审查、科研伦理，让AI工具使用既*又安全。 科研新手、青年教师、资深教授都能快速、*入手这本“AI for Science”时代的工具书，了解和掌握AI辅助科研的大模型、智能体、工作流，轻松体验人机协同新范式。
豆包工作快速入门:从AI工具到AI同事
￥39.80
这是一本豆包工作实用操作指南。本书针对人们在使用AI办公时普遍存在“指令模糊、结果不符合预期”的痛点，打破“AI只是聊天工具”的认知误区，将豆包定位为可指导、可监督、可验收的“AI同事”。全书共三部分16章：*部分（第1～5章）带你掌握指令撰写、材料提交、过程监督、成果核验的核心方法，完成首次任务落地；第二部分（第6～11章）聚焦写文档、做表格、做PPT、整理会议纪要等六大高频办公场景，配套实操案例直接对应日常工作需求；第三部分（第12～16章）解锁远程派活、云电脑无人值守、AI小队协同等高阶用法，同时明确安全避坑原则，帮你守住人工把关的责任边界。全书不涉及复杂技术概念，每章配套实操练习、错误提示和自救方法，读者可直接照搬步骤快速获得可落地的工作成果。
开放数据时代
￥47.40
过去二十年来，数据已成为创新*重要的原材料。而Meta(原脸书）、亚马逊、谷歌等大型科技企业却垄断性地将*重要的数据集中存储在自有服务器上，囤积数据以*大化股东利益，但此举却损害了消费者利益、拖累了经济进步乃至侵蚀了整个社会的利益，从而阻碍了创新与进步。本书指出，我们有义务推动这些信息巨头开放其海量数据宝库，实现数据普惠可及。 一旦打破科技企业的数据垄断，让全体市场主体平等共享数字时代的数据资源，公平的市场竞争格局便会成型，数字创新将持续涌现，*终实现全民共赢。
早安!我的植物邻居
￥30.00
带孩子上一堂近在咫尺的身边植物课！ 《早安！我的植物邻居》给你一个这样的机会。身边就能发现的植物知识，近零成本的亲子植物小课堂。 书中和植物一样淡雅的文字与手绘插图，贴近生活的亲切视角，常见的植物物种，隐藏在植物中的小小惊喜。休闲娱乐中长知识，保护视力的观察科普。 带上这本书，和孩子一起在身边随处观察见到的植物吧。
寂静的地球
￥49.99
1992年，来自世界各地的1700名科学家发出了《告人类书》： “重要土壤遭受侵蚀和退化，臭氧层被破坏，空气被污染，雨林被砍伐，海洋资源被过度捕捞，此时气候已经明显改变。” 2017年，超过2万名科学家共同签署了第二次警告：气候变化有失控的危险，人类已经引发了地球上的第6次物种大灭绝，“很快，从这条错误的路掉头会为时已晚”。 然而，人们对此仍置若罔闻。 1989年到2016年，德国自然保护区内的昆虫生物量减少76%；2016年，世界优选、*长的珊瑚礁群大堡礁已有一半珊瑚死亡，预计到2035年，所有珊瑚礁都将消失。由于昆虫的物种丰富，它几乎参与了所有陆地上、淡水中的食物链。 昆虫种群的崩溃，对人类而言，*紧迫的威胁是全球粮食供应量持续下降。 不过，如果人类能听信科学家的警示并携手合作，2035年之前，拯救人类文明的未来仍然为时不晚……
AI*备课实战:从课件制作到个性化教案
￥52.00
在教育数字化和生成式AI进入课堂的背景下，教师备课方式正在发生改变。本书立足一线教学需求，回应教师减负增效与课堂提质的现实需要。 全书围绕备课、课件制作、教学目标定位、教案生成、作业优化、学情分析等场景展开，介绍如何借助AI*备课、以提示词驱动备课、生成教学计划、生成备课资源与教学素材、制作教学课件、布置作业与批改、管理学生与学习评价等。书中配有提示词模板与案例演示，帮助教师把AI输出转化为可直接使用的教学资源。 本书适合小学教师、教研员、师范生及一线教育工作者阅读。
不烧钱的底气:慢时代换个流量新玩法
￥41.40
补贴、投流、推爆款获取的用户，往往随着投放预算削减而流失。市场不再高速增长，获客成本却持续攀升；用户信任早已被运营透支，平台内容又日益同质化——个人创富和企业创收还能靠什么？本书想回答的正是这个问题。它不提供"花小钱办大事”的捷径和"一招引爆流量”的秘诀，专注于揭示业务运转的底层逻辑：从商业模式验证到数据指导决策，从用户有效留存到内容持续增值，再到用AI省人、省钱、省时间的全新方法。本书紧扣真实业务场景，不讲空话也不堆概念，适合运营人、产品经理、创业者、业务负责人，以及每一个不想再花钱买流量的生意人。
周易悬象 道德悬解
￥33.60
本书为清代著名医家黄元御所著《周易悬象》和《道德悬解》的合订本。《周易悬象》和《道德悬解》为黄氏孤本，这是第一次公出版。 《周易悬象》内容概要：“易与天地准，故能弥纶天地之道。”医易相通，周易的智慧对中医的辩证思维有着深刻的影响。正如黄元御所说：“圣经渊妙以至于此，水尽山穷，别天地。”黄元御将《周易》经文重新编排，结合传统医理，并详加注解。 《道德悬解》内容概要：这是黄元御应朋友之请，又有感于《道德经》传写错讹，节次颠倒，经义宏博，阐释不清，而对《道德经》做的重新校对、编排和注解。“万物负阴以抱阳，冲气以为和。”《道德》的哲学观滋养了中医的哲学观。 学术界评价《周易悬象》《道德悬解》颇具特色，可为易、道研究的一家之说。
中医执业助理医师资格考试通关要卷
￥34.30
本书根据认证中心最新颁布的2025版执业医师资格考试大纲编写。含3套卷子及全部试题的答案，试卷完全真卷形式。经深解读大纲、剖析历年真题后根据真卷题量及学科分布设计，与真实试题相似度极高。力求给考生提供最真实的执业资格考试练习环境，供考生考前自测，使考生在备考时能够对考试的整体情况有一个更全面的认识和把握，在阶段性复习和临考前能够全面了解自身对知识的掌握情况，做到查缺补漏、有的放矢；并熟悉考分布、控制考试时间。
六字诀
￥13.93
本书尝试用通俗易懂的语言，将“六字诀”的精髓和习练方法呈现给读者。书中不仅详细阐述了每个字的呼吸方法和肢体动作，还结合科学理论对“六字诀”的健身效果行了深解读。
康复心理学
￥31.50
康复专业是20世纪中期出现的一个新的概念。康复专业与预防医学、保健医学、临床医学并称为“四大医学”，它是一门以消除和减轻人的功能障碍，弥补和重建人的功能缺失，设法改善和提高人的各方面功能的医学学科，也就是功能障碍的预防、诊断、评估、治疗、训练和处理的医学学科。康复医学主要面向慢性病人及伤残者，强调功能上的康复，而且是强调体功能康复，使患者不但在身体上，而且在心理上和精神上得到康复。它的着眼点不仅在于保存伤残者的生命，而且还要尽量恢复其功能，提高生活素质，重返社会，过有意义的生活。
