-
矩阵结构与矩阵函数的形式化
¥58.5(7.5折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时,特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的安全等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明...
-
成功CEO的临门一脚:数据合规管理
¥53.0(7.8折)定价:¥68.0本书分为两个部分:第一部分:拟IPO企业数据合规50问。无论企业处于哪个发展阶段,这50问都非常贴合企业的需要。50问就像是体检表的各项内容,无论你是处于青中年还是老年,体检表都适用。专享不同的是,体检结果的差异对于体检者的紧迫性接近不同,这也取决于CEO临门一脚的目标。把上市审核机构对拟上市企业的“灵魂拷问”,拆解到企业数据处理生命周期的各个阶段,形成数据合规50问。CEO可以清晰地看到,数据合规在上市视角下的基本要求和应有的标准动