购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
DeepSeek大合集（套装8册）
￥149.99
《DeepSeek大合集》（套装八册）全方位解锁DeepSeek的无限可能。这套书覆盖效率提升、创意激发、内容创作、职场赋能、家庭教育、趣味问答、实操技巧及变现指南等多元领域。无论是渴望提升工作效率、寻找创意灵感，还是想借DeepSeek开启创作事业、探索学习力培养，亦或是单纯好奇它的趣味应用与赚钱门道，都能在这套合集中找到答案，助你深度挖掘DeepSeek潜力，拥抱AI驱动的未来生活。
奇点临近(精装版)
￥77.00
人工智能作为21世纪科技发展的最新成就，深刻揭示了科技发展为人类社会带来的巨大影响。本书结合求解智能问题的数据结构以及实现的算法，把人工智能的应用程序应用于实际环境中，并从社会和哲学、心理学以及神经生理学角度对人工智能行了独特的讨论。本书提供了一个崭新的视角，展示了以人工智能为代表的科技现象作为一种“奇”思潮，揭示了其在世界范围内所产生的广泛影响。本书全书分为以下几大部分：第一部分人工智能，第二部分问题延伸，第三部分拓展人类思维，第四部分推理，第五部分通信、感知与行动，第六部分结论。本书既详细介绍了人工智能的基本概念、思想和算法，还描述了其各个研究方向最前沿的展，同时收集整理了详实的历史文献与事件。
你的智能创作助手:用AI快速生成高质量图片、音乐、视频
￥41.00
本书是一本实用的AI辅助生成内容的操作指南，系统全面地介绍了如何选用各类AI工具高效完成多媒体创作。 全书共7章：AI创作时代已来、拥有你的智能创作助手——AI工具的选择、掌握与AI创作助手沟通的技巧—— 提示词、使用AI工具快速生成图片、使用AI工具轻松创作音乐、使用AI工具生成高质量视频、使用AI工具高效 剪辑视频。其中第2～7章是本书的核心内容，深浅出地展示了AI提示词技巧与应用，以及AI工具的强大功能， 并结合实际案例，提供了大量实用的技巧和方法，帮助读者轻松应对多媒体创作中的各种挑战。 无论是希望提升个人创作能力的职场新人、寻求效率与创新的专业人士、媒体工作从业人员，还是相关培训机 构，本书都将成为您的得力助手。通过本书，您不仅能够掌握当前流行的AI工具，还将获得应对未来技术发展 的思维方式和操作技巧，真正将AI融日常工作和创作之中。
大学生AI实践指南:豆包+千问+DeepSeek+Kimi+夸克五合一实操手册
￥41.00
这是一本手把手教大学生正确使用AI工具，提升学习效率、科研能力和求职竞争力的全场景实战指南。书中系统讲解了AI基础认知、五大主流工具的使用方法和提示词编写技巧，系统拆解了学习、科研、考研、求职、职场五大核心应用场景的完整路径，能帮助读者把AI真正变成可复用的生产力。 阅读本书，你将学会用AI轻松解决以下问题： (1)学习效率总上不去？课前预习要点提炼、课堂笔记智能整理、难题分步解析、考点分析、预测题生成、练习题自动批改……11大学习利器，从日常学习到考试复习，A全程护航。 (2)科研写作卡壳发愁？研究方向选择、文献梳理、论文大纲构思、内容润色提升、PPT与演讲稿制作一5大科研环节，从选题到答辩，AI陪你走完全程。 (3)考研准备无头绪？院校专业选择、制订复习计划、调节复习心态、预测考试题目一4大考研场景，从学习规划到心态调整，AI为你*服务。 (4)求职面试屡屡碰壁？职业规划细化、求职计划制订、岗位精准筛选、简历优化、笔试题库搜索、模拟面试问答……12大求职模块，帮你从容应对复杂就业环境。 (5)职场新人手足无措？新媒体文稿写作、活动方案撰写、数据分析与可视化、会议纪要自动生成、报告阅读辅助……16大职场技能，让你入职即上手。 每个章节都采用“优势分析—操作步骤—*佳实践”的呈现方式，把复杂的AI能力拆解为简单易懂的操作流程，拒绝空洞理论，只用真实场景让你一看就会。行文风格实用接地气，聚焦大学生的日常痛点，用清晰指引帮你节省时间、提升效率，即便没有技术背景，跟着做就能立刻上手，真正实现即学即用。 如果你不想在AI时代继续用时间硬扛产出，用越来越长的学习时长换越来越不确定的结果，那就翻开这本书。本书给你的不是灵感，而是一条更短的路径；让AI去操心重复劳动，让你把精力留给真正重要的思考与创造。
现代CPU设计
￥59.00
本书以CPU设计为主线，系统贯通讲解其基本理论与实现技术，整体逻辑按照“设计方法学－设计实现技术－性能评估分析”三部分组织，其中的设计实现技术作为主体部分按照先指令架构、后硬件结构，先单核、后多核的顺序递进展开。内容涵盖计算机系统的基本组成及其工作过程、指令系统结构、CPU流水线设计、处理器前端和后端、存储子系统、多核处理器、片上互连系统设计，以及处理器性能量化分析和评估。本书主要面向计算机专业的学生、从事CPU设计与研发的工程师以及对计算机技术感兴趣的研究人员。
大模型驱动的云原生可观测性
￥77.00
内容简介 这是一部系统讲解如何将大模型技术应用于云原生可观测性领域的实战指南。它为读者构建了智能可观测性的完整知识图谱，能为研发团队与技术决策者提供从方法论到工程落地的完整路径，从而将数据转化为洞察，将被动响应转化为主动决策。 全书共11章，分为四个部分。 *部分（第1、2章）：剖析云原生时代运维的根本挑战，首次提出将大模型作为应对这些挑战的新范式，涵盖可观测性基础知识、大模型核心特征与能力边界。 第二部分（第3~7章）：深入解析大模型与可观测性的核心技术体系，包括大模型生态框架、应用部署工具链、云原生可观测三大支柱（日志/指标/追踪）、OpenTelemetry/eBPF关键技术，以及GPT/DeepSeek/Llama等国内外主流大模型的架构设计与*佳实践。 第三部分（第8、9章）：详细阐述大模型与可观测性技术融合的机制和创新点，提供从数据处理到智能决策的完整技术路径。围绕OpenTelemetry剖析其在大模型可观测性中的演进，深度解析大模型与云原生架构的深度融合机制、与可观测性生态的交互模式，以及与AIOps的深度融合范式。 第四部分（第10、11章）：聚焦工程化落地，系统回答“如何落地”。通过某AI平台智能日志分析与自然语言查询实践、某证券公司Agent及智算可观测性建设实践两大真实案例，详细展示从架构设计到实战部署的可借鉴、可复用、可扩展路径。
中老年人AI使用指南:豆包+千问+DeepSeek+即梦+剪映五合一实操手册
￥41.00
这是一本手把手教中老年人正确使用AI工具，提升生活便利性、丰富精神生活和守护健康的全场景实战指南。书中详细讲解了AI基础认知、五大主流工具的使用方法和提示词编写技巧，系统拆解了出行、旅游、娱乐、社交、情感、沟通、健康、养生、拍照、修图、视频制作与剪辑等12大AI应用场景的完整路径，能帮助读者把AI真正变成可复用的生活助手。 阅读本书，您将学会用AI轻松解决以下问题： （1）出门总是不方便？AI帮您查询规划出行路线、制定旅游攻略、寻找酒店餐厅、提供应急协助——让每一次出门都省心、安全、有条理。 （2）生活有点单调？AI推荐音乐影视、提升社交体验、辅助培养兴趣爱好、丰富健身活动、辅助学习阅读、记录人生故事——让每一天都过得有滋有味。 （3）平常想找人聊聊心事？AI提供情感陪伴、辅助家庭沟通交流、给予心理支持——让科技有温度，让独居不孤独。 （4）健康管理总没头绪？AI分析健康数据、定制健康管理方案、辅助看病问诊、记录健康生活日志——让科学养护身体成为日常习惯。 （5）想拍出好看的照片但不会？AI辅助拍照构图、修图美颜、添加文字*、智能识图、创作写真照——让每一张照片都值得珍藏。 （6）想记录生活却不会做视频？AI剪辑视频、自动添加字幕与配音、添加滤镜*、用照片生成视频——几分钟就能做出温暖的家庭影像。 每个章节都采用“优势分析—操作步骤—*佳实践”的呈现方式，把复杂的AI能力拆解为简单易懂的操作流程，拒绝空洞理论，只用真实场景，让您一看就会。行文风格温暖接地气，聚焦中老年人的日常痛点，用清晰指引帮您节省时间、提升效率，即便没有技术背景，跟着做就能立刻上手。如果您不想在智能时代继续用“人找知识”的笨办法过活，那就翻开这本书。本书给您的不是“高科技”，而是一条更短的路径：让AI去操心重复劳动，让您把精力留给真正重要的生活与情感。
Seedance实战指南:AI视频创作与变现完全手册
￥41.00
内容简介 这是一本手把手教我们用即梦和Seedance完成AI视频从创意构思到商业变现的完整实战指南，为我们系统拆解了从AI视频语言认知、提示词精准控制、标准化制作流程，到7大高频场景实战、持续创作体系构建与多路径商业变现的完整闭环，能帮助我们把AI视频生成工具真正变成可复用的生产力，获得可持续的现金流。 阅读本书，你将学会用即梦和Seedance轻松解决以下问题： 想创作AI视频却总是生成效果不可控?从视频语言与AI生成原理出发，系统掌握提示词精准控制方法:景别选择、视角切换、镜头运动设计、画面参数设定、风格质感控制、连续生成衔接，让AI视频输出从“抽卡”变成“可控”。 想用AI视频做商业内容却不知道怎么做?漫剧、品牌广告、产品广告、MV、电影短片、真人短剧、抖音短视频7大高频场景，每类均按“创意设计一脚本分镜一生成视频一剪辑成片”的统一流程完整拆解，从创意构思到成片输出全流程覆盖，方法可直接套用、快速迁移。 想持续输出内容却担心效率太低、质量不稳?创作方向选择、视觉风格建立、批量创作实现方案，从“核心系列+延展系列+实验内容”的三层内容生产架构到提示词模板化与镜头语法标准化，帮你建立可持续的内容生产系统，放大产能而不稀释质量。 想用AI视频赚钱却不知道有哪些变现路径?平台分账、商单变现、IP授权、矩阵运营、能力产品化等多条可执行路线，援引2025年AI漫剧供给增长76倍、市场规模近190亿元的行业数据，用《斩仙台AI真人版》6天破亿、单部保底360万元等真实案例，告诉你如何把创作能力升级为稳定现金流。 全书把复杂的AI视频创作拆解为简单易懂的操作流程，拒绝碎片化技巧堆砌，只用结构化方法和真实场景，让你一看就会。行文风格实用接地气，聚焦你的创作痛点与变现需求，用清晰指引帮你节省时间、提升效率，即便你没有视频制作背景，跟着做就能立刻上手用起来，真正实现即学即用。 如果你不想在AI时代继续用昂贵的设备和团队换不确定的产出，那就翻开这本书。本书给你的不是“灵感”，而是一条更短的路径：用结构去控制，用创意去变现。
OpenClaw时代的OPC:一人公司从0到1方法论
￥59.00
本书是一部系统研究AI时代OPC这一新型商业组织形态的著作。它既是一部关于AI时代组织进化的认知之书，也是一部关于超级个体如何完成系统化跃迁的实践手册。本书试图回应我们这个时代的核心命题：随着大模型、AI Agent、自动化工作流与数字基础设施日益成熟，当技术把过去属于公司的能力重新交还给个体时，我们是否已经准备好像经营一家公司那样重新经营自己。
新智:从工业革命走向全业革命
￥59.00
作者将新一代AI技术置于工业文明的延长线上，揭示其作为“时代级通用技术”——如蒸汽机、电力和计算机——如何驱动生产方式、社会结构乃至人类认知范式的重塑。书中既有对新范式、新生态、新AI等前沿话题的热点追踪，也有对新工软、新工网、新智机等技术逻辑的冷静剖析，更饱含对人类命运的深切关怀。本书既是一部产业变革的观察记录，也是一场关于文明走向的思想对话，为身处变革洪流的读者呈现一份兼具理性深度与人文温度的价值坐标。
开放数据时代
￥47.40
过去二十年来，数据已成为创新*重要的原材料。而Meta(原脸书）、亚马逊、谷歌等大型科技企业却垄断性地将*重要的数据集中存储在自有服务器上，囤积数据以*大化股东利益，但此举却损害了消费者利益、拖累了经济进步乃至侵蚀了整个社会的利益，从而阻碍了创新与进步。本书指出，我们有义务推动这些信息巨头开放其海量数据宝库，实现数据普惠可及。 一旦打破科技企业的数据垄断，让全体市场主体平等共享数字时代的数据资源，公平的市场竞争格局便会成型，数字创新将持续涌现，*终实现全民共赢。
Creo9.0从入门到精通(实战案例视频版)
￥70.84
本书从实际应用出发，全面系统地介绍Creo软件在机械设计及产品设计方面的实际应用，主要包括二维草图设计、零件设计、柔性建模、装配设计、工程图、曲面设计、自顶向下设计等功能模块。本书列举了大量操作实例，融合了数字化设计理论、原则及经验，同时配套视频课程讲解，能够帮助读者快速掌握Creo软件操作技能，并深刻理解设计思路和方法，从而在实际应用中能够真正实现举一反三、灵活应用。对于有一定基础的读者，本书也能使其在技能技巧和设计水平上得到一定提升。本书提供了丰富的学习资源，包括视频精讲 素材源文件 手机扫码看视频 读者交流群 专家答疑等。本书内容全面，实例丰富，可操作性强，可作为广大工程技术人员的Creo自学教材和参考书籍，也可供机械设计相关专业师生学习使用。
第五维度:AI时代如何生存,成为不可替代的人
￥48.30
我们正处在一个规则不断被改写的时代。当 AI 把许多人的能力同时抬到 80 分时，80 分就成了新的零分。这本书想用尽量朴素的大白话，从AI技术的底层原理的角度，和你一起搞清楚三件事：AI 背后究竟是怎么运作的？大语言模型的底层技术原理是怎样的？当很多工作，AI 都能比我们做得更好的时候，从技术的角度分析还有什么是它做不了的？我们又该怎样借助 AI技术，让自己在这个时代更好地生存，成为不可替代的人？全书从"连接”和"延迟”讲起，解释信息是怎样进入我们的生活的。接着讨论数据的核心矛盾：数据看起来像油田一样丰富，但不能被使用的数据，往往不是资产，而是负债。我们追求数据的完备和深度，而非一味的"大”，特别是要抓住稍纵即逝的异常。书里会带你识别数据的种种骗术，理解数据如何被使用而不被泄漏，保护我们的隐私。大语言模型（LLM）看起来像魔法，底层原理却并不神秘：它只是不断根据前面的"词”预测下一个"词”。AI *擅长回答的是标准答案，*不擅长处理的是那些罕见的数据；对模型是这样，对人也是一样。
大语言模型原理、训练及应用——基于GPT
￥59.00
在人工智能和机器学习的领域内，语言模型正以前所未有的速度推科技发展的边界。尤其是大型语言模型（LLM）这一细分领域，在理论研究与应用实践之间取得了显著飞越。《LLM大语言模型原理及应用——基于GPT》这本书由三位拥有丰富云计算、AI背景，并且在发及运用OpenAI等先AI系统中处于前沿地带的资深专家精心撰写。全书共7章，内容涵盖从基础概念介绍到复杂系统编排、再到具体行业应用发等多个层面。本书详尽阐述了LLM 的起源、定义及其与传统深度学习方法间关键差异；依次深主流训练框架探讨如何为LLM提供动力，并透露了优化策略以及高效建立算力基础设施所要考虑的因素。不仅如此，作者们还特别注重将抽象理论同现实企业场景相结合，指出GPT 这类模型是如何融日常商务活动中，并通过Copilot 提升生产效率；同时展示插件发案例和敏锐洞察能够助力完成客户服务自动化转换。《实战大语言模型（LLM）——基于GPT的、应用发》对任何愿意走或者已经身处人工智能新纪元里想要更加紧密拥抱AI 技术趋势人士都十分宝贵；它不仅仅是通向知识汪洋海洋般庞杂信息线路图，而且也像一束照亮漫长旅程必需灯塔引导读者遨游于数据泛滥时代浩荡波涛上安然无恙航行。
集成式机器学习算法理论与应用
￥64.34
本书全面系统地介绍了集成式机器学习的核心理论及其在现实中的实际应用。全书内容不仅详细讲解了集成式机器学习的基本概念，以及结合多个模型的预测来提升整体性能的集成方法，而且辅以丰富的实战案例和代码实现，深探讨了它们在分类、回归、异常检测等任务中的应用效果；通过理论讲解与实际案例相结合，帮助读者深理解集成式机器学习的关键技术，并能够将这些技术应用于实际问题中。本书每章内容都经过精心设计，既包括对基本概念的系统讲解，又涵盖了最新的研究成果和发展趋势。本书适合从事人工智能、机器学习相关研究与应用的工程技术人员阅读，也可作为人工智能等相关专业师生的参考书。
玩转剪映:短视频剪辑就这么简单
￥54.00
本书基于剪映App（移动端）和剪映专业版（PC端）编写而成，结合了抖音、快手等平台的热门短视频类型，如假期旅行、美食探店、校园回忆等，帮助读者快速掌握热门短视频的制作方法以及短视频制作的完整流程与技巧。 全书分3篇，共10章。第1~3章为基础篇，详细介绍了剪映App和剪映专业版的基本操作与技巧，循序渐地讲解了剪映的工作界面和基础功能应用，以及视频素材剪辑、添加与处理音频等内容。第4~6章为App篇，详细介绍了使用剪映App为视频添加并编辑字幕、制作转场及特效等方法，并结合第6章的综合案例，对前面所学的内容行了汇总。第7~10章为专业版篇，介绍了使用剪映专业版对视频行调色、卡、变速、抠像、合成等操作，其中的第10章是对前面所学内容的汇总，帮助读者使用剪映专业版制作不同类型的短视频。 全书采用“案例讲解 实操练习”的教学方法，应用案例步骤详细、简单易懂，并在有拓展练习的章节介绍制作要并展示最终效果，使读者能够快速掌握视频剪辑的技巧，从新手快速成长为视频后期处理的高手。同时，随书附赠教学视频（扫码观看）、案例素材和效果文件，以及电子课件等海量学习资源。本书适合广告剪辑爱好者、自媒体运营人员、新媒体平台工作者、短视频创作者以及自媒体新手等人群阅读。
ANSYS Fluent流体计算从入门到精通(2024中文版) 第2版
￥65.00
ANSYS Fluent软件是目前国际上主流的商业CFD软件，只要涉及流体、热传递及化学反应等工程问题，都可以用该软件行求解。本书通过大量实例系统地介绍了Fluent 2024的使用方法。 全书共12章，首先讲解了计算流体力学的基础理论与Fluent的基本情况，随后针对Fluent可以解决的流体仿真问题，包括稳态模拟、瞬态模拟、内部流动、外部流动、离散相模拟、传热流动、多孔介质和气动噪声、动网格模拟、滑移网格模拟、理想气体模拟、多相流分析等行应用分析，同时均辅以案例，从几何建模到网格划分，再到计算求解，最后到结果后处理的整个分析过程展了详细讲解，通过利用Fluent行流体模拟计算的每一步骤，帮助读者掌握使用Fluent软件的工作流程和计算方法。 本书结构严谨、条理清晰、重突出，提供了教学视频、案例文件和授课用PPT等学习资源，非常适合广大Fluent的初中级读者学习使用，也可以作为大中专院校相关专业、培训机构流体计算方面的教材，同时还可以作为工程技术人员的参考用书。
MySQL 8.0 实用手册: 性能优化、架构设计、运维管理、应用开发与云数据库建设
￥83.00
本书是一本面向广大DBA（数据库管理员）的MySQL数据库实用手册，分为10章，分别介绍了MySQL的基础知识和安装部署，体系架构特性，功能架构特性，升级与迁移，性能优化，运维管理，故障分析，安全管理，架构设计与应用发，以及云数据库建设等内容，让读者对MySQL 8.0 数据库管理和运维更加得心应手。 本书的目标读者包括：数据库架构师、运维管理人员、发人员，以及对相关技术感兴趣的人。非专业技术人员也可以从本书中了解MySQL 8.0 的技术特性，加深对数据库行业的了解。
三维重建技术与实践:基于NeRF与3DGS
￥59.00
本书旨在为读者架起一座从三维视觉理论通往神经渲染实战的桥梁。面对NeRF与3DGS技术陡峭的学习曲线，本书坚持“原理深度”与“工程落地”并重，不仅系统解析了从多视图几何到神经隐式表示的演进逻辑，更通过丰富的代码注解与可视化案例，将复杂的数学推导转化为可操作的工程实践。无论你是希望深入理解体渲染奥秘的算法研究员，还是致力于优化重建流程的开发工程师，都能在本书中找到从入门到进阶的完整路径。全书共分为8章。第1章综览三维重建技术全景，奠定NeRF与3DGS的理论基石。第2章与第3章夯实数学与渲染基础，详解坐标变换、投影映射与体渲染流水线。第4章与第5章深入NeRF核心，从源码层面剖析位置编码、分层采样，并通过NerfStudio平台演示模型训练与调试的完整闭环。第6章聚焦3DGS技术，详细解读三维高斯表示、快速可微光栅化及密度控制策略。第7章拓展至产业应用，介绍三维模型提取、Blender插件开发与交互渲染技巧。第8章则着眼于性能瓶颈，探讨跨平台加速与优化策略，助力模型*部署。
框架语义分析:理论、方法与实践
￥51.86
《框架语义分析：理论、方法与实践》系统阐述了框架语义分析的核心理论与前沿方法，聚焦自然语言处理中语义理解的关键技术，内容涵盖从传统知识指导的框架识别到基于大语言模型的创新方法，深入探讨了关系建模、区域检测和标记注意力等特色模型，凸显了多技术融合与可解释性优势。通过系统化实验验证与案例分析，本书为语义角色标注、信息抽取等任务提供了实用解决方案，兼具理论深度与实践价值。 本书适合自然语言处理研究者、高校师生及工业界研发人员阅读学习。
