-
Photoshop 2022图像处理入门到精通
¥82.6(7折)定价:¥118.0本书以循序渐进的讲解方式,带领读者快速掌握Photoshop的精髓。全书共分16章:第1~9章是快速入门,主要让读者了解平面设计知识、认识Photoshop 2022及了解该软件的基本操作方法;第10~13章是进阶学习,这一部分运用较大篇幅全面、详细、深入地介绍Photoshop的知识和应用技巧;第14~16章是商业实战,主要讲解大量案例,以方便读者通过实践操作掌握实用技能。 本书内容全面、结构清晰、图文并茂、语言精练、通俗易懂,适用
-
矩阵结构与矩阵函数的形式化
¥60.8(7.8折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时,特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的安全等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明...