购物车
个人中心
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
￥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搭建、网络测试相关的知识，本书很适合你。本书涵盖的知识点主要是网络运维相关技术，在学习完所有的章节之后，读者能对网络的管理有初步的了解。每个章节的后面部分都是有一定难度的扩展资源，循序渐进，帮助读者提升网络运维能力。
Go语言高级开发与实战
￥77.35
Go语言高级发与实战聚焦Go语言的高级发技巧和应用实战。《Go语言高级发与实战 》共6章，分别为Go语言基础实战、Go语言高级编程技巧、Go Web编程、Go语言并发编程、分布式系统、Go语言秒杀系统实战。Go语言高级发与实战简洁而不失技术深度，内容丰富全面，以极简的文字介绍了复杂的案例，是学习Go语言高级发的实用教程。 Go语言高级发与实战适合Go语言初学者、Go语言中高级发人员、Web发工程师阅读，还可作为大中专院校相关专业和培训学校师生的学习用书。
工业控制网络技术
￥45.37
本书系统地阐述了几种市场占有率较高的工业控制网络技术的通信协议、技术特、硬件实现以及系统设计等内容，旨在介绍工业控制网络技术及应用。全书共分为6 章，第1 章主要介绍了工业控制网络的概念、研究意义及发展现状。第2 ～ 5 章详细介绍了当今已经具有极大市场占有率和良好应用前景的四种主流工业控制网络技术： PROFIBUS 控制网络、Modbus 控制网络、CAN 控制网络、DeviceNet 控制网络。第6 章简要介绍了其他几种工业控制网络技术，工业以太网：Ethernet/IP、EtherCAT、EPA ；WLAN ：WAPI，并简要分析了控制网络的选用原则。
商业化推荐系统服务应用实战
￥51.35
《商业化推荐系统服务应用实战》主要从企业的商业模式出发，结合作者对企业生命周期发展阶段的分析和判断，对如何设计与实施推荐系统服务的商业化过程和相关业务实践行介绍和分享。本书涵盖了从推荐服务的商业创新模式到需求与解决方案管理、商业化版本发布、工作流支持以及绩效KPI体系设计和跨职能团队的沟通技术等方面的内容，着重体现了现代商业化产品生态中，跨职能团队的密切协作与商业化服务的可靠交付的价值。 《商业化推荐系统服务应用实战》适合软件创新型企业的团队领导者、决策者阅读，同时对希望通过商业智能技术对企业行转型的领导者、执行者也有指导作用。
移动互联营销:从4P时代到4D时代
￥29.25
在移动互联网、云计算、物联网以及大数据发展日益迅速的今天，传统企业面对一些新兴营销模式，如O2O、微信营销、网络支付等，所感受到的迷失和迷茫，对传统渠道管理和费用控制的力不从心，对顾客消费模式变化以及忠诚度的空泛理解等，都促使我们必须对传统经典营销模型行思考和调整，以满足众多企业在营销模式和经营策略方面的急切需要。 移动时代发展、产业转型升级、消费特变革，要求管理人员从新的视角来审视和思考品牌与用户的关系，策划和展更为有效的移动互联营销，本书的4D模型提供了这种新视角。4D模型的构成要素包括：关注用户的真正需求（Demand）、向客户快速传递价值（Deliver）、跟客户保持动态沟通（Dynamic）以及基于大数据的决策（Data）。在此基础上借助大数据、平台化、跨行业等互联网思维重塑企业经营管理模式和价值传递渠道，通过社会化渠道管控全面建设和强化企业的运营能力，使企业初步具备全渠道销售能力，并通过协同线上线下业务、优化运营模式实现营销模式的互联网转型，形成全渠道价值。
咨询心理学
￥22.75
咨询心理学（counseling psychology）是应用心理学的重要分支，与临床心理学和健康心理学一起，承担着研究人的心理健康维护、心理困惑厘清、心理疾病识别、心理障碍矫治、心理问题预防的重任。国内常把咨询心理学与临床心理学、心理治疗混为一谈，其实，它们之间有很大的不同，咨询心理学服务的主要对象是人格健全的普通人，而不是患者。 本书是日本心理咨询界泰斗级大师松原达哉的作品，是集先生数十年理论与实践的精华力作。书中系统介绍了咨询心理学的理论、技法与伦理，并结合具体案例，为人们解决在学习、职场、生活、保健和疾病预防方面出现的心理问题，提供有关的理论指导和实践依据，以达到更好地适应社会、环境与家庭的目的，增身心健康。 其中，产业咨询心理学、学校咨询心理学部分的内容，对我国正处于起步阶段、市场前景广阔的企业、公司、政府部门的EAP（企业员工援助计划）咨询服务的实践、学校心理咨询的尺度把握，具有前瞻性的指导意义。咨询师伦理的相关内容，对于自然灾害等突发事件后的心理咨询工作者，如何在一线展合适的咨询服务，提供了合理的借鉴。本书尤其适用于EAP咨询师、心理咨询师、学校咨询师的培训用书，也可以作为一线咨询师的业务指导手册。 ?
Puppet权威指南
￥44.85
自动化运维领域的重磅之作，Puppet领域权威的、系统的、有深度的、极具企业实战价值的著作。腾讯高级运维工程师撰写，获得了来自腾讯、百度、*、新浪等多家*互联网企业的总监级运维专家的高度认可和联袂推荐。工欲善其事，必先利其器，在操作层面，本书从Puppet的基本功能到高级功能，再到二次发均有详细分析，内容详尽而系统，能帮助读者全面掌握Puppet的使用；知其然，更要知其所以然，在原理层面，《Linux/Unix技术丛书：Puppet权威指南》从多个层面和角度分析了Puppet的工作原理，能让读者更深理解和使用Puppet；好的经验是无价的，在应用层面，作者将自己几年来学习和应用Puppet积累的方法、技巧、*实践以及解决疑难问题的秘诀都毫无保留地奉献了出来，能让读者少走弯路，事半功倍；实践出真知，在实战层面，《Linux/Unix技术丛书：Puppet权威指南》给出了几个对企业很重要的、常见的综合性案例，不仅能帮助读者提高实战能力，还能给予他们解决这些问题的良好解决方案。
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
智能硬件与机器视觉:基于树莓派、Python和OpenCV
￥57.85
内容简介 这是一部讲解如何利用树莓派、OpenCV、Python等软硬件构建智能硬件并在其上实现图像分析、文字识别、人脸识别与追踪、视频监控等机器视觉功能的实用性著作。 全书一共11章： 第1~4章首先讲解了机器视觉在智能硬件领域的应用场景以及智能硬件上4种常见的机器视觉技术方案；然后讲解了树莓派和OpenCV的安装、配置以及其他准备工作；*后通过一些简单的案例和代码手把手教读者如何使用OpenCV。 第5~11章是本书的核心内容，通过几个具体的综合案例讲解了如何使用树莓派低成本玩转如下机器视觉场景：拍摄照片和视频、处理相机的原始数据、道路和商场的人流统计、道路信息的文字识别、人脸识别与追踪、中央AI视频监控等。以上案例循序渐，环环相扣，所有代码均可在树莓派上运行，可轻松移植到任何ARM发板上。
区块链将如何重新定义世界
￥51.35
本书作为国内率先出版的原创性区块启蒙读物，博采众长，汇集了众多专家学者对于区块的权威观，结合大量实例，由浅深、通俗易懂的向读者介绍了区块的由来与发展、区块背后的经济思想、区块的技术原理与特征、区块的应用前景以及对区块的展望与畅想，引领大家走近了解并读懂区块的世界。
Android开发精要
￥44.85
如何才能写出贴近Android设计理念、能够更加*和可靠运行的Android应用？通过Android的源代码去了解其底层实现细节是*重要的方法之一！然而，Android系统太过于庞大，源代码实现复杂，学习的技术门槛和时间成本都很高。有没有一种方法既能帮助开发者深入理解Android应用开发，又能不被底层大量的实现细节所羁绊，迅速掌握编写高质量Android应用所需的知识？本书针对这个问题给出了完美的答案！它从Android繁杂的源代码中抽取出了Android开发的“精华”和“要点”，剥离了大量琐碎的底层实现细节，进行了高度概括和总结，不仅能帮助开发者迅速从宏观上理解整个Android系统的设计理念，而且能帮助开发者迅速从微观上掌握核心知识点的原理，从而编写出高质量的Android应用。 本书共13章，在逻辑上分为4个部分。*部分（1-2章）：第1章系统介绍了Android的系统架构、核心模块和设计思想，旨在让读者真正理解它的设计理念；第2章讲解了Android源代码的获取、编译、阅读和编辑的方法。第二部分（3-6章）：第3章深入阐述了Android组件机制的设计理念和重要特征，并详细介绍了4大组件的方法和原理；第4章讲解了Intent对象和Android的意图机制，阐明了Android是如何将来自不同应用、不同进程的组件整合在一起的；第5章解析了Android中各个组件的生命周期，包括组件的进程模型和线程模型；第6章从开发的角度详细阐述了组件间数据传递的解决方案，以及它们的优缺点和适用场景。第三部分（7-8章）：第7章深入讲解了Android的控件框架，结合实际项目对重要控件的实现和使用逐一进行了分析，还包含Android 4.0界面开发的实践“精华”；第8章分析了Android的资源体系，剖析了Android底层对资源的处理。第4部分（9-13章）：第9章讲解了Android的数据存储结构，以及不同数据存储模式的使用要点；第10章分析了Android的各种网络连接方式，涵盖NFC和基于Wifi的P2P连接等内容；第11章讲解了Android的定位服务、地址解析服务、地图服务的框架实现；第12章仔细分析了Android各种多媒体功能的实现机制；第13章对Android中比较有特色的一些模块的实现细节进行了分析。
Maven实战
￥42.25
本书由国内社区公认的Maven专家Juven Xu亲自执笔，内容的权威性毋庸置疑。 本书是国内本公出版的Maven专著。它内容新颖，基于*发布的Maven 3.0，不仅详尽讲解了Maven 3.0的所有新功能和新特性，而且还将这些新功能和新特性与Maven 2.x版本行了对比，以便于正在使用Maven 2.x版本的用户能更好地理解。本书它内容全面，以从专家的角度阐释Maven的价值篇，全面介绍了Maven的安装、配置和基本使用方法，以便于初学者参考；详细讲解了坐标和依赖、Maven仓库、生命周期和插件、聚合与继承等Maven的核心概念，建议所有读者仔细阅读；系统性地阐述了使用Nexus建立私服、使用Maven行测试、使用Hudson行持续集成、使用Maven构建Web应用、Maven的版本管理、Maven的灵活构建、生成项目站和Maven的m2eclipse插件等实用性较强的高级知识，读者可有选择性的阅读；扩展性地讲解了如何Maven和Archetype插件，这部分内容对需要编写插件扩展Maven或需要编写Archetype维护自己的项目骨架以更便于团队发的读者来说尤为有帮助。它实战性强，不仅绝大部分知识都有相应的案例，而且本书还在第4章设计了一个背景案例，后面的很多章节都是围绕这个案例展的，可操作性极强。 本书适合所有Java程序员阅读，无论你是从未使用过Maven，亦或是已经使用Maven很长一段时间了，相信你都能从本书中获得有价值的参考。本书也适合所有项目经理阅读，它能帮助你更规范、更高效地管理Java项目。 你是否早已厌倦了日复一日的手工构建工作？你是否对各个项目风格迥异的构建系统感到恐惧？Maven——这一Java社区事实标准的项目管理工具，能帮你从琐碎的手工劳动中解脱出来，帮你规范整个组织的构建系统。不仅如此，它还有依赖管理、自动生成项目站等超酷的特性，已经有无数的源项目使用它来构建项目并促团队交流，每天都有数以万计的发者在访问中央仓库以获取他们需要的依赖。 本书内容全面而系统，Maven的原理、使用方法和高级应用尽含其中；注重实战是本书的另一个特，不仅在各个知识都辅有大量的小案例，而且还有一个综合性的案例贯穿全书。如果你想使用Maven，或正在使用Maven，本书将给你绝佳的指导。
与量子比特共舞
￥70.27
本书介绍量子计算的理论基础、基本原理和工作机制，帮助读者了解量子计算的基础和概况。全书共12章，首先介绍为什么要使用量子计算，然后分基础知识和量子计算两个部分，介绍量子计算所依赖的经典计算的相关知识，以及量子计算的工作机制，并展望量子计算的发展前景。 本书适合对量子计算感兴趣，并且想要学习和了解与量子计算相关的物理学、计算机科学和工程发等知识的读者。
Flutter之旅
￥77.35
本书从一个Android原生发者的角度去认识和了解Flutter，本书作者以幽默生动的故事描写手法，记录在Flutter学习中所遇见的景色，并呈现给读者，主要内容包括：Flutter的安装与基本概念，Dart语法、组件与容器、布局基础、动画与手势、自定义组件、资源与路由、Flutter框架、Flutter与Redux、Flutter与iOS、插件发、综合案例等。 主要内容包括： ● 对调试的认识和对Flutter初始项目的分析。 ● Flutter整体认知和Dart常用语法速览。 ● 常用组件的用法介绍和如何自定义绘制组件。 ● Flutter动画、手势的使用和路由跳转。 ● 从框架层源码角度一步认识Flutter渲染机制。 ● 异步和流的详解与文件操作方法。 ● 共享数据的处理方式和状态管理。 ● 使用SQLite数据库、XML配置文件等实现数据持久化存储。 ● 通过Flutter与平台间的通信制作插件的方法。 ● 如何将Flutter集成到现有项目以行混合发。?
