购物车
个人中心
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
￥47.40
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
Java程序设计与计算思维
￥65.35
程序设计的过程就是一种计算思维的表现，本书结合Java程序设计语言的教学特，遵循计算思维的方式，图解重要概念，通过大量的范例程序讲解和上机编程实践来指导读者活用Java程序语法，兼顾培养计算思维和学习面向对象程序设计的双目标。 本书分为18章，内容包括认识计算思维与Java程序设计、Java语言及其JDK 11、Java程序结构解析、Java语言的数据类型、流程控制、类与对象、继承与多态、抽象类、口、程序包、嵌套类、常用类、窗口环境与事件处理、Swing程序包、绘图与多媒体、例外处理、数据流的I/O控制、集合对象与泛型、多线程、网络程序设计等。
Python网络编程(原书第2版)
￥70.85
本书从使用者的角度出发，学习难度逐渐增加。首先简单回顾了TCP/IP和Python基础知识，然后探讨了如何使用Python管理网络设备，尤其是如何与传统的路由器和交换机进行通信。之后介绍了如何使用Python自动化框架Ansible来实现批量系统配置、批量程序部署、批量运行命令等功能，如何采用Python工具实现基础的网络安全管理，如何使用Python进行网络监控、搭建Web服务，还介绍了其他的网络运维管理相关技术，如Git代码仓库的使用、Jenkins持续集成和网络的测试驱动开发等。本书包含的内容涉及许多基础工具的使用，每个知识点都有示例代码，读者可以一边学习，一边实践。本书是一本实用型的基础技术实践工具书，技术性较强，如果你想快速了解计算机网络管理、网络安全、自动化运维、Python Web搭建、网络测试相关的知识，本书很适合你。本书涵盖的知识点主要是网络运维相关技术，在学习完所有的章节之后，读者能对网络的管理有初步的了解。每个章节的后面部分都是有一定难度的扩展资源，循序渐进，帮助读者提升网络运维能力。
R数据科学实战:工具详解与案例分析
￥44.85
这是一部能指导零基础的读者快速掌握R语言并利用R语言数据科学领域的著作。 两位作者在R语言和数据科学领域有丰富的实践经验，首先是非常有针对性地讲解了利用R语言行数据处理需要掌握和使用的6大类17种工具，然后是结合这些工具的使用给出了5个典型的综合性案例，帮助读者迅速将理论与实践融会贯通。 全书一共11章，逻辑上分为两大部分： *部分 R语言工具箱（第1-6章） 首先从数据导、数据清洗、数据计算、循环和迭代等几个方面详细讲解了R语言中相关的各种常用的工具，然后深地讲解了R语言中的“超级瑞士军刀”data.table包。掌握这部分内容，能满足R语言数据处理中的基本需求。 第二部分数据科学实战案例（第7-11章） 第7章首先对数据科学从业者的现状和未来应该掌握的技术和工具行了介绍； 第8-11章通过4个综合性的案例讲解了使用R语言行数据处理和分析的一整套流程和方法，与*部分的内容融会贯通。
Spring Cloud微服务:入门、实战与进阶
￥57.85
这是一部从技术原理、工程实践和阶提升3个维度讲解Spring Cloud微服务架构与发的著作。 作者在Spring Cloud微服务领域有丰富的工程实践经验，它将带领读者零基础门Spring Cloud微服务，并快速掌握动手实践能力，*终阶为Spring Cloud微服务领域的技术达人。 全书共21章，分为4个部分： *部分准备篇（第1~2章） 首先对微服务和Spring Cloud的概念、优劣势、功能模块等做了整体性的介绍，然后演示了如何搭建Spring Cloud的发环境，*后对Spring Boot做了详细的介绍。 第二部分基础篇（第3~7章） 对Eureka 注册中心、客户端负载均衡 Ribbon、声明式 REST 客户端 Feign、Hystrix服务容错处理、API 网关等Spring Cloud的重要模块的技术原理、配置、使用等做了详尽的讲解。 第三部分实战篇（第8~14章） 对微服务架构中的普遍问题给出了实战解决方案，包括选择配置中心、自研发配置中心、分布式跟踪、微服务安全认证、Spring Boot Admin 管理微服务、快速生成API 文档等实用性内容。 第四部分高级篇（15-21） 重讲解了Spring Cloud的扩展性的使用，比如API网关、微服务的缓存和存储、分布式事务解决方案、任务调度、分库分表，以及大量优秀的生产实践经验等。
并发模式与应用实践
￥51.35
本书解释了如何利用并行体系结构的不同特性，使代码更快、更高效。首先介绍基本的并发概念，并探索围绕显式锁定、无锁编程、future模式和actor模式。其次，深讲解不同的并发模型和并行算法，并将它们应用到不同的场景中，以挖掘应用程序的真正潜力。本书将带读者了解多线程设计模式，如主/从模式，Leader/Followers模式，map-reduce模式，以及监视器模式，还将帮助读者学习使用这些模式的实际编码。
饿了么质量体系搭建实战
￥53.40
*篇：规划 本篇简要介绍了我们的业务背景、团队背景、测试的一般规律，以及我们团队在制定技术规划时是如何考虑的。 第二篇：基础 当团队从零开始的时候，QA（Quality Assurance，质量保证）基础设施落后、资源有限、技术改造频繁，应快速形成战斗力，以业务为先，保证产品的质量，此时QA团队的主要任务是发现产品中的Bug。本篇主要介绍了QA团队在功能测试、安全测试、兼容性测试等不同阶段的特点及不同之处。 第三篇：提效 当团队人员与业务基本稳定，而且功能迭代基本可以正常运行之后，我们就开始思考如何提高测试和研发的效率，例如，如何构建可用于提升效率的小工具和平台，如何实现API自动化，以及框架的搭建、分层思想、性能测试、环境的部署、CI（Continuous Integration，持续集成）流程的建立等，从而使得QA人员能够从大量的手工劳动中解放出来，提高工作效率，将更多的时间和精力投入到测试分析、发现Bug、预防Bug的工作中。 第四篇：赋能 在提效之后，我们开始思考，软件质量是“构建”出来的，是由软件开发整个过程的质量所决定的。所以，QA人员的工作不能总是停留在*后一个环节，在敏捷开发的大环境下，开发人员也要开始注重自测质量，作为QA人员，我们需要考虑如何赋能开发人员，使其能够对自己开发的产品进行自测。本篇主要从技术的角度（比如，可视化度量、自动化用例开放、工具开发，以及如何在流程上使用story_QA来使项目过程数据可视化）介绍了企业订餐业务的QA人员是如何赋能开发人员以提高软件质量的。 第五篇：探索 当前，业务开发周期越来越短，几乎每隔一天就有新版本发布。针对这种迭代速度快、回归量比较大的特点，自动化测试的稳定性正面临着巨大的挑战，除了传统的集成之外，我们还引入了契约测试、流量测试、探索性测试等辅助手段来提高测试质量，同时提高QA人员的工作效率。 第六篇：管理 本篇主要讲解了新型团队如何不拘泥于传统管理方法地勾勒团队画像，同时还介绍了技术分享的改革，以及如何让团队变成有格局、有原则、有自我认知、有凝聚力的健康团队。
MATLAB数值分析与应用
￥71.40
MATLAB是数值分析领域使用*广泛的语言之一。本书以实例教学的形式介绍如何使用MATLAB编程实现数值分析计算，内容涵盖数值分析多方面的应用。 全书主要内容分3个部分，共13章。第1部分（第1章）讲述MATLAB基础。第2部分（第2～11章）介绍的内容包括符号计算在微积分和复变函数这两门大学数学基础课程中的应用，以及线性方程组、非线性方程组与*优化方法、矩阵特征值与特征向量、插值与函数逼近、估计方法和数据拟合、积分计算、常微分方程等数值方法；从实用角度考虑，许多章节都会给出数值分析的应用范例。第3部分（第12和13章）介绍一些综合性较强的数学建模问题。本书*后还提供了3个附录，以拓宽读者的视野。 本书着重强调数值分析的基本原理与编程思想，并强调计算可视化，尽可能从多角度给出计算结果的图形表述，既适合作为大学理工科本科生或研究生学习数值分析的参考书或实验课教材，也可作为编程爱好者及工程技术人员的参考工具书。
Hyperledger Fabric菜鸟进阶攻略
￥44.85
本书从架构，核心部件，到实际发，涉及多个维度，共11章。第1章，Hyperledger Fabric的认识与环境搭建。第2章，深浅出Fabric架构设计。第3章，化繁为简自行搭建你的Fabric网络。第4章，全方位认识码：码作用及对码行管理与测试。第5章，码发与实践。第6章，深MSP成员管理与Fabric CA服务实现。第7章，白话Fabric共识机制。第8章，Fabric中数据分发机制的实现。第9章，Fabric分布式账本数据存储。第10-13章，Web应用环境搭建、架构以及基于区块技术的学历信息征信系统实现。
Android全埋点解决方案
￥57.85
这是一本实战为导向的、翔实的Android全埋技术与解决方案手册，是国内知名大数据公司神策数据在该领域多年实践经验的总结。由神策数据合肥研发中心负责人亲自执笔，他在Android领域有近10年研发经验，发和维护着知名的商用源 Android & iOS 数据埋SDK。 本书详细阐述了 Android 全埋的8种解决方案，涵盖各种场景，从0到1详解技术原理和实现步骤，并且提供完整的源代码，各级研发工程师均可借此实现全埋数据采集，为市场解全埋的神秘面纱。 8种Android全埋解决方案包括： AppClick 全埋方案1：代理 View.OnClickListener、 AppClick 全埋方案2：代理 Window.Callback AppClick 全埋方案3：代理 View.AccessibilityDelegate AppClick 全埋方案4：透明层 AppClick 全埋方案5：AspectJ AppClick 全埋方案6：ASM AppClick 全埋方案7：Javassist AppClick 全埋方案8：AST
Scratch真好玩:教小孩学编程
￥38.35
本书以一个猫猫侠角色引，将读者设定为编程世界的一位勇士，跟随猫猫侠一起学习Scratch编程的超能力。全书内容分为三部分。第1部分（第1~10章）通过知识小案例的讲解，培养孩子们的学习兴趣，从而让孩子们掌握Scratch的基础知识；第二部分（第11~17章）以一个大型完整案例讲解，从案例分析到思考再到制作，和孩子们一起分享一个项目从设计、试错、思考、完善、提升到实现的全过程；第三部分（第18章）介绍竞赛知识，说明编程竞赛应该注意的一些要素，以及在参赛作品创造过程中应该注意的关键因素和核心要，如何在已有的知识和设计层面做出一个能让人眼前一亮的作品，如何体现自己的创意，将自己的优势和特色展示出来，如何在*时间获取作品的关注度和认同感。
JavaScript程序设计:基础·PHP·XML
￥90.35
本书从计算机的基础知识开始介绍，涵盖程序设计的基础知识、JavaScript基础知识、JavaScript的循环结构、选择结构、表单、函数和源文件、数组、搜索和排序、文件对象模型和XML、PHP概述及相关知识。本书充分考虑初学者的需求，内容深入浅出，每章后都安排了相应的案例、练习和实践项目。
超简单:Photoshop+JavaScript+Python智能修图与图像自动化处理
￥47.88
你还在用钢笔工具一抠图吗？你还在为裁剪成百上千张图片而烦恼吗？本书想要告诉你：人工智能时代，设计也可以自动化！ 本书立足于广大图像处理从业人员的工作场景，借助人工智能技术和编程技术，让新手能游刃有余地运用图像处理软件的强大功能，让熟手摆脱枯燥乏味的基础图像处理工作，更自由地释放自己的创意能量。 全书共8 章，可分为“智能修图”和“图像自动化处理”两大部分。“智能修图”部分包括第1～3章，主要使用Photoshop 2021 中新增的智能化工具和命令，借助人工智能和机器学习的力量，将原本需要几十步的操作方式简化，轻松完成抠图、背景替换和虚化、调色、磨皮、上色等工作。“图像自动化处理”部分包括第4～8 章，主要使用Photoshop 的动作和批处理功能，以及JavaScript脚本程序和Python 程序，以批处理的方式完成水印添加、证件照拼版、工牌制作、缩略图生成、二维码生成、图像素材爬取等工作。本书适合广大图像处理从业者，特别是平面设计师、UI 设计师、网店美工、新媒体美术编辑、影楼后期制作人员等阅读，对图像处理爱好者来说也是非常实用的参考资料。
企业级业务架构设计:方法论与实践
￥51.35
这是一部从方法论和工程实践双维度阐述企业级业务架构设计的著作。 作者是一位资深的业务架构师，在金融行业工作20年，有丰富的大规模复杂金融系统业务架构设计和落地实施经验。本书在出版前邀请了微软、亚马逊、阿里、百度、网易、Dell、Thoughtworks、58、转转等10余家企业的13位在行业内久负盛名的资深架构师和技术专家对本书的内容行了评，一致好评推荐。 作者在书中倡导“知行合一”的业务架构思想，全书内容围绕“行线”和“知线”两条主线展。“行线”涵盖企业级业务架构的战略分析、架构设计、架构落地、长期管理的完整过程，“知线”则重关注架构方法论的持续改良。 全书分为五个部分： 业务架构基础篇（第1～3章） 介绍了业务架构的发展历程、作用、与IT架构的关系，以及业务模型的相关知识。 业务架构设计篇（第4～7章） 详细讲解了战略分析、对标分析、组织结构的影响、业务架构设计方法、标准化方法，并以一个虚拟案例综合演示了业务架构的设计过程。 业务架构落地篇（第8～13章） 演示了业务架构方案制作、基于业务架构的实施、项目完成后的管理机制，比较了与敏捷发的异同，集中讨论了企业级项目的实施困难，*后以一个设计实例展示了业务架构设计对提升企业发效率的作用。 架构方法改良篇（第14～16章） 系统总结了如何行面向构件化的业务架构设计、如何构建轻量级架构设计工具、如何基于构件模型提升传统企业产品创新效率，该部分属于对之前方法的改良设想，需要读者对此多加思索，切勿生搬硬套。 业务架构与中台篇（第17章） 将业务架构设计方法与当前热——“中台”模式行了对比，“传统”方法并不一定会因新技术、新概念的发展而黯然失色，对方法论的深探索和积极思考往往会让“传统”焕发新的“生命力”，深度思考比追逐热更重要。
ASP.NET Core 3从入门到实战
￥47.40
在Web应用研发领域容器编排、微服务、服务网格等先架构已大行其道的今天，本书作为ASP.NET Core的门教程，可以让广大发人员在自己的技能列表里添加上这个关键项。本书从ASP.NET Core的核心组件手，延伸到MVC、WebAPI、SignalR（实时通信应用）、Blazor（wasm应用）、机器学习等多种应用发，全方位地讲解ASP.NET Core的应用场景、发实践和部署发布，带领读者学习从发到发布基于ASP.NET Core项目的全过程。 本书主要针对的是对C#语法和Web发有一定了解、期望使用C#语言发Web项目的初学者，也可以是具有ASP.NET MVC发经验、希望通过ASP.NET Core提升跨平台和容器化发能力的发者。
三菱FX3U PLC编程及应用(视频微课版)
￥41.30
本书由浅深，系统讲解三菱 PLC的基础知识、综合应用案例设计流程及设计方法，让读者能够快速独立自主地完成PLC项目的设计与实践。 本书共分为7章：第1章介绍了PLC的应用及其基础知识，让读者对PLC项目操作流程有一个整体的概念；第2章介绍了PLC编程软件安装及其使用，以及常见的PLC仿真软件并配套案例演示；第3章讲解PLC软元件知识，包括输、输出、辅助继电器、定时器等，并搭配了PLC门案例演示；第4章主要讲解PLC编程体系，特别是指令系统及其在PLC编程中的表现形式；第5章主要讲解PLC高效编程方式——SFC编程；第6章介绍MCGS触摸屏与PLC控制的实施步骤；第7章介绍了机电一体化设备常用元件及变频器的使用方法，一步与现代工业结合。 本书适合维修电工考证及PLC自动化爱好者阅读，尤其适用于需要快速学习和上手PLC实战工作的读者。
安卓Frida逆向与协议分析
￥55.30
本书翔实地介绍流行的Frida工具在安卓逆向工程中的应用，内容包括：如何安装和使用Frida、基本环境的搭建、Frida-tools、Frida脚本、Frida API、批量自动化Trace和分析、RPC远程方法调用、在无须逆向算法具体实现的情况下对Frida工具的调用，并提供了大量App逆向与协议分析案例，书中还介绍了更加稳定的Xposed框架的使用方法，以及从安卓源码始定制属于自己的抓包沙箱，造无法被绕过的抓包环境等内容。 本书案例丰富，注重实操，适合安卓应用安全工程师、安卓逆向分析工程师、爬虫工程师以及大数据采集和分析工程师使用。
C++新经典:模板与泛型编程
￥62.30
本书是一部详细讲解C 模板与泛型编程知识的书，针对的是希望系统学习C 模板与泛型编程、元编程相关发知识的中高级C 发者，所讲解的知识具备一定的难度，书籍包含纸质图书以及教学源代码文件。编写初衷是帮助读者解决各种模板与泛型编程中的语法问题，以免在阅读他人所写的泛型编程代码（如C 标准库代码、Boost库代码）时磕磕绊绊甚至行不下去。此外，书中也会对一些比较有商业价值的源码行适当的分析和讲解，以一步提高读者的实战能力，更好的让读者利用模板与泛型编程技术编写可复用的高质量代码以及供第三方发者使用的口库。 书籍有如下比较明显的特：①注重细节，注重基础；②讲解难度适宜，范例由浅深；③内容比较全面；④支持C 11/14/17新标准。 全书共分7章：第1章搭建C 编程环境，第2~3章讲述模板发的基础和阶知识，第4章介绍C 标准库中常用的各种模板，第5~6章详细通过众多范例展示萃取技术、策略技术以及元编程，第7章动手编写STL中的list容器和对应的迭代器实现源码以期望读者对list容器的实现细节有清晰掌握并触类旁通。
深入浅出Python数据分析
￥62.30
数据时代的来临带动了新一波的智能革命，数据与算法驱动了各个领域的改变。在几个市场热门的讨论议题中，都可以看到数据应用扮演的角色。在面对真实世界的数据时，有许许多多的事情需要考虑。本书试图从务实的角度始，结合理论与实践去探索数据科学的真实世界，帮助读者一步一步地培养数据时代下的思维与技术。本书将从基础的 Python 编程始，以数据分析的流程为主轴一步一步地解析，然后展介绍数据收集、数据前处理、特征工程、探索式分析等。本书系统性地从函数库始学习，并拓展到不同的应用场景。 本书实用性强，提供数据分析所必需的编程技能的培训，以及常见第三方软件和库的使用方法；以数据科学家、数据分析师等数据应用工作的实践经验作为培养目标，适合对 Python与数据分析有兴趣的人阅读。
动手构建大模型
￥70.27
本书采用创新且实用的教学策略，巧妙融合理论基础与实践应用，深入剖析自然语言处理（Natural Language Processing，NLP）领域的新进展，以及大语言模型（Large Language Model，LLM）的原理。书中不仅系统阐述了?LLM?的理论基础，还通过实际项目案例展示了如何将这些模型应用于构建RAG系统。本书遵循由浅入深的路径，从LLM的基础知识入手，详细阐释了模型的训练流程，并深入探讨了如何利用提示技术与模型进行*交互。书中还重点介绍了两个在业界得到广泛认可的框架—LlamaIndex和LangChain，它们是开发RAG应用的强大工具。书中的项目案例不仅为读者提供了宝贵的实践经验，也能够加深读者对相关概念的理解和应用。此外，书中进一步探讨了包括智能体和微调在内的高级技术，这些技术能够显著提升问答系统的性能。
奇妙的JavaScript:神奇代码漫游之旅
￥68.60
"本书从实战角度讲解了JavaScript在各个领域的应用案例，这些领域包括操作系统、Electron、AIGC、WebAssembly、Node.js、PWA、动画、多媒体（图像、音频和视频）、办公自动化、加密和解密、文件压缩和解压。 本书独立成册，适用于掌握JavaScript基础知识的读者，上述技术领域涵盖的章节如下： (1)文件系统（第1～2章）：主要包括对文件和文件夹的操作、获取文件和目录属性，搜索文件和目录、创建快捷操作，控制回收站、Windows注册表、设置启动项、显示系统窗口等。 (2)GUI技术（第3、7章）：主要包括Electron的基本用法、异形窗口、（半）透明窗口，控制状态栏等。 (3)AIGC（第13章）：主要包括AIGC的基本概念、注册和登录ChatGPT、使用OpenAI API等。 (4)多媒体（第8～12章）：主要包括属性动画、缓动动画、数学动画、生成动画gif、播放音频、录制音频、音频分析、音频格式转换、音频编辑、获取视频信息、播放视频、截屏、拍照、录制视频、视频格式转换、视频编辑、图像处理（滤镜、缩放图像、翻转图像、混合图像等）、视频*等。 (5)办公自动化（第15～18章）：包括Excel、Word、PointPower和PDF的读写操作。 (6)JS高级技术（第3、4、6章）：包括WebAssembly、Node.js、PWA等。 (7)加密和解密（第19章）：MD5加密、SHA加密、Base64编码和解码、DES加密和解密、AES加密和解密、RSA加密和解密。 (8)文件压缩和解密（第20章）：压缩和解压zip和7z格式的文件。"
