购物车
个人中心
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
￥47.40
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
面向WebAssembly编程:应用开发方法与实践
￥47.40
这是一部讲解如何用高级编程语言开发WebAssembly应用的著作，由国内WebAssembly领域的先驱者和布道者撰写。 全书一共10章，分为三个部分。 *部分 基础篇（第1～3章） 首先介绍了WebAssembly的基础和工具链Em*en的用法，然后详细讲解了使用C/C++语言和Em*en开发WebAssembly模块的方法。 第二部分 方法篇（第4～8章） 对Em*en运行时、WebAssembly友好的一般性方法、网络 I/O、并发执行、GUI 及交互等知识点展开了深入的讨论。 第三部分 前沿篇（第9～10章） 详细讲解了WASI以及如何使用Rust语言开发WebAssembly模块和WASI应用。
基于Swift语言的iOS App 商业实战教程
￥47.40
内容提要 Swift是苹果公司于2014年推出的一种全新语言，它正在逐步替代Objective-C语言行iOS应用发。基于Swift的市场份额越来越大，广大发者使用Swift语言发iOS应用势在必行。 本书以OS X 10.11为平台，以Xcode 7.3.1为发工具，采用理论加实战的方式，循序渐地带领大家发了一个微博项目。该项目基于新浪微博官方提供的API行发，可以更好地帮助大家学习和理解项目结构、新浪微博的认证授权以及新浪API的调用。 本书共分为15章，其中第1章讲解项目搭的准备工作，包括项目相关介绍、项目的创建、架构的搭等。第2~14章从项目架构搭始，带领大家发了微博项目的核心功能。第15章介绍了项目测试以及发布的流程。通过本书的学习，相信读者能够具备独自发iOS应用的能力，成为Swift发人才。 本书附有配套视频、源代码、教学课件等资源，为了帮助读者更好地学习本书内容，还提供了在线答疑，希望可以帮助更多读者。 本书既可作为高等院校本、专科计算机相关专业的教学用书，也可作为社会培训机构的参考用书，还可作为iOS发爱好者的自学读物。
MySQL应用实战与性能调优
￥47.40
MySQL是流行的关系型数据库管理系统之一。书中从数据设计和数据库的基本使用始介绍，逐步深一些复杂的内容，包括连查询的使用、子查询、字符串函数、数字函数、日期函数以及新版本的窗口函数，还包括存储过程、游标、创建高效的索引以及SQL优化技巧等。通过大量的示例应用，系统地讲述读者应该掌握的知识，以及对于数据库的优化，其中包括MySQL的架构以及MySQL 8的新特征，也包含MySQL基准测试和性能剖析，数据库软硬件性能优化，内存优化，复制、备份和恢复，高可用与高可扩展性，尤其对于MySQL中各种锁机制以及MySQL的MVCC的核心原理都一一通过理论和大量的示例行解析，以方便读者理解。
基于Docker的Redis入门与实战
￥47.40
内容简介 这是一本从产品和技术两个维度全面讲解Serverless的著作，涵盖Serverless的架构设计、技术原理、发流程、实战案例等4大核心主题。作者是腾讯云Serverless的高级产品经理和高级研发工程师，从零始参与了腾讯云Serverless项目的建设。 全书共15章，内容从逻辑上可分为五个部分： 第1部分（第1章） Serverless基础 主要介绍了Serverless的概念、发展历程、基本特、应用场景、框架和生态，以及它为发者、企业和云计算带来的作用和优势。 第二部分（第2～4章） Serverless架构和原理 首先介绍了Serverless的整体架构，以及其中的FaaS架构和BaaS架构，然后深分析了FaaS层好BaaS层的底层原理。 第三部分（第5～9章） Serverless发流程 从上下游生态的视角讲解了如何发和部署一个完整的Serverless应用，包括发、调试、测试、部署、CI/CD、运维等全生命周期的各个环节。 第四部分（第10～14章） Serverless实战案例 涵盖了Serverless的典型应用场景并提供丰富的实战案例和Z佳实践，包括如何将传统的Web服务迁移到Serverless架构、Serverless SSR应用场景、全栈后台管理系统和基于热门语言TypeScript发的短服务等。 第五部分（第15章） Serverless趋势预测 首先介绍了当前学术界在Serverless领域的研究方向、重以及取得的成果，然后介绍了伯克利大学对Serverless未来10年发展趋势的预测。
机器人系统设计与制作:Python语言实现(原书第2版)
￥47.40
本书解释了如何从零始构建一个自主移动机器人，并使用Python对其行编程。本书从机器人的基础概念始，然后介绍机器人的3D建模和仿真。在对机器人成功行仿真之后，讨论了建立机器人原型所需的硬件组成。在本教程结束时，你将清楚地了解如何将所有东西集成到机器人中，以及如何将包软件。
C语言编程思想与方法
￥47.40
本书是一本讲授使用C语言行程序设计的实用参考书。它以C语言为工具，讲授程序设计的过程和方法。从C语言和C程序的基本要素以及程序设计的基本方法始，循序渐地引对程序设计专业化的要求和相关的知识。从增强读者的感性认识手，通过多角度对例题的分析，示范对关键知识和技术的运用，通过对关键内容在不同层次上的适当重复，深化读者对概念的理解和掌握。
普林斯顿计算机公开课(原书第2版)
￥47.40
从1999年始，作者在普林斯顿大学设了一门名为“我们世界中的计算机”的课程（COS 109：Computers in Our World），这门课向非计算机专业的学生介绍计算机的基本常识，多年来大受学生追捧。本书就是基于这门课程的讲义编写而成的，书中不仅解释了计算机和通信系统的工作原理，还分析了新技术带来的隐私和安全问题。第2版的新增章节讨论了Python编程、人工智能、机器学习以及大数据等内容。本书适合所有希望了解数字世界的读者阅读，通过了解技术的工作原理、起源和未来发展趋势，更好地理解并改变我们身处的世界。
Python语言及其应用
￥47.40
本书介绍Python 语言的基础知识及其在各个领域的具体应用，基于新版本3.x。书中首先介绍了Python 语言的一些基本知识，然后介绍了在商业、科研以及艺术领域使用Python 发各种应用的实例。文字简洁明了，案例丰富实用，是一本难得的Python 门手册。 本书适合所有编程初学者阅读。
Docker实践
￥47.40
《Docker实践》由浅深地讲解了Docker的相关内容，涵盖从发环境到DevOps流水线，再一路到生产环境的整个落地过程以及相关的实用技巧。书中介绍Docker的核心概念和架构，以及将Docker和发环境有机、高效地结合起来的方法，包括用作轻量级的虚拟机以及构建和宿主机编排、配置管理、精简镜像等。不仅如此，本书还通过“问题/解决方案/讨论”的形式，将“Docker如何融DevOps流水线”“如何在生产环境落地”等一系列难题拆解成101个相关的实用技巧，为读者提供解决方案以及一些细节和技巧方面的实践经验。阅读本书，读者将学到的不只是Docker，还包括持续集成、持续交付、构建和镜像管理、容器编排等相关领域的一线生产经验。本书编写时一些案例参考的Docker版本是Docker 1.9。 《Docker实践》要求读者具备一定的容器管理和运维的基础知识，适合想要将Docker投实践的相关技术人员阅读，尤其适合具有中 高 级DevOps和运维背景的读者阅读。
未来机器人畅想
￥47.40
能够成功融人类社会的机器人快要出现了吗？这样的机器人将如何改变我们与技术的关系？本书由机器人领域的两位引领者撰写，书中借鉴并分析了航空航天领域的案例，提出了表征环境无序程度的社会熵、构建基于共享数据的机器人安全报告系统以及搭建大规模的仿真试验场等创新性观。作者强调未来机器人将不再是简单的工具，而是我们的合作伙伴，是真正的社交机器。全书重从实践应用和用户体验的视角畅想人机协作的未来愿景，不展讨论技术细节，适合所有对机器人及人工智能感兴趣的读者阅读参考。
精通LevelDB
￥47.40
本书详细剖析LevelDB从使用到设计实现的方方面面，读后可了解谷歌Bigtable数据库的设计精髓，逻辑上可分为两部分。 部分着重讲解LevelDB的基础知识，主要内容如下。 1）基本数据结构，这是理解后续内容的基础，也可以加深对比较器、迭代器等常见数据结构的理解。 2）基本使用，如数据库、关闭以及基本的读写操作。 3）总体架构与设计思想，读后可掌握LevelDB的整体情况与设计思路。 4）公用基础类，读后可了解LevelDB中如何实现数值编码、内存管理以及文件读取等。 第二部分着重讲解LevelDB各模块的实现细节，主要内容如下。 1）Log模块的实现细节，以及如何通过Log行崩溃恢复，并生成一个MemTable文件。 2）MemTable模块的实现细节，以及MemTable超过内存阈值时如何生成一个SSTable文件。 3）SSTable模块的实现细节。 4）Compaction原理与多版本管理。
小白实战大前端:移动端与前端的互通之路
￥47.40
本书由资深前端专家撰写，7位知名专家联袂推荐。本书的一大特是采用一个案例两套方案行讲解，并总结其中异同，方便大家“迁移式”学习，快速门。另外，本书摒弃了框架和API知识，带领大家编写原生程序，以了解前端和移动端异同的来龙去脉，方便后续一步学习。 本书内容共分10章，具体如下。 ●第1章，总结大前端的生态、人才需求以及学习技巧，以便读者从整体掌握行业需求与个人发展路线。 ●第2～9章，分别用移动端和前端的技术方式实现一个微型电商项目，通过对比和关联式讲解，让读者快速掌握两端技术的主要异同，如基础页面配置、通用头部布局、列表基础布局、布局嵌、图片、事件、数据更新等。 ●第10章，主要对比分析前端和移动端的发布流程、内存管理、系统权限以及设备的差异情况，为读者今后的阶学习提供指引。
信息安全精要:从概念到安全性评估
￥47.40
本书是对信息安全领域的高度概述。首先介绍了信息安全相关的基础性概念，如身份验证和授权；然后深研究这些概念在运营、人力、物理、网络、操作系统、移动通信、嵌式系统、物联网和安全应用等领域的实际应用；之后，介绍了如何评估安全性。通过本书，读者将更好地了解如何保护信息资产和防御攻，以及如何系统地运用这些概念营造更安全的环境。本书适合安全专业门人员和网络系统管理员等阅读。
昆仑子牙练AI:人工智能从开发到实战
￥47.40
本书以读者熟知的姜子牙的故事为线索，围绕人工智能技术的特色和应用，介绍自然语言处理、机器翻译、计算机视觉等人工智能技术内容，并通过大量实例帮助读者动手实践，掌握用AI解决实际问题的能力。
深入浅出联邦学习:原理与实践
￥47.40
全书共9章，分为4部分。 *部分 基础（第1～2章） 主要介绍了联邦学习的概念、由来、发展历史、架构思想、应用场景、优势、规范与标准、社区与生态等基础内容。 第二部分 原理（第3～5章） 详细讲解了联邦学习的工作原理、算法、加密机制、激励机制等核心技术。 第三部分 实战（第6～7章） 主要讲解了PySyft、TFF、CrypTen等主流联邦学习开源框架的部署实践，并给出了联邦学习在智慧金融、智慧医疗、智慧城市、物联网等领域的具体解决方案。 第四部分 拓展（第8～9章） 概述了联邦学习的形态、联邦学习的系统架构、当前面临的挑战等，并探讨了联邦学习的发展前景和趋势。
5G时代边缘计算:LF Edge生态与EdgeGallery技术详解
￥47.40
本书详细*地介绍了LF Edge社区和其下各项目，包括LF Edge各项目系统架构、重点Blueprints、重点Feature模块实现细节，通过真实的案例指导应用边缘计算开源项目实践，填补了LF Edge书籍国内市场空白。 华为开源技术团队出品，本书作者为华为开源首席联络官，其带领团队常年活跃在网络开源领域，并长期在LF Edge开源社区贡献代码。团队对于LF Edge社区版本架构和技术，以及社区运作均有深刻理解。 本书除对几个主流开源项目进行详细介绍外，还专门介绍华为在边缘计算方面的实践和探索。
智能搜索和推荐系统:原理、算法与应用
￥47.40
本书分为4大部分。*部分（第1~3章）：搜索推荐系统的基础。首先介绍数学与统计学是现代机器学习理论的基础；其次介绍搜索推荐系统的常识；*后，描述知识图谱相关基础理论。第二部分（第4~6章）：搜索系统的基本原理。主要内容包括：搜索系统框架及原理、主要算法以及搜索系统相关评价指标。第三部分（第7~9章）：推荐系统的基本原理。主要内容包括：推荐系统框架及原理、主要算法以及推荐系统相关评价指标。第四部分（第10~12章）：应用。首先介绍三种常见的搜索引擎工具；其次讲述搜索引擎和推荐系统两个方向的应用。
可解释机器学习:模型、方法与实践
￥47.40
本书先从背景出发，阐述黑盒模型存在的问题以及不解决黑盒问题模型可能带来的后果，引出可解释机器学习的重要性；随后，我们从可解释机器学习的研究方向，分为内在可解释模型算法和模型事后解析方法两部分行介绍，阐述不同模型的原理、应用及其可解释性。z后通过三个不同的应用场景，介绍在银行实战中的数据挖掘方法，由问题、处理方法出发，结合可解释机器学习模型结果，证明模型的有效性和实用性，期望读者通过对本书的阅读，可以更快更好的解决实际业务问题，而非纸上谈兵。业务场景均为业内的典型案例，希望能够对读者有所启发。同时，本书中还会有大量的公式与代码，保证内容的丰富与严谨，经得起推敲，使得读者知其然且知其所以然。
互联网消费金融:业务架构、运营和数字化转型
￥47.40
这是一本写给互联网消费金融行业从业者的实战指南，从产品创新、业务架构、精细化运营、数字化转型等多个维度对互联网消费金融进行了有针对性的讲解。作者是互联网消费金融领域的先行者和布道者，从行业兴起一直深耕至今，目前是知名互联网消费金融机构运营和技术负责人，对行业创新和应用架构有深刻理解，经验非常丰富，本书是他们多年从业经验的总结。第1章简要介绍了互联网消费金融的核心概念、生态、趋势和痛点，旨在让读者对这个行业有一个整体认识；第2章以构建成功的客户旅程为切入点，讲解了如何以用为为中心来设计互联网消费金融类产品，这是产品创新的关键；第3~4章首先讲解了互联网消费金融的业务架构方法论，然后具体讲解了银行、消费金融公司、金融科技公司的互联网消费金融的业务架构；第5~6章详细讲解了互联网消费金融业务的运营体系和精细化运营实操方法；第7章重点讲解了互联网消费金融行业数字化转型的切入点、能力体系和行动路线；第8~9章有针对性的介绍了头部互联网金融消费平台给我们的启示，以及行业未来的机遇和挑战。
IoT产品经理实践
￥47.40
这是一部能指导IoT产品新人快速门并顺利晋级为能独当一面的IoT产品高手的著作。 作者结合自己在出门问问、网易有道、小米等企业的多年实践经验，从认知、态度、方法论3个维度，针对想IoT产品领域的新人、想从其他行业转行到IoT领域的成熟产品经理、想晋级为高级IoT产品经理的初级IoT产品经理这3类人群提供了有针对性的知识、经验和建议。 针对IoT产品新人，作者结合自己的成长经历，为他们提供了三样法宝：第1，门地图，为他们的成长给出了很好的参考路径，让他们在前路上不会感觉孤单；第二，能力模型，从硬件、软件、算法等维度总结了他们应该具备的能力和素质，为他们的日常学习和修炼画了重；第三，思维框架，作者从战略和实践两个维度，将IoT产品经理的思维框架提炼为一个“双金字塔模型”，同时结合实例讲解了模型的用法。 针对大量想从软件行业、互联网行业以及传统行业转型到IoT行业的成熟产品经理，指出了这些行业的产品经理与IoT产品经理在关注、能力模型、思维框架等方面的差异性，同时为他们的转型提供了宝贵的建议。 针对已经IoT领域的产品新人，讲解了如何从负责一个功能到负责一个模块，再到负责多个模块，Z后到负责整个产品，不仅有详细的方法，还有“避坑地图”，让他们的晋级之路事半功倍。 纵观全书，有关“认知、态度和方法论”的内容贯穿始终，希望读者可以不满足于现状，保持对新知的好奇心，同时注重提升认知、培养良好的心态、总结方法论，才能更好地创造出“感动人心的产品”。
