扫一扫
关注中图网
官方微博
出版社：
- 法律出版社(1)
- 法律出版社(1)
- 中国农业出版社(1)
- 中国农业出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 西南交通大学出版社(1)
- 西南交通大学出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 法律出版社(1)
- 法律出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 西南交通大学出版社(1)
- 西南交通大学出版社(1)
- 中国农业出版社(1)
- 中国农业出版社(1)
-
矩阵结构与矩阵函数的形式化
¥59.5(7.6折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明...
-
基于属性的数字签名研究
¥50.0(7.4折)定价:¥68.0基于属性的数字签名体制能够细粒度地划分身份特征，其身份被看作是一系列属性特征的集合，只有满足特定属性或某种特定访问控制结构的签名者才可以进行有效的签名。基于属性的数字签名体制因在强调匿名性身份和分布式网络系统方面的应用有着基于身份的密码体制无法比拟的优势，且其应用更为直观、灵活、广泛，而引起学者的广泛关注，目前已成为公钥密码学研究领域的一个热点。本文主要着眼于设计安全可靠、实用的基于属性的签名方案，重点对基于属性签名方案的多属性授权机
-
民航安全文化理论与实践
¥57.4(8.4折)定价:¥68.0本书是研究民航安全文化理论与实践的著作，主要阐述了中国民航安全文化的发展阶段，中国民航安全文化的内涵、核心安全理念及价值观，中国民航安全文化的构成及特色，空管安全文化及其建设实现；同时，研究民航安全文化本质，民航安全文化目标价值、创造主体以及民航安全文化的特性，提出加强建设的策略，使其能够更好地适应行业特点，适应行业体制改革后的发展需要。本书旨在巩固行业改革成果，宣传民航安全，为建立起完善的安全管理体系和安全文化制度奠定理论基础，具有
-
成功CEO的临门一脚:数据合规管理
¥54.0(7.9折)定价:¥68.0本书分为两个部分：第一部分：拟IPO企业数据合规50问。无论企业处于哪个发展阶段，这50问都非常贴合企业的需要。50问就像是体检表的各项内容，无论你是处于青中年还是老年，体检表都适用。专享不同的是，体检结果的差异对于体检者的紧迫性接近不同，这也取决于CEO临门一脚的目标。把上市审核机构对拟上市企业的“灵魂拷问”，拆解到企业数据处理生命周期的各个阶段，形成数据合规50问。CEO可以清晰地看到，数据合规在上市视角下的基本要求和应有的标准动
-
五星书
浏览历史
-
上海商业发展报告(2022)
¥55.6¥78.0 -
新高考数学解题逻辑:知识篇
¥49.9¥69.8
