用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用 图灵奖得主、TLA+开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证参考
图灵奖得主、TLA 开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证***参考 随着时代的发展,人们对各种信息系统的依赖越来越强,而这些系统也不再像传统系统那样封闭,它们面临的挑战和威胁与日俱增。为此,对于所谓的 非关键 信息系统而言,通过形式化技术提高设计质量、保证安全性与可靠性的需求也变得越来越迫切。 TLA 就是一种非常优秀的形式化建模语言。它的优点首先在于通用性,它可以描述大多数离散事件系统的行为逻辑;其次,它的难度适中,仅涉及CS专业大学本科阶段的数学和计算机科学知识,能够被广大开发与设计人员所掌握;后,由于TLA 的开发者(同时也是本书作者)的精心设计,它在验证高并发、分布式等复杂逻辑方面具有独特的优势。 本书用形式化的建模和验证方法保证所
¥104.20定价:¥139.00 (7.5折)
基于人工智能方法的网络空间安全 知识驱动的智能安全本体论+数据驱动的深度学习安全观
¥59.20定价:¥79.00 (7.5折)
基于人工智能方法的网络空间安全 [澳]莱斯利·F. 西科斯(Leslie F. Sikos)|译者:寇广 等 机械工业 新华正版全新 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥39.50定价:¥79.00 (5折)
自信力 青少年摆脱自我怀疑的行动计划 [美]莱斯利·索科尔 【店主推荐,正版书放心购买,可开发票】
青少年阶段是每个人性格形成、走向成年的重要阶段,是提升核心能力、建立高效学习习惯和健康生活习惯的关键时期。这本书包含40个针对性和互动性很强的活动,通过这些活动,青少年能够重新认识自信以及其意义,找到建立自信的实用方法,从而让自己可以充满勇气地迎接挑战,实现自己在学习和生活上的目标。
¥14.96定价:¥65.81 (2.28折)
会计学基础(英文版 原书第11版) [美]莱斯利 K·布 【店主推荐,正版书放心购买,可开发票】
《会计学基础(英文版·原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业本科生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥9.97定价:¥50.65 (1.97折)
会计与财务教材译丛 会计学基础(原书第11版) [加]莱斯利(Les 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥13.26定价:¥60.82 (2.19折)
¥43.85定价:¥79.00 (5.56折)
明星店铺 博库网旗舰店
¥77.70定价:¥139.00 (5.59折)
明星店铺 博库网旗舰店
¥42.66定价:¥79.00 (5.4折)
基于人工智能方法的网络空间安全 机械工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥52.10定价:¥79.00 (6.6折)
明星店铺 文轩网旗舰店
¥75.06定价:¥139.00 (5.4折)
会计学基础 莱斯利 K.布莱特纳 (Leslie K.Breitner) 机械工业出版社【正版】 【热销推荐,正版现货,全国三仓就近发货,物流快捷,欢迎选购!】
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥5.80定价:¥12.84 (4.52折)
【新华书店总店】基于人工智能方法的网络空间安全 ,[澳]莱斯利·F. 西科斯(Leslie F. Sikos),机械工业 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
¥42.67定价:¥158.00 (2.71折)
用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用 (美)莱斯利·兰伯特(Leslie Lambert)著 机械
¥128.00定价:¥139.00 (9.21折)
励志类书籍4册套装 塔勒布智慧箴言录 +方法总比问题多+人生的底气+被拒绝的勇气:摆脱情绪耗竭的韧性思维 员工福利阅读书
¥198.00定价:¥264.00 (7.5折)
¥97.65定价:¥139.00 (7.03折)
【正版包邮】基于人工智能方法的网络空间安全9787111691808航瑞金科图书专营店
¥62.57定价:¥79.00 (7.93折)
¥55.30定价:¥79.00 (7折)
【新华书店自营】基于人工智能方法的网络空间安全 全国五仓就近发货80%城市次日达!团购优惠咨询:18340637603
¥43.91定价:¥158.00 (2.78折)
会计学基础 莱斯利 K布莱特纳 (Leslie KBreitner)【正版保证】. 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥4.40定价:¥17.10 (2.58折)
自我实现成功励志类书籍4册套装 塔勒布智慧箴言录+人生的底气+活出自我的勇气:努力成就自我的心理课+被拒绝的勇气:摆脱情
¥188.00定价:¥251.00 (7.5折)
会计学基础 莱斯利 K.布莱特纳 (Leslie K.Breitner) 机械工业出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥4.00定价:¥25.00 (1.6折)
用LA+定义系统:LA+语言与工具在软硬件设计中的应用 Lelie Lampot 9787111678229 机械工业出 全新正版,可开发票,团购优惠咨询在线客服
¥93.00定价:¥139.00 (6.7折)
正版书籍 被拒绝的勇气:摆脱情绪耗竭的韧性思维 莱斯利·贝克尔-菲尔普斯(Leslie Becker 品质好书 正版保障 优质服务 发货及时 售后无忧
¥51.80定价:¥69.00 (7.51折)
自信力 青少年摆脱自我怀疑的行动计划 [美]莱斯利·索科尔 【店主推荐,正版书放心购买,可开发票】
青少年阶段是每个人性格形成、走向成年的重要阶段,是提升核心能力、建立高效学习习惯和健康生活习惯的关键时期。这本书包含40个针对性和互动性很强的活动,通过这些活动,青少年能够重新认识自信以及其意义,找到建立自信的实用方法,从而让自己可以充满勇气地迎接挑战,实现自己在学习和生活上的目标。
¥14.93定价:¥65.59 (2.28折)
¥42.66定价:¥79.00 (5.4折)
会计与财务教材译丛 会计学基础(原书第11版) [加]莱斯利(Les 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥13.26定价:¥60.16 (2.21折)
自信力 青少年提高男孩女孩自信心 培养心理励志优能力 经管励志书 提升自己的书 如何学习方法成人励志书籍自我管理畅销书排
¥31.90定价:¥40.61 (7.86折)
¥88.96定价:¥139.00 (6.4折)
基于人工智能方法的网络空间安全 [澳]莱斯利·F. 西科斯(Leslie F. Sikos) 著 封面:寇广 等译内封: 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥51.40定价:¥79.00 (6.51折)
Product Details 基本信息 ISBN-13 书号 9787111691808 Author 作者 [澳]莱斯利·F. 西科斯(Leslie F. Sikos) Format 版本 平装-胶订 Pages Number 页数 216页 Publisher 出版社 机械工业出版社 Publication Date 出版日期 2021-11-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 本书介绍了一系列结合人工智能技术处理网络空间安全问题的方法,包括处理网络威胁情报、为恶意软件提供战略防御机制、解决网络犯罪、评估漏洞,以及产生主动而不是被动的对策的人工智能方法。
¥53.00定价:¥106.00 (5折)
自信力 青少年摆脱自我怀疑的行动计划 [美]莱斯利·索科尔 【店主推荐,正版书放心购买,可开发票】
青少年阶段是每个人性格形成、走向成年的重要阶段,是提升核心能力、建立高效学习习惯和健康生活习惯的关键时期。这本书包含40个针对性和互动性很强的活动,通过这些活动,青少年能够重新认识自信以及其意义,找到建立自信的实用方法,从而让自己可以充满勇气地迎接挑战,实现自己在学习和生活上的目标。
¥14.93定价:¥65.59 (2.28折)
【新华书店总店】基于人工智能方法的网络空间安全 ,[澳]莱斯利·F. 西科斯(Leslie F. Sikos),机械工业 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
¥42.67定价:¥158.00 (2.71折)
¥75.06定价:¥139.00 (5.4折)
¥55.30定价:¥79.00 (7折)
¥42.93定价:¥79.00 (5.44折)
明星店铺 木垛图书旗舰店
¥42.66定价:¥79.00 (5.4折)
¥49.77定价:¥79.00 (6.3折)
会计学基础 莱斯利 K.布莱特纳 (Leslie K.Breitner) 机械工业出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥4.00定价:¥17.37 (2.31折)
自我实现成功励志类书籍4册套装 塔勒布智慧箴言录+人生的底气+活出自我的勇气:努力成就自我的心理课+被拒绝的勇气:摆脱情
¥188.00定价:¥251.00 (7.5折)
会计学基础 莱斯利 K.布莱特纳 (Leslie K.Breitner) 机械工业出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥4.00定价:¥29.37 (1.37折)
会计与财务教材译丛 会计学基础(原书第11版) [加]莱斯利(Les 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥13.26定价:¥60.52 (2.2折)
¥75.06定价:¥139.00 (5.4折)
¥63.20定价:¥79.00 (8折)
基于人工智能方法的网络空间安全 机械工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥49.80定价:¥79.00 (6.31折)
会计与财务教材译丛 会计学基础(原书第11版) [加]莱斯利(Les 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥13.26定价:¥60.47 (2.2折)
¥77.10定价:¥139.00 (5.55折)
¥75.54定价:¥139.00 (5.44折)
明星店铺 木垛图书旗舰店
会计与财务教材译丛:会计学基础原书第11版【正版图书 无忧售后】
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥10.36定价:¥52.77 (1.97折)
基于人工智能方法的网络空间安全 [澳]莱斯利·F. 西科斯(Leslie F. Sikos)|译者:寇广 等 机械工业 全新正版书籍 正规电子发票 多仓就近发货
¥41.30定价:¥79.00 (5.23折)
自信力 青少年摆脱自我怀疑的行动计划 [美]莱斯利·索科尔 【店主推荐,正版书放心购买,可开发票】
青少年阶段是每个人性格形成、走向成年的重要阶段,是提升核心能力、建立高效学习习惯和健康生活习惯的关键时期。这本书包含40个针对性和互动性很强的活动,通过这些活动,青少年能够重新认识自信以及其意义,找到建立自信的实用方法,从而让自己可以充满勇气地迎接挑战,实现自己在学习和生活上的目标。
¥14.93定价:¥65.44 (2.29折)
¥76.34定价:¥139.00 (5.5折)
自信力 青少年摆脱自我怀疑的行动计划 [美]莱斯利·索科尔 【店主推荐,正版书放心购买,可开发票】
青少年阶段是每个人性格形成、走向成年的重要阶段,是提升核心能力、建立高效学习习惯和健康生活习惯的关键时期。这本书包含40个针对性和互动性很强的活动,通过这些活动,青少年能够重新认识自信以及其意义,找到建立自信的实用方法,从而让自己可以充满勇气地迎接挑战,实现自己在学习和生活上的目标。
¥14.93定价:¥65.59 (2.28折)
会计与财务教材译丛 会计学基础(原书第11版) [加]莱斯利(Les 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥13.26定价:¥60.47 (2.2折)
会计学基础 莱斯利K.布莱特纳 著作 俞娜 译者 大中专文科经管 【正版】 【店主推荐,正版书放心购买,可开发票】
《会计与财务教材译丛 会计学基础(原书第版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。
¥20.41定价:¥96.03 (2.13折)
¥43.39定价:¥79.00 (5.5折)
会计学基础 莱斯利 K.布莱特纳 (Leslie K.Breitner) 机械工业出版社,【正版现货】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《会计学基础(原书第11版)》是一本类似于会计词典但又比会计词典更加具体和实用的教材。它涵盖了会计系统的各种核心概念,既讲述了营利性企业的会计系统,包括资产、负债和所有者权益的计量和会计处理,收入和费用的确认,报表的编制等方面,也分析了非营利性组织的会计系统。本书可作为会计学、审计学、财务学专业学生作为初级会计教材,也可作为金融学、管理学、经济学各专业学生会计学课程的参考教材,还可以为企业管理人员、会计初学者学习会计知识提供帮助。本书由美国莱斯利K.布莱特纳、罗伯特N.安东尼著。
¥4.10定价:¥13.77 (2.98折)
基于人工智能方法的网络空间安全 机械工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥50.50定价:¥79.00 (6.4折)
被拒绝的勇气 摆脱情绪耗竭的韧性思维 (美)莱斯利·贝克尔-菲尔普斯 机械工业出版社 正版书籍9787111715986
¥48.00定价:¥69.00 (6.96折)
¥43.82定价:¥79.00 (5.55折)