本书从持续集成(CI)和持续交付(CD)的基础知识以及它们在 DevOps 生态系统中的位置入手,证明利益相关者协作作为 CI/CD 一部分的重要性。 随着章节的深入,读者将接触 Jenkins UI,学习在不同平台上安装 Jenkins、添加插件和编写自由风格脚本,获得使用Jenkins UI 开发插件、构建 Jenkins 2.0 流水线和进行 Docker 集成的实践经验,学会安装 Travis CI 和 CircleCI,进行脚本编写、日志记录与调试,通过 Travis CI 和 CircleCI 获得有关 CI/CD 的广泛知识。 本书将详细介绍 CI/CD 生态系统的实践并指导读者实施。 本书涵盖的主要内容: ■ 在不同的操作系统上安装 Jenkins; ■ 学习 Jenkins 自由风格脚本、流水线语法和方法论; ■ 探索 Travis CI 构建生命周期事件和多种构建编程语言; ■ 掌握 Travis CI CLI,并使用 CLI 将任务自动化; ■ 使用 CircleCI CLI 作业,学习流水线; ■ 使用 Circ
¥71.00定价:¥89.90 (7.9折)
网络演算 互联网确定性排队系统理论 计算机网络编程算法数据模型,华为数据通信理论,网络演算领域人物让-伊夫·勒布代克的力作,学术研究与实用案例的结合,巴黎研究所研究安妮·布亚尔和工程院刘韵洁作序推荐
1.作者经验丰富,内容专业 本书作者让-伊夫 勒布代克是继网络演算提出者克鲁兹去世之后在网络演算领域的代表人物,作品具有行业代表性。 2.由浅入深,通俗易懂 作者由浅入深的将自己对于网络演算中的经验与心得写于本书,对于通信计算机专业的研究生以及从业人士具有参考价值。 4. 适合小白学习 不需要预习系统论的知识,也可以学习本书讲解的网络演算知识。
¥73.70定价:¥99.00 (7.45折) 电子书:¥63.60
Event-B建模 系统和软件工程 Event-B教程 Rodin使用指南 形式化方法经典教材 软件工程基础导论 软件工程技术与应用 系统工程导论 软件开发指导方法论
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软*系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。 1.作者是国际著名软*和软*理论专家,首次将 B方法 系统级的工控软*高安全保障解决方案引入中国,这是目前市场上*的一本关于Event-B的中文书籍。 2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。 3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。 4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥96.00定价:¥129.00 (7.45折)
《基于IP的物联网架构、技术与应用》围绕基于IP的物联网的架构、技术与应用这3个主题进行内容的组织。第部分讨论IP智能物件网络的架构基础 第2部分深入讨论协议和算法 第3部分对智能物件的7个重要应用领域进行详细描述。《基于IP的物联网架构、技术与应用》内容新颖,全面深入,组织结构经过作者的精心设计,既可作为信息技术领域工程师和研究人员的参考书,又可为对《基于IP的物联网架构、技术与应用》主题感兴趣的人士提供有价值的参考资料。
¥32.25定价:¥67.50 (4.78折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥63.69定价:¥89.90 (7.09折)
明星店铺 博库网旗舰店
¥70.11定价:¥99.00 (7.09折)
明星店铺 博库网旗舰店
网络演算 互联网确定性排队系统理论 [瑞士]让-伊夫·勒布代克(Jean-YvesLeBoudec)等著,李峭,赵露茜, 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥44.00定价:¥99.37 (4.43折)
【正版】 Event-B建模 系统和软件工程 [法]简-埃蒙德·阿布瑞尔(Jean-aymondAbrial),裘 人民 团购咨询在线客服
¥90.63定价:¥129.00 (7.03折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.48定价:¥89.90 (6.95折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.03定价:¥89.90 (6.9折)
明星店铺 木垛图书旗舰店
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.93定价:¥89.90 (7折)
持续集成与持续交付实战:用Jenkins、TravisCI和CircleCI构建和发布大规模高质量软件 [美]让-马塞尔
¥62.90定价:¥89.90 (7折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.92定价:¥89.90 (7折)
玩不够的数学 2 当数学遇上游戏 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
数学,我们继续玩!从孩童都会玩的游戏中汲取惊人的数学结果游戏是数学的华丽外衣,游戏是数学把戏,谁才是精明的玩家?用数学的语言思考日常生活中的乐趣,从游戏的角度探索数学的奥秘
¥46.20定价:¥69.00 (6.7折)
本书从持续集成(CI)和持续交付(CD)的基础知识以及它们在 DevOps 生态系统中的位置入手,证明利益相关者协作作为 CI/CD 一部分的重要性。 随着章节的深入,读者将接触 Jenkins UI,学习在不同平台上安装 Jenkins、添加插件和编写自由风格脚本,获得使用Jenkins UI 开发插件、构建 Jenkins 2.0 流水线和进行 Docker 集成的实践经验,学会安装 Travis CI 和 CircleCI,进行脚本编写、日志记录与调试,通过 Travis CI 和 CircleCI 获得有关 CI/CD 的广泛知识。 本书将详细介绍 CI/CD 生态系统的实践并指导读者实施。 本书涵盖的主要内容: ■ 在不同的操作系统上安装 Jenkins; ■ 学习 Jenkins 自由风格脚本、流水线语法和方法论; ■ 探索 Travis CI 构建生命周期事件和多种构建编程语言; ■ 掌握 Travis CI CLI,并使用 CLI 将任务自动化; ■ 使用 CircleCI CLI 作业,学习流水线; ■ 使用 CircleCI CLI
¥80.71定价:¥89.90 (8.98折)
Event-B建模系统和软件工程【正版】 【正版书籍 闪电发货 品质无忧 可开发票】
¥59.62定价:¥434.00 (1.38折)
¥69.39定价:¥99.00 (7.01折)
网络演算 互联网确定性排队系统理论 [瑞士]让-伊夫·勒布代克(Jean-YvesLeBoudec)等著,李峭,赵露茜, 店内满减,达额立减,可开发票,欢迎选购!【部分套装书为单本价,请咨询线上客服】
¥42.40定价:¥114.80 (3.7折)
网络演算 互联网确定性排队系统理论 人民邮电出版社 计算机网络编程算法数据模型,华为数据通信理论,网络演算领域人物让-伊夫·勒布代克
¥73.00定价:¥99.00 (7.38折)
网络演算 互联网确定性排队系统理论 计算机网络编程算法数据模型,华为数据通信理论,网络演算领域人物让-伊夫·勒布代克的力
¥73.00定价:¥99.00 (7.38折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.48定价:¥89.90 (6.95折)
玩不够的数学 2 当数学遇上游戏 9787115531919
Product Details 基本信息 ISBN-13 书号 9787115531919 Author 作者 (法)让-保罗·德拉耶(Jean-Paul Delahaye) Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 人民邮电出版社 Publication Date 出版日期 2020-04-01 Product Dimensions 商品尺寸 32开 Language 语种 其它(含多语) Book Contents 内容简介 本书通过折纸、扑克、象棋、数独、掷骰子等20类家喻户晓的游戏阐述了数学家的思维方式,揭示了游戏中的代数、几何、统计学、逻辑学与人工智能的种种乐趣,展现了游戏思维在算法、大数据和人工智能发展过程中的独特作用。
¥54.00定价:¥108.00 (5折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.62定价:¥89.90 (6.97折)
本书从持续集成(CI)和持续交付(CD)的基础知识以及它们在 DevOps 生态系统中的位置入手,证明利益相关者协作作为 CI/CD 一部分的重要性。 随着章节的深入,读者将接触 Jenkins UI,学习在不同平台上安装 Jenkins、添加插件和编写自由风格脚本,获得使用Jenkins UI 开发插件、构建 Jenkins 2.0 流水线和进行 Docker 集成的实践经验,学会安装 Travis CI 和 CircleCI,进行脚本编写、日志记录与调试,通过 Travis CI 和 CircleCI 获得有关 CI/CD 的广泛知识。 本书将详细介绍 CI/CD 生态系统的实践并指导读者实施。 本书涵盖的主要内容: ■ 在不同的操作系统上安装 Jenkins; ■ 学习 Jenkins 自由风格脚本、流水线语法和方法论; ■ 探索 Travis CI 构建生命周期事件和多种构建编程语言; ■ 掌握 Travis CI CLI,并使用 CLI 将任务自动化; ■ 使用 CircleCI CLI 作业,学习流水线; ■ 使用 CircleCI CLI
¥57.53定价:¥126.59 (4.55折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.93定价:¥89.90 (7折)
¥68.78定价:¥99.00 (6.95折)
¥68.28定价:¥99.00 (6.9折)
明星店铺 木垛图书旗舰店
网络演算 互联网确定性排队系统理论 [瑞士]让-伊夫·勒布代克(Jean-YvesLeBoudec)等著,李峭,赵露茜, 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥44.10定价:¥101.14 (4.37折)
网络演算 互联网确定性排队系统理论 [瑞士]让-伊夫·勒布代克(Jean-YvesLeBoudec)等著,李峭,赵露茜, 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥44.20定价:¥108.71 (4.07折)
¥89.66定价:¥129.00 (6.96折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥94.10定价:¥129.00 (7.3折)
¥98.97定价:¥129.00 (7.68折)
明星店铺 博库网旗舰店
【新华书店自营】EVENT-B建模:系统和软件工程,人民邮电出版社 全国五仓就近发货80%城市次日达!团购优惠咨询:18340637603
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥93.17定价:¥258.00 (3.62折)
【新华书店旗舰店】EVENT-B建模:系统和软件工程,[法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abria 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥90.79定价:¥129.00 (7.04折)
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥93.80定价:¥129.00 (7.28折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥94.20定价:¥129.00 (7.31折)
¥90.25定价:¥129.00 (7折)
¥89.66定价:¥129.00 (6.96折)
¥89.01定价:¥129.00 (6.9折)
明星店铺 木垛图书旗舰店
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) 著 裘宗燕 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥86.40定价:¥129.00 (6.7折)
EVENT-B建模:系统和软件工程 9787115508997
Product Details 基本信息 ISBN-13 书号 9787115508997 Author 作者 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 人民邮电出版社 Publication Date 出版日期 2018-03-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 这本实用的教科书适用于形式化方法的入门课程或不错课程。本书以B形式化方法的一个扩展Event-B作为工具,展示了一种完成系统建模和设计的数学方法。简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial)是靠前有名计算机科学家,曾任苏黎世联邦理工学院客座教授,他基于精化的思想提出了一种系统化的方法,教读者如何逐步构造出所期望的模型,并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造
¥104.00定价:¥208.00 (5折)
¥90.36定价:¥129.00 (7.01折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥86.40定价:¥129.00 (6.7折)
¥89.66定价:¥129.00 (6.96折)
¥90.30定价:¥129.00 (7折)
¥90.30定价:¥129.00 (7折)
¥90.30定价:¥129.00 (7折)
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) 著 裘宗燕
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥86.40定价:¥129.00 (6.7折)
玩不够的数学 2 当数学遇上游戏 (法)让-保罗·德拉耶(Jean-Paul Delahaye) 著 方弦 译 人民邮电
数学,我们继续玩!从孩童都会玩的游戏中汲取惊人的数学结果游戏是数学的华丽外衣,游戏是数学把戏,谁才是精明的玩家?用数学的语言思考日常生活中的乐趣,从游戏的角度探索数学的奥秘
¥46.20定价:¥69.00 (6.7折)
Event-B建模系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial)|译者:裘宗燕
¥98.40定价:¥129.00 (7.63折)
¥63.35定价:¥139.39 (4.55折)
【正版】 Event-B建模 系统和软件工程 [法]简-埃蒙德·阿布瑞尔(Jean-aymondAbrial),裘 人民
¥90.63定价:¥129.00 (7.03折)
【正版全新】持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件 ( 团购可联系在线客服询优惠价 可开发票 正版保证
¥66.53定价:¥89.90 (7.41折)