购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
元宇宙与数字资产
￥58.50
本书阐述了元宇宙与数字资产如何结合的智能经济方面的通俗读物。数字经济未来将在我国经济发展过程中发挥越来越重要的作用，如何做强做大数字经济是当前各行业都在研究的一个重大课题。本书共八章，分别从数字经济样态、数字资产的概念、特征、平台、对未来我国数字经济的趋势等方面行了较为理论和详实的阐述。同时，本书抓住元宇宙与数字资产两个热，就如何在元宇宙中保持数字资产的正向发展提供了可参考的建议。本书对发展我国数字经济发展，特别是在政策层面如何加强元宇宙与数字资产的发展具有重要的参考价值和理论价值。
AI产品经理:方法、技术与实战
￥65.35
这是一本指导AI产品真正实现商业化落地的专业技术书。书中内容完全围绕产品落地、商业化展，既提供了不同类型AI产品的落地方案，又提供了具体的方法、技巧，还提供了安防、制造、汽车等多个典型行业的应用案例。 无论是从技术或其他岗位转型AI产品经理，还是从其他方向的产品经理岗位转型AI产品经理，都可以通过本书弥补欠缺的相关知识。而对于已经门的AI产品经理，阅读本书可以了解算法、中台、业务等各类AI产品的落地方案，掌握快速、高效、高质量落地产品的方法论。 本书共包括4篇13章的内容。 篇（第1～2章）对AI产品及AI产品经理行全方位深解读，目的是让读者真正理解AI产品经理这个职位，这是做好这份工作的基础。另外，本篇还重介绍了如何成为AI产品经理和如何规划AI产品经理职业发展路径。 第二篇（第3～6章）从机器学习手，逐渐拓展到以计算机视觉、语音识别、语义理解为核心的多模态内容理解技术、行为主义的机器人学，以及AI云原生工程应用。本篇以AI产品经理实际需求为前提，用产品经理可以理解的方式展介绍，不讲与产品经理工作关联性不强的技术细节，只讲技术原理和应用方向，这些都是AI产品经理落地产品时必须掌握的。 第三篇（第7～11章）是本书的重。本篇首先介绍了通用的产品方法论，然后结合AI产业的特，深解读了算法、中台、业务三大类AI产品的落地实践。其中，关于算法和中台类产品的介绍，可帮助读者应对自动驾驶、元宇宙、企业智能、智能汽车、虚拟数字人等主流产品的落地需求；针对业务类AI产品，从城市治理、企业服务、个人服务三个维度展介绍。 第四篇（第12～13章）从赋能行业和项目实践两个维度解读AI产品高效、高质量落地的方法。其中不仅以安防、制造业、汽车为案例解读了AI产品高效落地的方法和方案，还以B/G端项目、商机项目为例，提供了可行性验证、交付等问题的解决思路。
AI视频制作爆款30例:短视频、电影*、神话创意与商业广告
￥63.69
随着AI工具的普及，基础视频制作已无门槛，但如何才能做出高颜值、高传播、高转化的爆款内容呢？本书直击创作者核心痛点，精选短视频、电影*、神话创意、商业广告四大热门赛道中的30个实战案例，涵盖抖音与视频号近期*火的“乡村治愈风”“怀旧客车”“山海经异兽”“文旅宣传广告”等爆款模板。 本书详细讲解了使用目前主流且好用的7款AI工具，即DeepSeek、即梦、可灵、豆包、Kimi、文小言、剪映进行视频制作的全过程。从生成图片提示词、以文生图、以图生图，到制作动态视频、添加背景音乐、剪辑拼接等各个环节，步骤清晰，操作易懂，即使是没有专业视频制作背景的初学者也能轻松上手，快速掌握AI视频制作的精髓。 本书附赠230多分钟的教学视频、270多条精心设计的AI提示词、130多页教学课件以及370多个素材效果文件，为读者的学习和创作提供*的支持。本书适合视频创作爱好者、自媒体从业者、影视后期初学者、数字营销人员以及广告创意人员。
24小时精通 AI Agent:快速定制你的智能体
￥53.00
本书是一本AI智能体（AI Agent）应用与发的实用手册。共分6章：认识AI Agent、各具特色的AI Agent平台、用好AI Agent的关键——提示词（Prompt）、玩转AI Agent、基于AI平台定制AI Agent、基于发工具定制企业级AI Agent。无论技术背景如何，通过本书清晰的指导和丰富的实践案例，依照书中提供的学习路径，读者都能快速掌握AI Agent基本概念和实践技巧，快速上手AI Agent。本书是智能化的读物，特别配备了名为“才兔”的专属AI Agent，可辅助读者学习阅读，增强用户体验和学习效果。
机器视觉与数字图像处理基础(OpenCV版)
￥63.69
本书介绍了机器视觉系统的概念、原理、视觉系统组成，以及数字图像处理基础。其中重点介绍了机器视觉系统的图像采集系统、视觉图像处理算法，以及机器视觉的典型应用案例。本书除了介绍相关的理论知识外，还结合具体的实际案例以及OpenCV编程，提供了明确的使用方法。书中提供的实例图像大部分来自工业应用现场。每章均配有典型习题供练习使用，以加深对内容的理解。
剪映+DeepSeek+即梦 短视频制作
￥51.07
本书是系统掌握剪映操作的实用指南。全书以剪映App为主线，兼顾剪映专业版，结合基础操作和大量案例演示，从门认知、基础功能详解到创意技法应用，最终深度整合AI工具（DeepSeek 即梦），帮助读者构建完整剪辑工作流。横向知识拓展上，大部分章节采用“基础操作 实操案例 剪映AI工具 知识拓展”的结构，确保理论与实战结合。 本书适合零基础短视频剪辑爱好者、有一定经验的阶创作者、短视频/自媒体从业者使用，也可以作为高等院校网络与新媒体、数字媒体艺术、影视摄影与制作、广播影视节目制作等相关专业的教学用书。
Windows内核编程
￥69.99
本书前身是《Windows内核安全与驱动发》，重围绕Windows操作系统的机制介绍内核安全编程技术，除了少数特殊章节，大部分内容均适用于Windows 2000至Windows 10操作系统，体系结构覆盖32位以及64位。同时本书也深浅出地介绍了汇编基础和系统内核机制。本书共分为三篇，分别从不同的角度介绍内核编程技术。第1篇面向零基础的读者，其中“内核编程环境”“内核驱动运行与调试”“内核编程基础”重介绍与内核编程相关的基本知识、发环境搭建，以及基本的编程机制。“应用与内核通信”和“64位和32位内核发差异”主要介绍应用层编程与内核编程的数据交互。*后，介绍了编程过程所需注意的事项，以及设计技巧。第2篇结合操作系统的机制，从*简单的“串口的过滤”始，介绍了“键盘的过滤”‘“磁盘的过滤”“文件系统的过滤”“Windows过滤平台”“NDIS协议驱动”“NDIS小端口驱动”，以及“NDIS中间层驱动”。覆盖了整个Windows系统的主流过滤框架，并且深剖析了文件透明加密解密的原理。第3篇侧重安全技术，重介绍了安全编程所需要使用的知识，如“IA-32汇编基础”“Windows内核挂钩”“Windows通知与回调”“保护程”，以及“代码注与防注”。本书由具有十多年终端安全发经验的从业人员编写，以简洁实用为准则，理论与实际案例相结合。适用于计算机软件安全从业人员、有一定C语言基础且对计算机安全感兴趣的爱好者。
Python编程：从入门到实践
￥44.50
本书是一本针对所有层次的Python读者而作的Python门书。全书分两部分：分介绍用Python 编程所必须了解的基本概念，包括matplotlib、NumPy和Pygal等强大的Python库和工具介绍，以及列表、字典、if语句、类、文件与异常、代码测试等内容；第二部分将理论付诸实践，讲解如何发三个项目，包括简单的Python 2D游戏发，如何利用数据生成交互式的信息图，以及创建和定制简单的Web应用，并帮读者解决常见编程问题和困惑。
STM32单片机应用与全案例实践
￥27.80
本书涵盖了基于ARM的STM32系统的基本概念、基本原理、应用技术。硬件原理的阐述以"够用、适用、易学”为原则，降低读者门和理解的难度。STM32的软件设计基于固件库，方便读者上手。 本书在内容组织和框架设计上具有两个鲜明特：全案例、基于读者学习。从读者学习的角度，组织每个章节的内容体系，对STM32常用的典型外设模块的原理及其应用设计均以若干个完整案例呈现，同时也给出了一个完整的综合性工程案例，这些都十分有利于学习者学习和模仿。 本书可作为计算机、电子、通信、机电、自动化及其相关专业的本、专科学生及研究生的教材，也可作为从事检测、自动控制等领域工作的嵌式系统发的工程技术人员的参考用书。
CAD/CAM软件应用实训教程——Pro/ENGINEER
￥5.25
本书基于“案列驱动”的编写原则，结合丰富的案例、详尽的操作过程，循序渐地介绍了基于Pro/ENGINEER Wildfire 4.0中文版软件的零件、绘图、模具设计、数控加工等模块和基本功能。 本书每个案例均包括详尽的操作步骤和图片，采用软件中真实的对话框、操作面板、按钮等行讲解，同时，本书还配有电子教学参考资料包，包括教学指南、电子教案、教学素材等。使初学者能够直观、准确地操作软件，达到“上手快，学习效率高”的目的。 本书虽然以Pro/ENGINEER Wildfire 4.0中文版为教学平台，但就软件界面和操作而言，和Pro/ENGINEER Wildfire 3.0中文版基本相同，因此也适用于Pro/ENGINEER Wildfire 3.0中文版的教学，同时也可以用于Pro/ENGINEER Wildfire 2.0中文版、Pro/ENGINEER Wildfire 5.0中文版等的教学。 本书内容丰富，适合于职业院校机械、模具、数控及相关专业的学生使用，也适合于企业初、中级技术人员的培训和学习。
微信小程序开发从入门到项目实践
￥69.30
《微信小程序发从门到项目实践》采取“基础知识→核心应用→高级应用→项目实践”的结构和“由浅深，由深到精”的学习模式行讲解。全书共13章。首先讲解微信小程序的发展历程、小程序账号注册以及项目的创建；然后通过对原生组件、视图容器组件、表单组件等小程序组件的讲解，使读者对小程序组件的使用方法等有一个初步的认识；下来行小程序API的讲解，通过对网络API、文件API、数据缓存API、媒体API等内容的介绍，使读者更加深地了解小程序，并借助这些API方便快速地实现小程序的功能；后通过实战项目，将小程序的基础知识串联起来，使读者在项目实践过程中体会小程序组件与API应用中的注意事项，并通过真实的案例帮助读者巩固基础，提高小程序组件与API使用的熟练度，快速积累发经验。另外，《微信小程序发从门到项目实践》提供上机实训指导手册、教学PPT课件和海量资源。 《微信小程序发从门到项目实践》的目的是多角度、全方位竭力帮助读者快速掌握微信小程序的发技能，构建从高校到社会的就职桥梁，让有志于从事软件发行业的读者轻松步职场。 《微信小程序发从门到项目实践》适合学习微信小程序发的初、中级程序员和希望精通小程序发技术的程序员阅读，还可供大中专院校和社会培训机构的师生阅读。
x86汇编语言:从实模式到保护模式(第2版)
￥68.60
《x86汇编语言：从实模式到保护模式》第二版修改方向1，在书的前面添加基础性的内容，用来说明汇编语言的由来和必要性，说明汇编语言编程的特，以期平滑自然地汇编语言主题。2，原书中对指令系统及x86指令格式的描述过于简略，此版增补这部分内容；3，读者普遍反映第14章太难太紧凑，此版将相关内容拆分，降低学习的难度；4，整个保护模式部分以现在的观来看，内容组织不够合理，予以重新组织，配书代码重新编写和组织；5，原书中有模糊的错误的表述，此版予以更正。
PPT影响力 逻辑思维·设计技法·演讲表达
￥69.30
《PPT影响力 : 逻辑思维?设计技法?演讲表达》致力于*提升读者的 PPT 逻辑、设计与演讲表达的综合能力。 《PPT影响力 : 逻辑思维?设计技法?演讲表达》共 5 章，第 1 章主要讲解 Microsoft PowerPoint 2019 和 WPS Office 2019 的特色功能；第 2 章主要讲解如何提升 PPT 的制作效率；第 3 章主要从图文设计、图表配色、设计排版等方面进行讲解；第 4 章主要讲解如何形成结构性思维的习惯，让 PPT 的内容更有逻辑性；第 5 章结合职场常见演讲需求，*提升读者的演讲表达能力。通过学习写 PPT（逻辑）、做 PPT（设计）、讲 PPT（表达）的全流程，读者可系统性地提升PPT 制作和表达综合能力。 不管是刚刚接触 PPT 的新手，还是经常制作 PPT 的老手，抑或是经常使用 PPT 演讲的职场人，都能在本书中得到启发和收获。
产品结构设计实例教程：入门、提高、精通、求职(不提供光盘内容)
￥39.70
本书是壹比特科技数字货币研究团队倾力编写的一本关于数字货币白皮书，书中详细阐述了包括比特币在内的各种数字货币的技术和机理，其中关于比特币的数据报告为全球首发，对数字货币研究人员、玩家及爱好者具有极大的指导作用。
Linux系统管理
￥13.85
《Linux系统管理（适用于Linux认证）》（何明编著）是一本Linux的入门教材，也可作为Oracle Linux认证入门教材。该书使用生动而简单的生活实例来解释复杂的计算机和Linux操作系统概念，尽量 少使用计算机的例子，读者可以在没有任何计算机专业知识的情况下阅读此书。《Linux系统管理（适用于Linux认证）》覆盖了Oracle公司官方教程1Z0-402和1Z0-403（Red Hat公司官方教程RH033和RH133）的几乎全部内容，每一章都附有大量完整的例子，而且这些例子都经不同Linux操作系统测试，并且都可在RHEL 4或RHEL 5上运行。读者可以通过在Linux系统上运行这些例子来加深对Linux操作系统的理解。为了适应教学需求，该书在每一章的结尾都附有一些多项选择练习题。这些习题可以帮助读者从不同的视角来理解书中所介绍的内容。为了帮助授课老师和那些想要深入了解Linux操作系统的读者，与该书 配套出版了一本补充教材，其中不但包括本书的全部习题，还增加了更多的补充习题，而且每一道习题和补充习题都附有答案和详细的解题过程。
嵌入式C语言自我修养——从芯片、编译器到操作系统
￥58.50
这是一本专门为嵌式读者造的C语言阶学习图书。本书的学习重不再是C语言的基本语法，而是和嵌式、C语言相关的一系列知识。作者以C语言为切，分别探讨了嵌式发所需要的诸多核心理论和技能，力图帮助读者从零搭建嵌式发所需要的完整知识体系和技能树。本书从底层CPU的制造流程和工作原理始讲起，到计算机体系结构，C程序的反汇编分析，程序的编译、运行和重定位，程序运行时的堆栈内存动态变化，GNU C编译器的扩展语法，指针的灵活使用，C语言的面向对象编程思想，C语言的模块化编程思想，C语言的多任务编程思想，程、线程和协程的概念，从底层到上层，从芯片、硬件到软件、框架，几乎涵盖了嵌式发的所有知识。
剪映:短、中、长视频剪辑全攻略(手机版+电脑版)
￥48.86
《剪映：短、中、长视频剪辑全攻略（手机版 电脑版）》一书不仅介绍了如何用剪映手机版剪辑短视频，同时也介绍了剪映专业版，教你如何用电脑处理中、长视频。 本书具体内容主要分为以下三篇。 基础与核心技能篇：介绍剪映基础的知识与核心的功能，适合所有视频剪辑初学者。 手机短视频案例篇：全部以案例为主，介绍抖音爆款效果制作的方法，如卡视频和热门视频等。 电脑中长视频处理篇：以中、长视频实例为主，介绍中型、大型案例的视频制作方法。 本书案例居多，并且集锦了很多热门视频，从手机版到电脑版的各种短、中、长视频的制作方法一应俱全，因此本书既适合剪映手机版读者，也适合剪映电脑版读者，还适合短视频爱好者、自媒体运营者和从事视频相关工作的读者，另外，还可以作为学校教材使用。本书除了纸质内容之外，随书资源包中还给出了书中案例的教学视频、效果文件和素材文件。读者可扫描书中二维码及封底的“文泉云盘”二维码，手机在线观看学习并下载素材文件。
Rust游戏开发实战
￥63.87
本书主要介绍基于Rust语言发游戏的方法，还介绍了适用于Unity、Unreal等游戏引擎的技巧。 本书先设置发环境，然后引导读者制作自己的Flappy Bird，借实例讲解Rust语言的基础知识。全书引导读者逐步完成一个《地下城爬行者》（Dungeon Crawler）游戏项目，通过实战帮助读者掌握Rust的相关知识，掌握用Bevy发游戏的方法，以及在不影响程序调试的情况下运行游戏系统，对所发的游戏行优化。 本书适合所有对Rust语言感兴趣的读者阅读，也适合从事游戏发的读者参考。
大模型实战:微调、优化与私有化部署
￥69.30
人工智能已在多个行业得到成功应用，大模型的应用已成为突破性展的重要驱动力，而在特定垂直领域，如医疗、法律、金融等，大模型微调面临独特的挑战和需求。本书致力于大型语言模型微调与应用的关键技术，本书探讨两个热门应用方向：大模型的知识专业性和时效性。本书剖析了垂直领域大模型训练的背景及意义，探讨大模型在垂直领域的迁移学习、应用部署与效果评估等核心内容，结合实际案例，深浅出地解析了每个环节的关键问题和解决方案，引领读者了解行业内最新研究成果与发展趋势，方便读者快捷地嫁到各个行业。
DeepSeek+爆款短视频一本通:流量时代的AI生产力
￥45.00
中国短视频用户规模已突破10亿，每人平均每天刷视频超过2小时。作为数字时代的产物，短视频既满足了用户的个性化需求，也给很多人带来了新的机会与可能。DeepSeek就像一把万能钥匙，串连起文案生成、视觉设计、视频制作的完整路，让爆款视频的诞生从碰运气变为可复制的工作流。 本书分为三个篇章，以国内头部MCN机构实战经验为根基，介绍DeepSeek短视频制作全路。第一篇章介绍DeepSeek短视频制作的全流程，拆解6大应用场景下爆款文案的AI生成方法论，突破AI绘图技术瓶颈，实现“文字—图片—视频”的零门槛生产，将制作效率提升为过去的数倍；第二篇章深度拆解AI科普、AI教育、AI商业等类别的行业标杆案例，手把手还原爆款视频诞生过程；第三篇章破解5大视频平台的流量密码，多平台“通吃”的大门，同时提供11种创新路径，提高创作者变现效率，助力从业者大幅提升GMV。无论你是创作新手还是专业人士，都能通过本书掌握“AI编剧 智能导演 数据运营”三位一体的创作体系，构建从内容生产到商业变现的完整闭环，启短视频创作的新可能。
