昆明高新技术产业开发区管理委员会编2011 年出版276 页ISBN：9787222070530
《昆明高新区年鉴》全面、真实、系统的记载了2009年1月1日至2009年12月31日昆明高新区在经济和社会发展方面所做的主要工作和取得的成绩。是一本综合性、权威性、历史性强的工具书。...
（波）肖 邦（Chopin，F.F.）曲；（波）帕德雷夫斯基编1990 年出版103 页ISBN：7103005648
本曲集共收入19世纪著名波兰作曲家、钢琴家肖邦的17首圆舞曲，它是音乐院校中、高级钢琴专业学生及钢琴课必备的乐谱，也是音乐会经常演出的保留曲目。...
（波）斯拉文斯基（Slawiniski，L.），（波）鲁明斯基（Ruminski，S.）著；周家骝译1987 年出版112 页ISBN：7051·60646
龙马高新教育策划；付晶晶主编2016 年出版228 页ISBN：9787115408839
本书面向零基础读者，从新手入门、图像处理、创意设计、实例解析等方面，系统介绍了Photoshop CC的使用方法，还通过高手私房菜的方式，总结了高效设计的技巧，帮助读者快速进入角色，为进一步学习打下良好基础。...
周德祥总主编；高新才主编2004 年出版422 页ISBN：7807140240
本书是《中国发展之魂》丛书之一。对新中国建立五十五年来，建设中国特色社会主义的经验和成就进行了科学的回顾和研究，比较全面地反映了我国社会主义物质文明、精神文明和政治文明协调发展的历程。...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
龙马高新教育编著2017 年出版362 页ISBN：9787115448521
本书面向零基础读者，从新手入门、PPT设计、多媒体动画、演示发布等方面，介绍了PowerPoint 2016的基础知识、操作技巧、设计理念、图文混排、多媒体应用、演示技巧等内容，还通过高手私房菜的方式，介绍了高效设计...
