爱丽丝奇境解谜记 致敬天才作家刘易斯·卡罗尔,逻辑学家雷蒙德·M.斯穆里安代表作,马丁·加德纳作序,艾萨克·阿西莫夫推荐,将思维训练融入爱丽丝漫游奇境,锻炼孩子的逻辑思维能力。
1.88道趣味谜题,60幅精美插图,一次奇妙而又令人难忘的脑力探险。 2.爱丽丝再次回到奇境,继续未完成的奇妙旅行,通过旅行中的奇妙故事开发你的脑力。 3.红王后、白王后、蛋头先生、狮身鹰首兽、假海龟、白骑士、叮当兄弟 在这里,你将又一次遇到爱丽丝的这些老朋友,他们的言行举止一如既往地怪诞,让人摸不着头脑。 4.本书由已故逻辑学家雷蒙德 M. 斯穆里安先生戏仿刘易斯 卡罗尔的风格编写而成,其中充满了迷人的文字游戏、有趣的逻辑问题和烧脑的悖论。 5.在阅读过程中,你会发现谜题越来越复杂,但不用担心,你即使没有形式逻辑的背景知识也完全可以理解它们。当然,作者也在书中给出了详细的解释。书中的数十幅插图更是让人爱不释手。
¥28.20定价:¥39.90 (7.07折)
CCNP企业高级路由ENARSI 300-410认证考试指南 思科认证考试官方指南。帮助读者更好地深入掌握相关知识,系统学习思科认证考试内容,轻松应对各种复杂场景,顺利通过考试!
1.内容丰富可靠,知识点系统完善。思科官方认可的自学资源,可助您顺利通过考试。 2.作者多年实践经验的结晶。两位专家型作者分享考试要点和备考策略,帮助您找到薄弱点,掌握相关概念、知识,提高实践技能。 3.ENARSI考试备考秘籍。本官方学习指南可帮助您掌握CCNP企业高级路由ENARSI考试中的所有主题。
¥157.80定价:¥199.80 (7.9折) 电子书:¥127.87
客户端存储技术 [美] 雷蒙德·卡姆登(Raymond Camden) 人民邮电出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。 本书还介绍了几种简化客户端存储的开源库,非常适合熟悉JavaScript的Web开发人员。 - 了解不同浏览器对每种客户端存储技术的支持情况 - 使用Web存储(即本地存储)存储列表和偏好设置等简单信息 - 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息 - 了解如何为仍旧使用Web SQL的Web应用提供支持 - 研究三个可以简化客户端存储的库:Lockr、Dee和localForage - 使用多种存储技术构建一个简单可用的应用程序
¥21.00定价:¥49.37 (4.26折)
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥90.15定价:¥258.00 (3.5折)
明星店铺 新华书店总店旗舰店
CCNP TSHOOT 300-135认证考试指南 Raymond Lacoste 人民邮电出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书帮助读者掌握CP路由&交换TSHOOT 300-135考试的所有主题,包括: 设备性能; VLAN、Trunk和VTP; STP和二层以太通道; VLAN间路由和三层以太通道; 交换安全; HSRP、VRRP、GLBP; IPv4和IPv6编址; IPv4/IPv6路由和GRP隧道; RIPv2、RIPng、EIGRP和OSPF; 路由映射、策略路由和路由重分布; BGP; 管理协议、工具和访问。 本书是Cisco官方认可的CP路由&交换TSHOOT 300-135认证考试指南,旨在帮助读者顺利通过该考试。作者Raymond Lacoste在书中与读者分享了备考建议和应试技巧,以帮助读者找到薄弱环节,掌握概念性知识以及提升实际操作技巧。 本书包括以下内容: 一个成熟的备考日程安排,以帮助读者通过考试; “我已经知道了吗?”测试题,用于评估在学习每章时需要花费的时间; 每章末尾的“备考任务”用
¥27.00定价:¥61.37 (4.4折)
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。本书还介绍了几种简化客户端存储的开源库,非常适合熟悉JavaScript的Web开发人员。- 了解不同浏览器对每种客户端存储技术的支持情况- 使用Web存储(即本地存储)存储列表和偏好设置等简单信息- 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息- 了解如何为仍旧使用Web SQL的Web应用提供支持- 研究三个可以简化客户端存储的库:Lockr、Dee和localForage- 使用多种存储技术构建一个简单可用的应用程序
¥47.93定价:¥112.88 (4.25折)
¥90.72定价:¥129.00 (7.04折)
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) 著 裘宗燕
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥85.60定价:¥129.00 (6.64折)
¥41.10定价:¥52.00 (7.91折)
客户端存储技术 为服务器减压,提升访问速度//让离线应用程序得以真正实现
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。 本书还介绍了几种简化客户端存储的开源库,非常适合熟悉JavaScript的Web开发人员。 - 了解不同浏览器对每种客户端存储技术的支持情况 - 使用Web存储(即本地存储)存储列表和偏好设置等简单信息 - 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息 - 了解如何为仍旧使用Web SQL的Web应用提供支持 - 研究三个可以简化客户端存储的库:Lockr、Dexie和localForage - 使用多种存储技术构建一个简单可用的应用程序
¥29.00定价:¥39.00 (7.44折) 电子书:¥18.50
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥94.90定价:¥129.00 (7.36折)
明星店铺 北方图书城旗舰店
爱丽丝奇境解谜记 中小学课外读物 益智图书 烧脑解谜书籍 爱丽丝漫游奇境 推理故事书 专注力训练 锻炼孩
¥25.74定价:¥39.90 (6.46折)
客户端存储技术【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。本书还介绍了几种简化客户端存储的开源库,非常适合熟悉JavaScript的Web开发人员。- 了解不同浏览器对每种客户端存储技术的支持情况- 使用Web存储(即本地存储)存储列表和偏好设置等简单信息- 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息- 了解如何为仍旧使用Web SQL的Web应用提供支持- 研究三个可以简化客户端存储的库:Lockr、Dee和localForage- 使用多种存储技术构建一个简单可用的应用程序
¥48.10定价:¥237.40 (2.03折)
¥39.00定价:¥39.00
爱丽丝奇境解谜记 中小学课外读物 益智图书 烧脑解谜书籍 爱丽丝漫游奇境 推理故事书 专注力训练 锻炼孩
¥25.81定价:¥39.90 (6.47折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥85.60定价:¥129.00 (6.64折)
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折)
CCNP TSHOOT 300-135认证考试指南 Raymond Lacoste. 全国多仓发货,物流便捷,正版保证,欢迎选购!
本书帮助读者掌握CP路由&交换TSHOOT 300-135考试的所有主题,包括: 设备性能; VLAN、Trunk和VTP; STP和二层以太通道; VLAN间路由和三层以太通道; 交换安全; HSRP、VRRP、GLBP; IPv4和IPv6编址; IPv4/IPv6路由和GRP隧道; RIPv2、RIPng、EIGRP和OSPF; 路由映射、策略路由和路由重分布; BGP; 管理协议、工具和访问。 本书是Cisco官方认可的CP路由&交换TSHOOT 300-135认证考试指南,旨在帮助读者顺利通过该考试。作者Raymond Lacoste在书中与读者分享了备考建议和应试技巧,以帮助读者找到薄弱环节,掌握概念性知识以及提升实际操作技巧。 本书包括以下内容: 一个成熟的备考日程安排,以帮助读者通过考试; “我已经知道了吗?”测试题,用于评估在学习每章时需要花费的时间; 每章末尾的“备考任务”用
¥26.00定价:¥151.75 (1.72折)
UNIX编程艺术(英文版) 〔美〕Eric.S.Raymond著 人民邮电出版社
¥148.00定价:¥148.00
¥63.00定价:¥63.00
客户端存储技术【确保正版 支持发票】 支持电子发票,请确认收货以后联系在线客服
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。 本书还介绍了几种简化客户端存储的开源库,适合熟悉JavaScript的Web开发人员。 - 了解不同浏览器对每种客户端存储技术的支持情况 - 使用Web存储(即本地存储)存储列表和偏好设置等简单信息 - 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息 - 了解如何为仍旧使用Web SQL的Web应用提供支持 - 研究三个可以简化客户端存储的库:Lockr、Dee和localForage - 使用多种存储技术构建一个简单可用的应用程序
¥30.42定价:¥39.00 (7.8折)
CCNP路由交换认证考试教程全新升级 CCNP认证考生通关 配套光盘包含有60多分钟的视频培训内容 全面涵盖各考点
¥99.84定价:¥128.00 (7.8折)
CCNP企业高级路由ENARSI 300-410认证考试指南
¥136.86定价:¥199.80 (6.85折)
¥90.94定价:¥129.00 (7.05折)
CCNP企业 路由ENARSI 300-410认证考试指南 计算机网络技术路由技术设备管理CISCO认证考试书籍 品质好书 正版保障 优质服务 发货及时 售后无忧
¥163.80定价:¥199.80 (8.2折)
¥89.66定价:¥129.00 (6.96折)
CCNP TSHOOT 300-135认证考试指南 CCNP路由交换认证考试教程全新升级 CCNP认证考生通关 配套光盘包含有60多分钟的视频培训内容 全面涵盖各考点
本书帮助读者掌握CCNP路由&交换TSHOOT 300-135考试的所有主题,包括: 设备性能; VLAN、Trunk和VTP; STP和二层以太通道; VLAN间路由和三层以太通道; 交换安全; HSRP、VRRP、GLBP; IPv4和IPv6编址; IPv4/IPv6路由和GRP隧道; RIPv2、RIPng、EIGRP和OSPF; 路由映射、策略路由和路由重分布; BGP; 管理协议、工具和访问。 本书是Cisco官方认可的CCNP路由&交换TSHOOT 300-135认证考试指南,旨在帮助读者顺利通过该考试。作者Raymond Lacoste在书中与读者分享了备考建议和应试技巧,以帮助读者找到薄弱环节,掌握概念性知识以及提升实际操作技巧。 本书包括以下内容: 一个成熟的备考日程安排,以帮助读者通过考试; “我已经知道了吗?”测试题,用于评估在学习每章时需要花费的时间; 每章末尾的“备考任
¥108.80定价:¥128.00 (8.5折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥94.20定价:¥129.00 (7.31折)
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折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥86.40定价:¥129.00 (6.7折)
明星店铺 文轩网旗舰店
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) 著 裘宗燕 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥85.60定价:¥129.00 (6.64折)
¥90.49定价:¥129.00 (7.02折)
¥89.66定价:¥129.00 (6.96折)
¥99.33定价:¥129.00 (7.7折)
明星店铺 博库网旗舰店
¥88.37定价:¥129.00 (6.86折)
爱丽丝奇境解谜记 中小学课外读物 益智图书 烧脑解谜书籍 爱丽丝漫游奇境 推理故事书 专注力训练 锻炼孩 团购优惠,咨询在线客服
¥25.90定价:¥39.90 (6.5折)
明星店铺 博库网旗舰店
¥90.94定价:¥129.00 (7.05折)
爱丽丝奇境解谜记 中小学课外读物 益智图书 烧脑解谜书籍 爱丽丝漫游奇境 推理故事书 专注力训练 锻炼孩
¥25.34定价:¥39.90 (6.36折)
人邮新书 客户端存储技术 为服务器减压 提升访问速度 让离线应用程序得以真正实现
¥37.40定价:¥39.36 (9.51折)
爱丽丝奇境解谜记 中小学课外读物 益智图书 烧脑解谜书籍 爱丽丝漫游奇境 推理故事书 专注力训练 锻
¥32.32定价:¥39.90 (8.11折)
CCNP企业高级路由ENARSI 300-410认证考试指南
¥139.58定价:¥199.80 (6.99折)
UNIX编程艺术(英文版),〔美〕Eric.S.Raymond著,人民邮电出版社
¥146.00定价:¥10400 (0.15折)
CCNP企业高级路由ENARSI 300-410认证考试指南
¥148.46定价:¥199.80 (7.44折)
明星店铺 博库网旗舰店
Event-B建模 系统和软件工程 【正品保证,可开发票,进入店铺更多优惠!】
¥113.66定价:¥228.32 (4.98折)
客户端存储技术【正版】 【速开发票,优质售后,支持7天无理由退换】
现代浏览器的一大实用特性是有能力将数据直接存储在用户的计算机或移动设备上。尽管许多人选择将数据迁移至云端,但若使用得当,客户端存储仍然可以帮助Web开发人员节省大量的时间和金钱。本书结合丰富的实例,详解多种客户端存储技术。你将了解如何及何时使用它们、其优缺点以及在应用程序中使用其中一种或多种技术的步骤。本书还介绍了几种简化客户端存储的开源库,非常适合熟悉JavaScript的Web开发人员。- 了解不同浏览器对每种客户端存储技术的支持情况- 使用Web存储(即本地存储)存储列表和偏好设置等简单信息- 使用IndexedDB存储几乎任何你希望在用户浏览器中存储的信息- 了解如何为仍旧使用Web SQL的Web应用提供支持- 研究三个可以简化客户端存储的库:Lockr、Dee和localForage- 使用多种存储技术构建一个简单可用的应用程序
¥48.00定价:¥266.10 (1.81折)
CCNP企业高级路由ENARSI 300-410认证考试指南 官方正版 出版社直发
¥155.80定价:¥199.80 (7.8折)
CCNP企业高级路由ENARSI 300-410认证考试指南
¥159.80定价:¥199.80 (8折)
UNIX编程艺术(英文版),〔美〕Eric.S.Raymond著,人民邮电出版社
¥145.00定价:¥10400 (0.14折)
¥89.66定价:¥129.00 (6.96折)
CCNP企业高级路由ENARSI 300-410认证考试指南
¥138.86定价:¥199.80 (6.95折)