美商天龙图书网

反应式和并发系统的时序逻辑
所属分类：电子电脑>>计算机技术>>程序与语言作者：(美)佐哈尔·曼纳//(以)艾米尔·伯努利|责编:安妮|译者:张广泉出版社：清华大学
反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。本书是国际著名计算机科学家Zohar Manna和Amir Pnueli（图灵奖得主）的代表作，适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、研究生的教材或参考书，也可供相关领域的研究人员和技术开发人员参考。
人民币：RMB 79.00 元售价：NT$ 316.00 元

5G时代的DevOps理论与实践/5G与AI技术大系
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:亚信科技中国有限公司|责编:王中英出版社：清华大学
丛书项：5G与AI技术大系
本书是亚信科技结合二十多年的大型软件研发管理经验和DevOps理论，总结成的一套体系化、标准化的实践手册。全书共18章，分为四个部分：第一部分（第 1章和第2章）探讨DevOps 的基础与总体框架；第二部分（第3～7章）介绍与 DevOps紧密相关的敏捷的基础知识和理论；第三部分（第8～11章）详细介绍 DevOps在不同领域的平台和工具；第四部分（第12～ 18章）介绍多个行业的大型项目的落地实践案例，并在最后的第18章对DevOps的未来进行展望。本书适合运营商、金融、能源等大型企业的研发效能相关人员，以及IT从业者（包括产品经理、研发、测试、运维、敏捷教练等）阅读。
人民币：RMB 89.00 元售价：NT$ 356.00 元

Scala程序设计/面向数字经济时代中关村软件园专创融合实践教育系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:智酷道捷内容与产品中心|责编:汪敏//包宁出版社：中国铁道
丛书项：面向数字经济时代中关村软件园专创融合实践教育系列
本书循序渐进地介绍了 Scala编程语言的相关知识，共分为10章，首先详细介绍了Scala的一些基础知识，然后进一步介绍了Scala 的数据类型、基本运算、内建控制、类和对象、自适应类型和函数等知识；另外，本书还介绍了Scala继承和多态、权限和集合、映射和模式匹配等，并系统地介绍了如何与Java进行互操作。本书案例简便易学，实用性强。本书适合作为高等院校计算机相关专业程序设计课程的教材，也可作为Scala 技术的培训用书。
人民币：RMB 48.00 元售价：NT$ 192.00 元

互联网轻量级SSM框架解密(Spring\Spring MVC\MyBatis源码深度剖析)/云时代架构系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:李艳鹏//曲源//宋杨出版社：电子工业
丛书项：云时代架构系列
SSM是Spring、Spring MVC和MyBatis框架的组合，是目前Java领域使用非常广泛也非常稳定的开源Web 框架。李艳鹏、曲源、宋杨编著的《互联网轻量级SSM 框架解密(Spring\Spring MVC\MyBatis源码深度剖析 )/云时代架构系列》以SSM的核心代码剖析为基础，突破Java Web研发瓶颈的束缚，选取Spring、Spring MVC和MyBatis框架中易于理解的版本，深入剖析了其中各个模块的实现，从代码中挖掘常用的设计模式，为读者理解Spring系列框架的可扩展设计艺术提供了方法论和优秀实践。本书Spring源码剖析篇基于Spring 4.3.2版本，剖析了Spring上下文、Spring AOP和Spring事务的实现，并通过实例展示了框架陷阱的隐蔽性及学习框架原理的必要性。Spring MVC源码剖析篇基于Spring MVC 3.0版本，这个版本比较简单、核心清晰，便于读者理解透彻，这里主要讲解其中的设计模式及可插拔的设计思路。MyBatis源码剖析篇基于MyBatis 3.4版本，帮助读者对SQL语言、JDBC及数据访问方式有更深入的了解，也能看到工厂、Builder、代理、装饰者等设计模式在MyBatis中的大量应用。本书对于互联网从业者，或者传统行业的IT工程师、架构师、技术经理、技术总监，以及想深耕IT行业的技术人员都有很强的借鉴性和实用价值。
人民币：RMB 109.00 元售价：NT$ 436.00 元

