购物车
个人中心
芯片形式化验证原理、方法与实战
￥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操作系统的读者，与该书 配套出版了一本补充教材，其中不但包括本书的全部习题，还增加了更多的补充习题，而且每一道习题和补充习题都附有答案和详细的解题过程。
全栈应用开发：精益实践
￥19.99
这不是一本深前端、后台、运维、设计、分析等各个领域的书籍。本书以实践的方式，将这一系列的领域及理论知识结合到一起，来帮助读者构建全栈Web 发的知识体系，并辅以精益及敏捷的思想，来一步步发Web 应用：从创建一个UI 原型到编写出静态的前端页面；从静态的前端页面到带后台的应用，并部署应用；从Web 后台发API 到发移动Web 应用。 在这个过程中，我们还将介绍一些相辅相成的步骤：使用构建系统来加速Web 应用的发；为应用添加数据分析工具来改产品；使用分析工具来改善应用的性能；通过自动化部署来加快上线流程；从而帮助读者发出一个真正可用的全栈 Web 应用。同时，我们也将帮助读者把这些步骤应用到现有的系统上，改现有系统的发流程。
Excel疑难妙解：函数版
￥29.90
《Excel疑难妙解（函数版）》都来自于笔者个人的经验、经历和观，因此在本书中笔者选择用自己的话来讲述笔者以及很多网友关于Excel函数公式方面遇到的实际问题。笔者力图以轻松、自然的语言和案例使行文简洁易读，减少读者对专业知识的理解难度，增加读者学习的兴趣和热情。全书共包括四篇，各篇内容按照读者学习流程循序渐、环环相扣。《Excel疑难妙解（函数版）》适用于各类需要使用Excel函数和公式高效办公的职场人士，包括： 经常需要处理大量数据的专业数据分析人士，如市场、销售、财务、人力资源等方面的分析人员；各类市场研究人员、金融研究人员、管理顾问等专业人士；希望能高效、快速解决工作表格数据的办公室白领人士；为职场作准备的学生朋友。
树莓派开始，玩转Linux
￥13.80
本书以树莓派基础工具，讲解Linux操作系统。树莓派是近年来流行的微型电脑，能用于各种有趣的硬件开发。树莓派中安装了Linux系统，可以充当操作系统的学习平台。本书按照“树莓派背景知识――树莓派使用――Linux使用――操作系统原理――实操项目”的顺序展开。读者不仅能体验到玩树莓派的乐趣，而且能全面了解操作系统的核心概念和原理。
催眠二十八讲(盗梦的真相)
￥14.99
本书详尽地介绍了催眠术的发展情况，以及其具体的应用。在医学及心理学领域，催眠是比较神秘的一个学科。在近现代医学及心理学发展起来之前，一直被蒙上巫术的阴影，而为世人所不理解。随着医学及心理学的发展，人们慢慢了解到人类潜意识的存在，以及它对人心理活动、行为等方面的巨大能动性，从而使催眠术慢慢成为心理诱导、心理治疗等方面的一种临床技术。 本书通过二十八讲，阐述了催眠术及催眠状态的特，如何行催眠，如何成为一名实施催眠的心理治疗师，以及催眠的作用及风险，使一般读者能够对这一心理治疗技术有所了解。
神经网络与深度学习
￥14.75
随着大数据和人工智能的发展，深度学习成为时下关注的技术热。本选题旨在以浅显易懂的方式介绍深度学习的基本理念和技术架构，帮助从事相关工作的人们对深度学习有一个基本全面的认识。包括对神经网络基本原理的介绍、如何构建一个*基础的神经网络模型、深度学习是什么、怎么用？如何用深度学习来解决问题。
