
适读人群 :想提高代码质量的程序员 ;计算机专业的学生;想学习类型系统的读者 作为一名发人员,在日常工作中巧妙地使用类型能够写出更好的代码,提高查找与数据相关的棘手错误的效率。本书讲解基于类型的技术,可用来编写安全、正确和容易维护的软件。这本清晰易懂的教程主要面向有一定编程经验(如TypeScript、Java、JavaScript、C#或C 等主流编程语言使用经验)的发人员,侧重于介绍类型系统为日常编程工作带来的实用好处。通过学习使用TypeScript编写的真实示例,你将全面了解类型系统在编程中的应用技巧。


本书首先简要介绍了MATLAB使用基础,使读者对MATLAB有一个概要的认识;然后系统地介绍了MATLAB的数据分析、矩阵的基本操作、数值计算、程序设计、科学计算、几何与**化问题处理,以及绘图功能等内容,其中结合了大量实例,精选科学和工程计算中常用的多种算法,采用MATLAB语言编程实现,并结合实例对算法程序进行验证和分析,使读者进一步深入了解MATLAB的功能及其高级编程;*后安排了一章高级程序设计的综合实例,帮助读者巩固、提高。

MySQL免费而且使用面广,大部分企业都在使用它。随着数据量的指数级增长,其早期版本的稍显逊色,后来官方发布了*版的MySQL 8,性能比5.7版本提升至少2倍,这就需要广大数据库发人员迅速学会*版本。本书从门读者*想学习的MySQL 8技术手,包括角色安全、更快的索引等,而且配合视频操作录像,让读者可以快速掌握这个常用、流行的数据库管理系统,为提高自己的技术能力下基础。

本书主要讲解DevOps方法论中的CI/CD部分。从基础理论到落地实践,分别从持续集成阶段工具和持续部署阶段工具出发和落地。另外本书还融合了笔者多年发经验与实践的思考,以供读者学习和借鉴。


Android物联网开发:基于Android Studio环境

读者包括对micro:bit感兴趣的青少年爱好者,从事STEM教育的工作者,以及数学、艺术领域的跨专业爱好者。

(1)本书作者团队强大:水滴技术团队出品,团队核心成员均来自阿里、淘宝,其中不乏章建良(网名:Jilen)等技术大牛。 (2)书中干货多,且具备一定深度:本书不是一般泛泛讲语法的书,而是一般围绕Kotlin设计理念对所有核心内容行详细剖析的书,有一Java基础,想高层次门Kotlin的读者,本所不容错过。

《高质量PCB设计门》 让没有任何基础的读者,基于源硬件平台快速掌握PCB设计。 带领读者从原理图设计、布局布线一直到元件库的设计,全面贯通。 从Arduino到BB-Black,从简单的原理图设计到复杂的核心板设计,循序渐。



推荐: Cocos2d-x 3.X游戏发实战(附光盘) 疯狂iOS讲义:Objective-C 2.0与iPhone/iPad应用发基础(上 第2版 附光盘) 疯狂Android讲义(第3版) 疯狂iOS讲义(下) iPhone/iPad高级应用与手游发(附光盘) 基于Swift稳定、正式版本写成,避免了基于测试版写成图书误导读者及与实际语言特性严重不符的问题。 不仅百分百覆盖Apple官方Swift编程指南,更有丰富案例便于读者学习和领悟。 作者李刚老师已出版深受广大App发人员喜欢的《疯狂iOS讲义》(上)(下)册等畅销书。

在本书中,四位在分布式系统、企业应用发和源领域有着丰富经验的Kubernetes专家将会对使用Kubernetes容器编排系统构建应用行全程指导。他们的经验来源于在生产环境中成功运行Kubernetes的众多企业,书中的很多方法也通过具体的代码示例来说明。 本书面向已经熟悉Kubernetes 的基本概念,想一步学习通用的*佳实践的读者。本书提供了在Kubernetes上构建应用所需的知识。

PySpark可以对大数据行分布式处理,降低了大数据的学习门槛。本书是一本PySpark门教材,重讲述PySpark安装、PySpark用法、ETL数据处理、PySpark机器学习及其实战,*后给出一个综合实战案例。本书逻辑线索清晰,内容体系合理,适合有一定Python基础的大数据分析和处理人员学习使用。

HuggingFace自然语言处理详解——基于BERT中文模型的任务实战
★内容全面 本书是一本对HuggingFace工具集行综合性讲解的图书,既有基础知识,也有实战示例,还包括底层原理的讲解。 ★语言简洁 本书尽量以简洁的语言书写,每个章节之间的内容尽量独立,使读者可以跳跃阅读而没有障碍。 ★ 代码清晰 本书的代码也尽量以简洁的形式书写,使读者阅读不感吃力。每个代码块即是一个测试单元,读者可以对每个程序的每个代码块按从上到下的顺序行测试,从一个个小知识聚沙成塔,融会贯通。

作为一种有50年历史的编程语言,C语言还是非常现代的。无论是编写嵌式代码、低级系统例程,还是高性能应用程序,C语言都能应对挑战。本书基于新的C标准,揭示了这种久经考验的语言的现代视角。 本书介绍C编程,强调了这种强大语言独特和新颖的特性。为了满足初级C程序员的需求,本书从结构、语法、编译和执行等基础知识始。然后,你将一步了解控制结构、数据类型、操作符和函数,从而更深地了解在底层发生的事情。在*后几章中,你将探索性能、可重性、原子性、线程和泛类型编程。你将在编写代码的同时强化概念并磨炼技能。 本书主要内容: ?运算符和函数 ?指针、线程和原子性 ?C的内存模型 ?动手练习 本书的读者对象是可以轻松使用Java、Python、Ruby、C#、C++或C语言编写简单程序的程序员。

·资深Android专家经验之作,51CTO和源中国社区联袂推荐! ·高度抽象Android系统的设计理念和底层实现机制,全面概括Android实现原理的“要”和实际发中的“精华”,为发高质量Android应用提供绝佳指导!

(1)作者资深:作者刘宇是阿里云Serverless产品侧负责人,从事Serverless相关的工作多年,有丰富的实践经验,是国内知名的阿里云Serverless布道师。 (2)内容全面:这是一部从产品、发和工程实践3个维度全面讲解Serverless架构的著作。 (3)实操性强:通过本书,读者不仅能从产品和技术角度对Serverless架构有更加全面、直观的了解,而且还能将Serverless架构融自己研究的领域,获得Serverless架构带来的技术红利。 (4)专家力荐:来自国防科大、浙大、阿里、腾讯、字节跳动、CNCF的近20位学界和业界的专家一致推荐。



Virtual SAN*佳实践:部署、管理、监控、排错与企业应用方案设计


本书是结合编者多年的实际教学经验与十多年在模具厂生产一线r的工作实践而编写的,按照考证与数控竞赛的要求,从建模到数控编程再到工件装夹,介绍得非常详细,有利于学生参加考证和数控竞赛。

SAP中国官方资深专家撰写,SAP HANA官方中文社区和HANA中国社区联袂推荐,权威性毋庸置疑 详细讲解HANA的各个知识及其使用方法,深分析技术背后的本质,以实践为导向,包含大量有价值的实用案例,注重阅读体验


循序渐、通俗易懂:本书完全按照初学者的学习规律和习惯,由浅深,由易到难地安排每个章节的内容,可以让初学者在实战中掌握MATLAB的所有基础知识及其应用。案例丰富、技术全面:本书的每一章都是MATLAB的一个专题,每个实例都包含了相应的知识。读者按照本书行学习,可以举一反三,达到门并精通的目的。实例丰富、轻松易懂:本书讲解过程辅以丰富的实例,通过实例的精心讲解,并行相关拨,使读者领悟并轻松掌握每个功能命令的操作关键,并提高学习效率。

学编程,再也不难了! 本书独创: 1、化“抽象”为“具体” 独创源代码绘图写作方式,化复杂为简单,反璞归真。形象化地拆解高深理论、揭示编程奥秘、拨实践经验,在“润物细无声”之间,您会感叹,原来,一切不过如此。 2、融“情感”于“技能” 凡事欲破则立,不破不立。本书“破”传统单调的学习方式,“立”行动活泼的情景教学。让您享受新知的乐趣、体会探索的喜悦、发泄胜利的兴奋。 本书设计应用认知科学、以及学习理论,将这些知识轻轻松松、深深地印在你的脑海里。书中搭配大量的插图,阅读起来生动有趣,而不是昏昏欲睡。 精心设计许多注意揭示,畅谈学习中的奥秘,减少探索中的弯路。利用模拟的手写字体,增强“现场感”,在情景教学中,让学习过程不在枯燥。 本书循序渐地介绍Eclipse如何

企业IT部门首席信息官、IT主管、IT技术工程师、技术类人员、IT技术公司员工、互联网公司员工、教育机构师生等

作者15节课直播视频资料:https://pan.baidu.com/s/1GYN4TFrfkDDfcEJwdZW6QQ 提取码:esnb 以完整的时光之旅故事为载体,趣味性强、讲解生动,符合儿童的认知规律; 结合故事情节设置了许多任务,读者一步一步完成任务的过程中,不知不觉地掌握编程的知识和技巧; 本书并未简单停留在Scratch软件本身,而是一步帮助读者构建软件逻辑思维,提升表达能力和想象力,同时提高分析问题和解决问题的能力。 这部故事编程书,共有十四章,每章对应一个故事,每个故事中有一个或多个编程任务。

本书介绍了当前NLP的研究热,如预训练模型、知识的引、迁移学习、低资源任务学习、多模态学习等,内容介绍上由浅深,从基础环境安装,到理论讲解,再到数学推导,然后解释各个模型的优缺,*后还有应用场景介绍和代码实战。

深度实践OpenStack:基于Python的OpenStack组件开发

本书主要面向具有一定JavaScript语法基础,想让JavaScript发挥更大作用的人群。学习本书,不需要具备特殊的专业知识,只需熟练掌握 跟兄弟连学HTML5系列教程 的第二本书《细说JavaScript》的基本部分,就可以跟随本书一起来学习DOM编程了。

适读人群:本书适合Flutter初学者,对移动发(iOS/Android)有一定经验的人员,以及希望了解Flutter原理并阶实战的相关技术人员。 移动端资深架构师,专家讲解,Flutter核心技术与前沿案例。 谷歌全平台框架Flutter门到阶实战的教程,面向基础学习、商业应用场景,从原理到实战。 丰富的案例呈现,极具实操意义的项目案例剖析,即学即用的代码结构、附赠源码。 代码全面适合新版本,疑、难解析,可直学习上架App 。 一套代码多端运用,大前端构建、移动发、Dart语言学习的名锋利器 。 Stack Overflow 2019年备受发者追捧的框架之一。

本书全面介绍了计算机前沿科技——虚拟现实X3D(Extensible 3D),即虚拟现实三维立体网络程序设计语言。

官方 Scratch 3.0 编程趣味卡:让孩子们爱上编程(全彩)
这套卡片是Scratch创始人的作品;全彩印刷,具有权威性、新颖性、易用性的特;满足中小学人工智能教育需要;提升孩子想象力和创造力;适合在多种环境下学习和使用


本书侧重于面向对象方法处理问题的观点和原理,用C++程序设计语言作为描述工具,介绍面向对象的基本方法、实现机制、具体编程技术,并在各相关章节中介绍相应的软件开发方法。

以 精巧、够用 为主旨,剖析Spring Cloud组件原理与应用,并以综合案例融合微服务和DevOps实践

案例翔实,MATLAB*化计算的经典之作。 提供MATLAB教学视频免费下载。



(1)本书基于成熟的Kotlin 1.3版编写,是发者可以快速门 Kotlin 的超棒资源,为常见的发任务提供了简明实用的指南,同时指出了从Java过渡到Kotlin面临的困难。由携程机票移动端高级工程师、Kotlin中文社区成员、Kotlin官方文档译者乔禹昂翻译。 (2)本书的重不仅在于讲解 Kotlin 的语法与语义,还将展示何时以及为何应该使用某个指定的语言特性。本书的目标不一定会涵盖每一个 Kotlin 语法与库的细节。但在*后,本书添加了很多基本原理的内容,让即使只有 Kotlin 初级知识的读者也可以理解本书的内容。 (3)当你认真学习 Kotlin 的细节后,你就可以使用这门受欢迎的语言构建 Android 应用、Web 应用以及其他程序。Kotlin 不仅可以用于任何应用 Java 的地方,还可以用于 iOS 发、编写原生应用程序、JavaScript 发以及更多场景。 推荐阅读:

(1)HiBlock社区官方出品。 (2)4位作者均是以太坊、智能合约方面的专家,同时也是我国区块发展的积极推动者和早期参与者。 (3)本书得到了7位区块、以太坊领域技术专家的高度评价。 (4)给出了基于以太坊行智能合约发的全景介绍,部分核心内容达到了源码级别。 (5)重剖析了Solidity语言、EVM、OpenZeppelin源码、安全编码、DApp发等核心内容。


本书从R语言临床预测模型基本原理讲起,逐步深到阶实战,并配合实战案例,重介绍临床预测模型的构建、评价、验证,让读者可以快速领悟 3~5分预测模型 SCI(science citation index,科学引文索引)的套路与精髓,为后续冲10分以上SCI基础。 本书分为13章,主要内容有线性回归、Logistic回归、Cox回归、竞争风险模型等;自变量筛选方法有传统方法、逐步回归法、Lasso法、随机森林法、子集法、主成分分析法等;模型可视化涉及多种形式的列线图、Calibration校准曲线、ROC、DCA 曲线等图形绘制,不仅涉及单模型的可视化,还涉及单模型多时、多模型同时的可视化;模型评价指标涉及C指数、AUC、NRI、IDI 等;模型验证主要涉及简单交叉验证、K折交叉验证、留一法交叉验证及Bootstrap法。 本书内容通俗易懂,案例丰富,实用性强,适合R语言临床预测模型的门读者和阶读者,尤其



与市面上已有AI产品经理书相比,《产品经理阶:100个案例搞懂人工智能》的特色在于: 从技术实操角度手,结合产品经理日常工作需求,分享干货知识 梳理了机器学习的清晰脉络和关键知识,让读者知其然,更知其所以然 丰富小案例贯穿全书,帮助0基础读者门



1. 案例丰富。通过88个典型小案例和4个综合大案例带你迅速掌握深度学习算法。 2. 配套丰富。全部案例的源代码免费下载。

本书旨在阐述视觉设计中基本的概念与技巧,这是所有设计师在阶之路上所必须掌握的。本书集启发性和趣味性于一体,通过幽默趣事、实用贴士及启发灵感的视觉案例,详尽阐释了涉及风格、色彩、字体、美学等领域的95个原则,并将其运用在印刷和网页等多种艺术形式中。本书并非简单罗列这些原则,而是以轻盈、自由的行文风格,揭示了使版面、插画和摄影作品在视觉和主题性上更引人胜的实用技巧。通过本书,你不仅能学到如何像平面设计师一样创作,还能学会如何像平面设计师一样思考。 主要内容: ·利用网格、边框、对称、非对称、图案、边距和纹理构成有效的版面。 ·找到黄金分割比例,并用它创建赏心悦目的图案和构图。 ·通过恰当的框架、构图、色彩、间距和字体在设计中创建视觉层次。 ·在设计中利用色轮创建和使用自定义调色板。 ·在印刷

本书由浅深地讲解了Flink各个模块的实现原理,以及各种API的使用方法,是一本带你轻松上手Flink*佳实践的书籍。

本书首先对MATLAB的基础知识、数值分析等进行介绍,让读者对MATLAB有一个概要的认识和了解,然后系统地介绍MATLAB的自带工具箱及其应用,详细地讲解了Simulink的高级应用、GUI编程设计、MATLAB/Simulink在电路中的仿真、ATLAB/Simulink在控制系统中的仿真及MATLAB仿真技术综合实例等。

这一波工业4.0浪潮的到来,在下来的十年甚至更长的时间里,对于中国的制造行业来说,既是一次提高自身能力的难得机遇,也是一场来自国内外同行的竞争与挑战。为了抓住机遇和迎挑战,企业不仅需要掌握相关的工业4.0的基础理论和知识,更要了解各种技术的发展动态,提前布局,稳步推。在实现和推动工业4.0的林林总总的技术中,*能体现工业4.0精髓的,无疑是软件技术。来自德国的SAP公司,作为全球*大的商业软件企业,不仅是工业4.0的发起者之一,也是工业4.0的核心软件供应商,积极参与工业4.0的推广和实践。本书以SAP的相关软件技术为支撑,介绍工业4.0驱动下的制造业的数字化转型背景、理论、应用领域和关键技术。本书介绍了大量结合SAP工业4.0解决方案在制造行业的具体落地案例,探讨如何实现工业4.0解决方案在企业中的部署,展示系统方案对业务运

从此初学,走向精通。 循序渐:从门始,由浅深,逐步深地讲解 实例丰富:讲解技术时列举了大量实例,实用性强 注释详细:书中的实例源代码给出了大量注释,便于阅读 案例精讲:提供了3个综合案例帮助读者提高发水平 视频讲解:配大量多媒体教学视频行讲解,学习效率高


您是一名jQuery新手?或是您曾经向自己的Web页面上添加过一些脚本,但想以一种更好的方式来实现它们?那么,本书非常适合您。本书不仅向广大读者展示了如何行jQuery发,同时还以一种简单且视觉化的方式,教您有关发的基础知识。

本书所有内容围绕着密切联系实际的典型应用示例行和展;充分考虑了初学者的特,本书配有相关的视频讲解,对程序可能的疑难行了详细解释。