（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
（法）塞尔日·盖兰著；埃莱娜·福吉达等绘画；朱世民等翻译2002 年出版293 页ISBN：7535322018
你想尝试着运动……或你已经迷上了体育？只要你付出了努力，体育运动将带给你无穷的快乐。运动之中，你将看到自己运动技能的提高，你将结交一些新的朋友，和他们一起分享激动的时刻，留下共同的美好记忆…… 另外，......
王世民，王雯，刘新亮编著2015 年出版339 页ISBN：9787302390909
本教材适用于计算机以及相关专业的大专和本科生的教学使用，教材从充分考虑数据库理论联系实际的角度出发，既有理论基础，又有实例介绍。并以具体的数据库系统为范本说明实现数据库开发过程。...
徐立新，郭祖华，马世霞主编；孙冬，刘丹，王明斐等副主编2018 年出版194 页ISBN：9787121345791
本书是河南省省级特色专业建设计算机基础课程的成果，是河南省省级教学团队建设的优秀教学成果。本书结合了目前最新的计算机知识，从培养学生了解和掌握计算机科学的理念、技术和方法的角度出发，对计算机基础知...
马世伟编著2016 年出版96 页ISBN：9787115411785
本书是一本优秀的小写意国画教程，书中通过梅兰竹菊的不同案例介绍了常见小写意梅兰竹菊的技法技巧，每章的最后还提供了创作示例，同时还展示了众多成品，读者不仅可以掌握相关的技法，还可以参考成品的构图、意境、...
张榕，马世娟编著2007 年出版202 页ISBN：7115170770
本书带领读者身处一个虚拟企业的真实销售情境，通过体验卖场中最常见的产品销售案例，学习关于各类计算机周边设备和数码产品的知识。每个案例从“问题情境”开始，通过“问题分析”，进行“任务设计”、然后告诉读...
普通高中课程标准实验教科书 历史 选修 历史上重大的改革回眸
朱汉国主编；马世力副主编；刘军，郝瑞庭本册主编2009 年出版140 页ISBN：9787010052007
本教材是经教育部批准立项并已通过专家评委审定的高中历史选修教材，完全符合教育部的教学大纲。它的出版，必将丰富学生的历史知识，提升学生学习历史的积极性。...
曾大洋，林顺民主编；曾大洋，林顺民，黄世民，杨进南编写者2015 年出版222 页ISBN：9787567531253
本书《第三关 压轴题》为丛书的第三册。针对初中数学压轴题类型，本书分“实验操作类”、“猜想证明类”等七种题型进行评述。在各题型的评述中，详尽讲解了该题型的压轴题在中考命题中的特点与趋势，并讲清该题...