系统集成项目管理工程师5小时学会考点速记法则(全国计算机技术与软件专业技术资格水平考试辅导用书)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:韦建召//李志霞|责编:王菲出版社：中国水利水电
本书是针对全国计算机技术与软件专业技术资格（水平）考试而编写的备考辅导用书。本书根据系统集成项目管理工程师考试大纲编写，囊括了本考试常见的高频核心考点，对这些考点做了详细、全面的讲解，给出了相应的速记方法，并配以视频讲解！同时本书对案例题答题技巧也做了战略和战术上的剖析，并给出了应对方法。本书是系统集成项目管理工程师考试应试者必读之书，也可作为信息化教育的培训与辅导用书，还可作为高等院校相关专业的教学与参考用书。
人民币：RMB 69.00 元售价：NT$ 276.00 元

Python程序设计(基于计算思维和新文科建设)/新时代新文科新工科数字经济高质量人才培养系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：胡凤国|责编:章海涛出版社：电子工业
丛书项：新时代新文科新工科数字经济高质量人才培养系列
本书是面向初学者的 Python入门书，强调基础知识，兼顾实践应用。基础篇介绍Python程序设计的入门知识，共12章，重点包括： Python介绍、安装和运行； Python的基本概念（对象、数据类型、变量、表达式、内置函数）；输入和输出；程序设计的基本结构；函数和类；序列操作（列表、元组、集合、字典）；字符串；正则表达式；文件读写；目录与文件操作；常用标准库。排错篇总结初学者常遇到的错误并介绍程序调试方法，包含2章：Python错误类型、Python代码调试。本书为读者提供完整的教学资料包。作为学习的完整架构，与本书内容相关的文本篇和应用篇以电子出版物形式出版。本书适合作为高等院校文科类各专业学生学习 Python和大数据应用的教材，也可供相关从业人员学习参考。
人民币：RMB 68.00 元售价：NT$ 272.00 元

Python程序设计案例教程(物流类新时代新理念职业教育教材新型活页式融媒体教材)/首批国家级职业教育教师教学创新团队新形态教材改革系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:彭宇林//覃贵礼|责编:陈跃琴出版社：北京交通大学
丛书项：首批国家级职业教育教师教学创新团队新形态教材改革系列
本书对接高职院校物流工程技术专业建设，是为深化职业教育“三教”改革而探索、开发的与高职物流类工程技术人才培养相适应的项目化、模块化的Python程序设计基础案例教程。本书根据高职物流工程技术人才培养需要而编写。全书共7个项目，14个任务，将Python编程语言涵盖的 Python程序设计基础知识、基本数据类型与表达式、程序的基本控制结构、组合数据类型、函数等内容融入项目任务。本书通过项目任务深入浅出、循序渐进地讲解 Python编程基础知识及其在实际项目中的应用，结合典型例题、实际应用及适量习题等强化学习效果。本书可作为高职院校物流工程等专业Python程序设计课程的入门教材。
人民币：RMB 45.00 元售价：NT$ 180.00 元

最近浏览的商品

反应式和并发系统的时序逻辑

5G时代的DevOps理论与实践/5G与AI技术大系

Scala程序设计/面向数字经济时代中关村软件园专创融合实践教育系列

互联网轻量级SSM框架解密(Spring\Spring MVC\MyBatis源码深度剖析)/云时代架构系列

系统集成项目管理工程师5小时学会考点速记法则(全国计算机技术与软件专业技术资格水平考试辅导用书)

Python程序设计(基于计算思维和新文科建设)/新时代新文科新工科数字经济高质量人才培养系列

Python程序设计案例教程(物流类新时代新理念职业教育教材新型活页式融媒体教材)/首批国家级职业教育教师教学创新团队新形态教材改革系列