购物车
个人中心
芯片形式化验证原理、方法与实战
￥59.00
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。 本书包括三个部分： ? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计； ? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； ? 阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。 本书不仅适合芯片设计和发领域的从业人员快速门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
你的智能创作助手:用AI快速生成高质量图片、音乐、视频
￥41.00
本书是一本实用的AI辅助生成内容的操作指南，系统全面地介绍了如何选用各类AI工具高效完成多媒体创作。 全书共7章：AI创作时代已来、拥有你的智能创作助手——AI工具的选择、掌握与AI创作助手沟通的技巧—— 提示词、使用AI工具快速生成图片、使用AI工具轻松创作音乐、使用AI工具生成高质量视频、使用AI工具高效 剪辑视频。其中第2～7章是本书的核心内容，深浅出地展示了AI提示词技巧与应用，以及AI工具的强大功能， 并结合实际案例，提供了大量实用的技巧和方法，帮助读者轻松应对多媒体创作中的各种挑战。 无论是希望提升个人创作能力的职场新人、寻求效率与创新的专业人士、媒体工作从业人员，还是相关培训机 构，本书都将成为您的得力助手。通过本书，您不仅能够掌握当前流行的AI工具，还将获得应对未来技术发展 的思维方式和操作技巧，真正将AI融日常工作和创作之中。
奇点临近(精装版)
￥77.00
人工智能作为21世纪科技发展的最新成就，深刻揭示了科技发展为人类社会带来的巨大影响。本书结合求解智能问题的数据结构以及实现的算法，把人工智能的应用程序应用于实际环境中，并从社会和哲学、心理学以及神经生理学角度对人工智能行了独特的讨论。本书提供了一个崭新的视角，展示了以人工智能为代表的科技现象作为一种“奇”思潮，揭示了其在世界范围内所产生的广泛影响。本书全书分为以下几大部分：第一部分人工智能，第二部分问题延伸，第三部分拓展人类思维，第四部分推理，第五部分通信、感知与行动，第六部分结论。本书既详细介绍了人工智能的基本概念、思想和算法，还描述了其各个研究方向最前沿的展，同时收集整理了详实的历史文献与事件。
Python入门边学边练
￥64.34
本书分为两部分。第一部分为第1～7章，介绍了Python的语法、编程基础和对常见错误的处理。第二部分为第8～14章，介绍了Python的各种实践应用，分别是对目录和文件的操作，对Excel、Word和PDF文件的操作，在图像处理、网络爬虫领域的应用，以及Python的图形用户口编程。本书以实践应用为目的，希望读者能够前后对应，根据例题举一反三。本书可供Python爱好者和技术人员参考和自学，也非常适于用作高等院校的自动化类、电子信息类、机械类、计算机类等相关专业的教材。
Excel*商务办公一本通
￥44.84
各种办公软件已成为日常工作、学习中必不可少的工具，其中Excel占有重要的一席之地。 本书通过大量的实操案例对Excel的操作方法及使用技巧行了详细的阐述，主要内容包括：Excel基础操作、数据的编辑和录、报表的美化、数据的处理与分析、公式与函数的应用、图表的创建与编辑、数据透视表的应用、数据分析工具的使用、宏与VBA的应用、报表的印以及Office组件之间的协同应用等。 本书所选案例具有代表性，紧贴实际工作需要；知识讲解通俗易懂，页面版式轻松活泼。同时，本书还配套了丰富的学习资源，主要有同步教学视频、案例源文件及素材、常用办公模板、各类电子书、线上课堂专属福利等。 本书非常适合市场销售、财务会计、人力资源、行政文秘等广大职场人员、Excel新手、在校师生自学使用，还适合用作大中专院校、职业院校、培训机构相关专业的教材及参考书。
人工智能开发丛书--Python机器学习集锦
￥61.74
Python是一种面向对象的脚本语言，广泛应用于Web 发、网络编程、爬虫发、自动化运维、云计算、人工智能、科学计算等领域。本书是作者长期应用Python行机器学习发实践的经验结晶，主要内容包括Python数据读取的技巧，数据探索性分析，数据预处理，特征选择，特征选择的常用技巧，算法模型，sklearn类库，Python中数据可视化的常用方法等。本书具有针对性、系统性、实操性强，原创度高的特，读者对代码行简单修改，就可以直拿来使用。本书适合于具有一定Python基础，且有志于从事机器学习、人工智能发的读者使用。
Midjourney人工智能AI绘画教程:从娱乐到商用
￥57.19
本书较为系统地讲解了人工智能绘画的基本理论与Midjourney平台的使用方法，包括各个命令与参数、语法结构等。同时讲解了Midjourney在建筑设计、珠宝设计、摄影素材图像生成、插画绘制、背包设计、手机壳设计、包装设计、盲盒公仔造型设计、冰箱贴设计、卡通头像设计、Logo设计、徽标设计、价目表设计、*文字设计、游戏场景概念设计、UI设计、图标设计、成套表情包设计等33个领域内的实战应用方法。 书中图像全部由Midjourney渲染生成，效果图配有提示语，也是软件使用者*关心的“配方”，并在关键词下方有强调功能的下划线，以确保读者在使用此关键词时能够得到类似的效果。 本书附赠一本拥有海量Midjourney常用关键词的PDF电子书，下载方法可参考封底。
FreeCAD从入门到综合实战
￥64.34
本书采用视频 图解的形式，系统讲解了FreeCAD的相关功能、建模技巧及实践案例，主要内容包括：FreeCAD界面及基本命令操作、Part Design工作台中二维图形的绘制及三维模型的构建、Part工作台常用命令详解、Draft工作台中二维图形的绘制、Draft工作台的各种操作命令、Spreadsheet工作台使用方法、TechDraw工作台使用方法、实用菜单栏命令等。全书内容丰富实用，讲解循序渐，图解直观易懂，同时辅以视频教学，手机扫码即可观看，使学习更轻松高效。本书非常适合从事工程制图绘图、建模工作的技术人员，计算机辅助设计初学者自学使用，也可用作高等院校、职业院校相关专业的教材及参考书。
Tableau数据分析从小白到高手
￥64.34
大数据时代，掌握必要的数据分析能力，将大大提升工作效率和自身竞争力。Tableau是一款数据分析及可视化工具，本书将详细讲解利用Tableau行数据分析及展示的相关知识。书中主要内容包括：Tableau数据分析概述、连数据源、Tableau基础操作、数据可视化、统计分析、仪表板和故事；Tableau Prep数据清洗、处理、角色和参数，Tableau Prep的高级应用，数据清洗和分析案例，以及Tableau在线服务器等。本书内容丰富，采用全彩印刷，配套视频讲解，结合随书附赠的素材边看边学边练，能够大大提高学习效率，迅速掌握Tableau数据分析技能并用于实践。本书适合数据分析初学者、初级数据分析师、数据库技术人员、市场营销人员、产品经理等自学使用。同时，本书也可用作职业院校、培训机构相关专业的教材及参考书。
五笔打字新手速成一本通
￥38.93
本书从字习惯认知手，首先对汉字的编码、键盘的使用、输法的类型行了简要介绍，随后对五笔输法、键位分区、键指法、字根表与助记词、汉字的拆分、简码的输、词组的输，以及98版五笔输法等内容作了详细介绍。同时，还汇总整理了难拆难汉字汇总表、拼音字快速门，以及五笔字型编码查询手册，供读者随时查阅。全书结构合理、内容翔实、图文并茂、通俗易懂，对于广大办公人员来讲，是一本实用性很强的学习用书。本书可作为企事业单位办公人员的工具书，还可作为职业院校、培训机构的教材及辅导用书。
编程创新应用:从创客到人工智能
￥38.86
从学生的认知能力、思维能力提升的刚性需求出发，融合中国传统文化，结合有趣的漫画故事，引编程思想，特出版系列图书：《编程初体验：思维启蒙》《编程轻松学：ScratchJr》《编程趣味学：Scratch3.0》和《编程创新应用：从创客到人工智能》。每本书内容自成体系，相对独立，之间又有内在联系，层次分明，内容形式新颖，能够激发学生的逻辑思维和创新思维，从而提升各学科的学习能力。《编程创新应用：从创客到人工智能》分为上下两篇，分别是小创客的数理化和人工智能了不起，书中用漫画的方式，将编程与电子元器件、传感器、3D印、物联网、人工智能等内容相结合，深化原理认识，探索利用信息科技手段解决问题的过程和方法。本书寓教于乐，让小读者玩中学，学中体验，是本不错的编程启蒙书。
材料数据挖掘方法与应用
￥83.19
《材料数据挖掘方法与应用》详细介绍了材料数据挖掘的研究背景、常用方法、具体步骤和作者团队自主发的在线计算平台OCPMDM（online computation platform for materials data mining，http:/materials-data-mining.com/ocpmdm/）的应用，重阐述了OCPMDM在线计算平台在材料设计（钙钛矿型材料、染料敏化太阳能电池材料等）和化工优化（氟橡胶工艺优化等）中的应用。本书方便读者学以致用，读者可以免费利用OCPMDM软件平台，构建并分享材料数据挖掘模型，用于虚拟样本的高通量筛选，加快新材料研发程。 本书可供材料科学与工程等相关领域科研人员和工程技术人员阅读，亦可作为高等院校材料数据挖掘研究方向师生的教学参考书。
Python基础与数据分析
￥44.84
全书共8个项目，内容包含：发环境搭建、Python语法基础实现、Python的序列操作、函数实现、面向对象编程、文件操作、Numpy数值计算、Pandas统计分析。每个项目先给出知识目标、能力目标和素质目标，再通过设计若干小任务引出主要知识，重在培养读者采用Python语言行数据分析的基本思想与方法，突出分析与解决问题的思路，强化读者良好的编程规范与风格，充分体现软件职业素养要求。 书中每个案例的操作都有录屏，读者可以通过扫描书中二维码观看视频完成代码编写学习。同时，本书还附赠课件等资源。 本书结构新颖，突出实践性与应用性，可作为高职高专大数据技术、软件技术、云计算技术应用及其他计算机相关专业的教学用书或培训教材，也可供计算机爱好者自学参考。
AIGC艺术设计实战:商业插画
￥51.34
本书是一部讲解人工智能（AI）技术在商业插画领域应用的实用指南。作者团队在插画领域获得了 11 项全国大奖，有丰富的插画创作经验。书中深介绍了AI技术在商业插画中的基本使用、融合方法及实际案例，旨在帮助读者了解和应用 AI技术以提升商业插画的创造力和创作效率，并配有视频课程。 本书详细介绍了 Midjourney 的基本操作方法和技巧，包括数据准备、模型选择、参数调整等内容，帮助读者快速上手。此外，书中还分析了 AI 技术与商业插画的融合方式，讲解了如何将 AI 技术应用于商业插画的各个环节，从需求分析、数据准备、模型选择到结果评估，提供了一套完整的 AI 商业插画流程和方法。丰富的实际应用案例展示了不同风格和场景下的设计作品，包括出版、品牌、信息可视化、网页、产品、表情包设计等诸多领域为读者提供了实践参考和灵感启发。通过实际案例和经验分享，读者可以了解 AI 技术在实际商业插画项目中的应用场景和效果，解决实际问题并提高设计水平。本书适合插画爱好者，特别是商业插画师阅读，也可作为大中专院校及培训机构的教材使用。
Gambas程序设计从入门到精通--Gambas工程应用:基于国产操作系统
￥63.69
本书由浅深，力求使读者能够快速掌握Gambas 脚本设计、通信与安全、信号处理以及相关工程应用方法。全书共分为9 章，包括脚本程序设计、网络通信、压缩与加密、外部口、虚拟仪器、信号处理、数据采集以及软件无线电应用等内容。 本书配备了不同层次的实例，并提供了详细的程序注释说明，使读者能够更加深理解程序设计基本思路与步骤、工程设计方法与实现，提高实际应用能力。 本书适合程序发人员参考，可作为大专院校计算机、电子信息、通信和自动化等专业BASIC 程序设计课程教材，也适合职业教育和社会培训使用。
中国云计算应用丛书--智慧制造云(李伯虎)
￥148.19
“智慧制造云”是继作者团队于2009年提出并实践“云制造（云制造1.0)”理念后，又基于2012年提出“智慧云制造（云制造2.0）”新理念构成的一种适应当今新时代，并具有中国特色的智能制造系统。 《智慧制造云》给出智慧制造云的概念模型、体系架构、技术特征、知识/技术体系框架；详细讲述了实施智慧制造云有关的10类关键技术，论述了智慧制造云是云计算在制造领域的落地和拓展，是一种“新互联网 云计算 大数据 人工智能 ”时代的具有中国特色的智能制造系统。 《智慧制造云》中还给出了智慧制造云的实施范例——“航天云网”的实践与应用。书末简要介绍了智慧制造云的国内外研究与实践现状并提出了其持续发展的建议。 本书有助于读者对中国制造业向智能制造转型升级的思考与实践。
剪映+AI数字人:短视频剪辑制作实战技巧大全
￥50.69
与专业的视频后期软件Premiere或者Final Cut Pro相比，虽然剪映在功能上有所欠缺，但由于其操作简单易上手，即便是后期小白也能制作出精彩的效果，所以成为目前主流的短视频后期软件之一。而本书的目的，就是让“每个人”都学会剪映，都学会视频后期。为了实现这一目的，本书从剪映的界面始讲起，到基本功能，再到添加文字、音乐、特效、动画等阶技巧，还总结了十大类短视频后期思路，最后通过五个实操案例教学将以上所学融会贯通，实现从小白到高手的阶。但在笔者看来，内容全面不代表零基础的小白就能学得会。因此，为了真正实现“每个人”都能学会视频后期的目的，本书还具有“通过实际案例讲解剪映功能使用方法”，“赠送与图书配套的近800分钟视频教学”以及“归纳式案例教学”这三大特。本书不仅适合希望创作出优秀视频作品的自媒体创作者自学使用，也可在设了视频制作相关专业的院校中作为教材使用。
编程数学
￥27.29
《编程数学》通过数学和算法方面的编程案例，介绍了数学方法对解决生活中问题的帮助，例如消防所选址问题、旅行商问题、蒙特卡罗模拟法、分形构造问题等。本书对提出的问题在拓计算思维的基础上精巧求解，注重编程算法思路的引导与技巧的综合运用，并展示程序运行结果。 本书适合编程零基础者参考阅读。
Excel函数与公式从入门到精通
￥64.34
本书用通俗易懂的语言解释函数的作用及参数的设置原则，通过大量实际工作中的典型案例，讲解Excel常用函数的应用技巧，以图文并茂的方式分解剖析公式计算原理。所讲解的函数涉及逻辑运算、汇总与统计运算、数值舍入、数值排列、数据查询、日期与时间值的处理、文本的提取和转换、资产及投资计算等。书中重难点章节配套视频讲解，扫描对应的二维码即可观看同步视频教学，非常方便。 本书适合Excel函数与公式初学者，想提高工作效率的职场人士，财务、销售、人力、行政等经常与数据打交道的人员，以及从事数据统计与分析相关工作的人员阅读；也可用作职业院校及培训学校相关专业的教材及参考书。
趣学Linux:基础篇
￥64.34
这是一本可以帮助初学者快速掌握Linux操作系统的有趣教程。本书通过更符合新手视角的趣味性解读、丰富的实例演示和同步讲解视频，可帮助你了解并掌握Linux系统的使用与管理方法，比如文件结构、用户系统、文本处理、磁盘分区、软件管理、程与任务、系统状态、网络与日志这些基础知识与技术细节，以及vim编辑器、Shell编程等阶技巧。无论你是电子爱好者、计算机专业的学生，还是IT工程师，相信本书都会成为你了解和学习Linux的良师益友。一起来启Linux探索之旅，体验Linux的自由和创造力吧！
网络信息资源的重组与应用——社会化标注环境下的标签聚类方法
￥44.19
本书以网络信息资源管理的重要工具--社会化标签系统为研究对象，在对国内外研究现状全面评述的基础上，从原始的标注信息手，逐步融合社会化标注系统中蕴含的其它有用信息，研究并提出了：(1)基于共同共现群体相似度的标签谱聚类方法；(2)基于LDA (Latent Dirichlet Allocation)模型的标签综合聚类方法；(3)融合内容与分析的标签聚类方法等；系统地解决了社会化标注系统中存在的稀疏、歧义、语义模等问题，完善了标签聚类的方法体系。研究成果不仅为标签聚类知识的获取提供了有效的手段，也为网络信息资源的重组与应用提供良好的基础。本书可供科研单位、互联网和大数据企业、高校及其他相关部门参考使用。
