购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
STM32单片机应用与全案例实践
￥27.80
本书涵盖了基于ARM的STM32系统的基本概念、基本原理、应用技术。硬件原理的阐述以"够用、适用、易学”为原则，降低读者门和理解的难度。STM32的软件设计基于固件库，方便读者上手。 本书在内容组织和框架设计上具有两个鲜明特：全案例、基于读者学习。从读者学习的角度，组织每个章节的内容体系，对STM32常用的典型外设模块的原理及其应用设计均以若干个完整案例呈现，同时也给出了一个完整的综合性工程案例，这些都十分有利于学习者学习和模仿。 本书可作为计算机、电子、通信、机电、自动化及其相关专业的本、专科学生及研究生的教材，也可作为从事检测、自动控制等领域工作的嵌式系统发的工程技术人员的参考用书。
AI绘画大师:Stable Diffusion快速入门与实战技巧
￥65.00
本书共9章，利用易学易用的Stable Diffusion为绘画设计从业者和爱好者提高生产力。一方面，提供350幅实操图解，一步步拆解，让读者掌握到不同需求时如何使用Stable Diffusion出图。另一方面，提供游戏、电商、插画、建筑行业和头像设计等副业领域的实操案例与技巧，满足游戏角色、原画、图标、商品展示图、插画、室内设计和建筑设计的出图需求。结合18个主业和副业场景，提高生产力，实现AI商业化。
零基础学SQL(升级版)
￥69.30
《零基础学 SQL》（升级版）从实用角度出发，由浅入深地讲解了 SQL 的基本概念、常用语法和操作技术。全书共 24 章，内容涉及 SQL 语言概述、简单查询、计算列查询、条件查询、范围查询、数据过滤、数据格式化、模糊查询、数据排序、统计分析、分组统计等知识点，还讲解子查询、多表连接、数据的增删改查、视图、存储过程、游标、事务处理、数据库管理及数据表管理等高级技术。全书包含 200 多个 SQL 语法及应用示例，有很强的实用性和可操作性，既适合作为 SQL 初学者的学习用书，又适合作为程序开发人员和数据库管理人员随时查阅的参考工具书。 为了方便读者理解 SQL 语法，书中的知识点和语法结合具体示例进行讲解，并以对比图的方式鲜明直观地展示数据变化，帮助读者快速掌握实际操作技巧，学以致用。书中还设置了“注意”“说明”“常见错误”等贴心栏目，及时指出注意事项并给出相应的解决方案，帮助读者避开学习陷阱，*提升应用技能。
高级算法和数据结构
￥95.87
这是一本关于“高级/阶”算法和数据结构的图书，主要介绍了用于Web应用程序、系统编程和数据处理领域的各种算法，旨在让读者了解如何用这些算法应对各种棘手的编码挑战，以及如何将其应用于具体问题，以应对新技术浪潮下的“棘手”问题。 本书对一些广为人知的基本算法行了扩展，还介绍了用于改善优先队列、有效缓存、对数据行集群等的技术，以期读者能针对不同编程问题选出更好的解决方案。书中示例大多辅以图解，并以不囿于特定语言的伪代码以及多种语言的代码样本加以闸释。 学完本书，读者可以了解高级算法和数据结构的相关内容，并能运用这些知识让代码具备更优性能，甚至能够独立设计数据结构，应对需要自定义解决方案的情况。 本书可作为高等院校计算机相关专业本科高年级学生以及研究生的学习用书，也可供从事与算法相关工作的发者参考。
Python游戏开发从入门到进阶实战
￥63.69
《Python 游戏发从门到阶实战》全面介绍了使用Pygame 模块行Python 游戏发的知识，可帮助读者快速掌握Python Pygame 发的技能。全书共15章， 分为基础篇和案例篇。其中基础篇介绍了Python和Pygame基础、Pygame 程序发流程、Pygame 游戏发基础、字体和文字、事件监听、图形绘制、位图图形、精灵的使用、音频处理等内容；案例篇主要是Flappy Bird、玛丽冒险、推箱子、飞机大战、智力拼图、画图工具的设计过程与代码实现。为了营造轻松的学习体验，在内容设置上，我们将Python 游戏发相关知识行分解，融不同案例中，以减轻初学者的学习压力，同时实现快速上手。本书不仅适合对游戏发感兴趣的初学者学习使用，还适合初中级游戏发人员以及游戏测试、运维人员参考。
AI写作技巧从入门到精通:AI提问生成+AI职场公文+AI修改润色+AI热门模板+AI应用案例
￥64.34
全书通过140个实用技巧讲解＋140集教学视频演示＋170多个素材和回复文件＋178页PPT教学课件，通过“提问生成＋职场公文+修改润色＋热门模板+应用案例”5大专项内容，帮助小白快速成为AI写作高手！ 本书具体内容包括：16种AI提问技巧、13种指令优化技巧、11种*提问技巧、7种公文格式规范、8种AI公文写作的方法、7种运用AI润色公文的方法、9种文案修改技巧、7种文案润色方法、11类营销文案指令模板、12类办公文案指令模板、13类自媒体文案指令模板、12类教育学术文案指令模板，以及AI创作短篇小说的全流程、AI创作图书宣传文案全流程等内容。 本书适合以下人群阅读：一是文字工作者；二是人工智能领域的相关从业人员；三是电商商家、新媒体编辑、广告策划、短视频编导、作家和艺术工作者等；四是刚入职的公务员、有公文写作需求的政府工作人员；五是行政岗位、文秘岗位等需要公文写作的职场人员；六是文学、语言、计算机科学与技术等专业的学生。
AI视频制作爆款30例:短视频、电影*、神话创意与商业广告
￥63.69
随着AI工具的普及，基础视频制作已无门槛，但如何才能做出高颜值、高传播、高转化的爆款内容呢？本书直击创作者核心痛点，精选短视频、电影*、神话创意、商业广告四大热门赛道中的30个实战案例，涵盖抖音与视频号近期*火的“乡村治愈风”“怀旧客车”“山海经异兽”“文旅宣传广告”等爆款模板。 本书详细讲解了使用目前主流且好用的7款AI工具，即DeepSeek、即梦、可灵、豆包、Kimi、文小言、剪映进行视频制作的全过程。从生成图片提示词、以文生图、以图生图，到制作动态视频、添加背景音乐、剪辑拼接等各个环节，步骤清晰，操作易懂，即使是没有专业视频制作背景的初学者也能轻松上手，快速掌握AI视频制作的精髓。 本书附赠230多分钟的教学视频、270多条精心设计的AI提示词、130多页教学课件以及370多个素材效果文件，为读者的学习和创作提供*的支持。本书适合视频创作爱好者、自媒体从业者、影视后期初学者、数字营销人员以及广告创意人员。
人工智能算法从基础到实战
￥64.34
本书基于Python与Pytorch对人工智能算法基础知识与实战应用进行了介绍，主要包含两部分内容。*部分为人工智能算法知识的相关理论介绍，主要包含：人工智能的线性代数基础、概率统计基础、数据分析基础、机器学习基础以及深度学习基础。对机器学习中的回归、聚类以及分类等经典算法进行了介绍。对深度学习中的卷积、循环、Transformer等深度学习网络在计算机视觉与自然语言中的应用，以及大模型与微调相关的内容进行了介绍。第二部分为基于Python与Pythoch的人工智能算法实战案例应用，主要介绍：数据的预测回归分析案例；数据无监督学习中的聚类、降维以及关联规则案例；数据有监督分类模型的应用案例，以及深度学习中图像分类、图像语义分割、图像迁移学习、自然语言聚类与分类等经典算法的实战案例。 本书为读者提供了Notebook形式的源程序和使用的数据集，方便读者边学边实践。本书适合数据分析、机器学习、人工智能以及大数据领域的工程师学习，也可用作高等院校相关专业的教材及参考书。
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，可辅助读者学习阅读，增强用户体验和学习效果。
*写论文:AI辅助学术论文写作
￥45.00
本书基于学术写作的核心在于结构化的思维这一理念，多方位地介绍了如何应用 AI 辅助学术写作。AI 辅助学术写作的流程主要包括选题的确定、前言和文献综述的撰写、理论框架和研究方法的设计、研究框架与正文的组织、结论的构建、初稿的润色、标题摘要的撰写与投稿等方面。 本书力求为读者提供多样化的解决方案。这些解决方案依据不同的写作目标和策略制订，从而让读者可以根据具体需求选择。此外，本书还引导读者探索各种 AI 工具，应用好这些 AI工具有助于解决具体问题，如数据查询、参考文献管理、语言润饰等，极大地节省了学术写作的时间和精力。 无论是学生、教师、研究者，还是对学术写作有浓厚兴趣的读者，本书都能够帮助其更 好地理解人工智能在学术写作中的应用，在逻辑清晰、条理分明的框架内进行有效的学术写作，提高写作技巧，并*终提升学术影响力。
筑牢“养虾”全场景安全防线:保姆级OpenClaw安全应用实战
￥34.86
本书并非对OpenClaw技术原理的深度剖析，也非简单的操作手册，而是基于多年网络攻防经验为OpenClaw用户量身打造的安全防护手册。本书包括共9章内容和四个附录，从部署前的环境加固、权限配置，到使用中的指令校验、风险规避，再到后期的审计监控、数据保护，*拆解OpenClaw的安全痛点，给出可直接落地的解决方案或建议。无论是技术极客还是普通尝鲜者，无论是个人用户还是企业团队，都能从书中掌握适配的安全策略，让OpenClaw在发挥效率价值的同时远离安全风险。
深度学习入门4:强化学习
￥54.90
本书前半部分介绍强化学习的重要思想和基础知识，后半部分介绍如何将深度学习应用于强化学习，遴选讲解了深度强化学习的最新技术。全书从最适合门的多臂老虎机问题切，依次介绍了定义一般强化学习问题的马尔可夫决策过程、用于寻找最佳答案的贝尔曼方程，以及解决贝尔曼方程的动态规划法、蒙特卡洛方法和TD方法。随后，神经网络和Q学习、DQN、策略梯度法等几章则分别讨论了深度学习在强化学习领域的应用。本书延续“鱼书”系列的风格，搭配丰富的图、表、代码示例，加上轻松、简明的讲解，让人循序渐地理解强化学习中各种方法之间的关系，于不知不觉中登堂室。
DeepSeek即时通:提示词重塑AI生产力
￥55.30
" 针对全球AI困境——“学不完的AI工具，追不上的AI更新”，黑马王子张得一教授，融合其四十年“化繁为简”的实践，独创“通用提示词”的“道法术器”体系，授人以“渔”，助人“一通百通”。 道（规律）：以“六套黄金魔方”破解人机交互元规则； 法（策略）：借“六元轮动魔法”动态适配多场景任务； 术（技巧）：用“六套变形魔术”技法实现创意即战力； 器（模型）：创“六路破局魔型”让知识资产秒变生产力。 全书以300 +图解撕碎技术晦涩，以“*三想法则”驾驭AI智能，更附赠12套通用提示词库和行业魔型模板。无论是职场人还是银发族，皆可掌握“提示词之道”，实现“学一当十、一通百通”—纵使百种AI技术涌现，读者自能以简驭繁，稳立AI时代潮头。"
人人都是AI程序员:TRAE+Cursor 从0到1全栈实战
￥57.47
本书以Vibe Coding（氛围编程）这一理念为核心，系统阐述如何与AI进行*协作，将脑海中闪光的想法转化为真实、可运行的数字产品。本书不仅涵盖从零开始建立数字产品实践自信的科学学习方法，更创新性地提出一套名为“节俭全栈”的低成本实践方案，手把手引导读者使用Figma、Vercel、Supabase等免费或极低成本的专业级工具，亲手构建并成功发布自己的*款全栈应用。 本书内容深入浅出，构建了从“心法”到“实操”的完整体系：从“独立开发者的哲学”等认知层面筑牢基础，再到提示工程、UI设计、前后端开发、数据库管理、支付集成等具体实操环节提供详尽的实战指引，旨在拆掉阻碍创造者前行的“技术之墙”，让每一个好想法都能在AI时代顺利变为现实。 本书适合怀揣产品想法却缺乏技术背景的准创业者与产品经理、希望借AI工具提升效率的独立开发者和设计师、对AI驱动应用开发及创作者经济感兴趣的技术爱好者，以及渴望将创意转化为数字产品的所有梦想家和行动派阅读。
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操作系统的读者，与该书 配套出版了一本补充教材，其中不但包括本书的全部习题，还增加了更多的补充习题，而且每一道习题和补充习题都附有答案和详细的解题过程。
Excel函数与公式应用技巧
￥10.69
《高效随身查：Excel函数与公式应用技巧》共12章，第1章讲解了公式编辑与数据源引用技巧，后面依次以函数功能划分章节，按函数实用程度，主次分明。第12章还列出了Excel函数与公式使用中的常见问题集，为读者提供查阅参考。《高效随身查：Excel函数与公式应用技巧》适合办公人员、文秘人员作为随身速查手册。怎样成为职场高效能人士？怎样从职场办公中脱颖而出？怎样提高办公效率享受美好生活？……，看看这本随身查小书吧，一册在手，办公无忧。
产品结构设计实例教程：入门、提高、精通、求职(不提供光盘内容)
￥39.70
本书是壹比特科技数字货币研究团队倾力编写的一本关于数字货币白皮书，书中详细阐述了包括比特币在内的各种数字货币的技术和机理，其中关于比特币的数据报告为全球首发，对数字货币研究人员、玩家及爱好者具有极大的指导作用。
一本书读懂互联网思维
￥5.00
本书是深入研究互联网思维的经典之作，从互联网思维的定义到互联网思维应用的具体案例表现。作者深入浅出、条分缕析，全面阐述互联网思维的内核与精神，逐一点评当前关于互联网思维的各种观点。本书从初级的互联网思维应用到高端的粉丝经济，平台建设，自媒体营销的方法都有详细讲解介绍。让读者了解什么是互联网思维的同时还能学会把互联网思维运用到自己的工作学习已经生活中
Python编程入门指南(上下册)
￥19.99
本书以初学者为对象，全面介绍了使用Python进行程序开发的各种技术。在内容排列上由浅入深，让读者循序渐进掌握编程技术；在内容讲解上结合丰富的图解和形象的比喻，帮助读者理解“晦涩难懂”的技术。全书共分22章，包括搭建Python开发环境、Python入门必学、变量和数据类型、流程控制语句、序列的应用、字符串及正则表达式、异常处理及程序调试、函数、面向对象程序设计、模块、文件及目录操作、使用Python操作数据库、常用的GUI框架、Django Web框架的使用、Pygame游戏框架、网络爬虫框架、Flask Web框架的使用、中华诗词大会（网络版）、图像识别工具、微信跳一跳游戏的辅助工具、汽车之家图片抓取工具和巡店宝（企业商品运营利器）。全书内容丰富，项目贴近实际开发，适合读者自学。本书适用于Python的爱好者、初学者和中级开发人员，也可作为大、中专院校和培训机构的教材。
体验引擎：游戏设计全景探秘
￥15.80
1972年，雅达利公司推出了街机游戏Pong。之后，游戏行业历经了几十年的风风雨雨和几许轮回，依然方兴未艾。多少年以来，无论是俄罗斯方块，还是魔兽世界，游戏制作者面临的挑战都始终如一，即如何为玩家展现出*的游戏体验。 从表面上看，《体验引擎：游戏设计全景探秘》的重在于游戏的设计、规划、平衡性、界面、营销等要素。然而实际上，《体验引擎：游戏设计全景探秘》的核心是游戏体验。如何通过游戏设计来创造丰富多彩的游戏体验，以及如何真正从内心动玩家，才是作者的真正目的。难能可贵的是，《体验引擎：游戏设计全景探秘》虽然涉及了许多游戏行业的专业课题，内容却轻松易懂，耐人回味。而读者在阅读《体验引擎：游戏设计全景探秘》时，也可以从自己感兴趣的章节始，逐层深。所以，无论读者是游戏行业的从业者，还是游戏爱好者，都不妨一读。说不定在某一页，就会不由自主地产生共鸣。
