(美)Benjamin C.Pierce著;马世龙,眭跃飞等译2005 年出版422 页ISBN:7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖...
徐立新,郭祖华,马世霞主编;孙冬,刘丹,王明斐等副主编2018 年出版194 页ISBN:9787121345791
本书是河南省省级特色专业建设计算机基础课程的成果,是河南省省级教学团队建设的优秀教学成果。本书结合了目前最新的计算机知识,从培养学生了解和掌握计算机科学的理念、技术和方法的角度出发,对计算机基础知...
马世伟编著2016 年出版96 页ISBN:9787115411785
本书是一本优秀的小写意国画教程,书中通过梅兰竹菊的不同案例介绍了常见小写意梅兰竹菊的技法技巧,每章的最后还提供了创作示例,同时还展示了众多成品,读者不仅可以掌握相关的技法,还可以参考成品的构图、意境、...
张榕,马世娟编著2007 年出版202 页ISBN:7115170770
本书带领读者身处一个虚拟企业的真实销售情境,通过体验卖场中最常见的产品销售案例,学习关于各类计算机周边设备和数码产品的知识。每个案例从“问题情境”开始,通过“问题分析”,进行“任务设计”、然后告诉读...
普通高中课程标准实验教科书 历史 选修 历史上重大的改革回眸
朱汉国主编;马世力副主编;刘军,郝瑞庭本册主编2009 年出版140 页ISBN:9787010052007
本教材是经教育部批准立项并已通过专家评委审定的高中历史选修教材,完全符合教育部的教学大纲。它的出版,必将丰富学生的历史知识,提升学生学习历史的积极性。...
民国丛书 第3编 56 文学类 中国民歌研究、谜语研究、说书小史、大鼓研究、弹词小说评考、弹词考证
胡怀琛,陈汝衡,赵景深,阿英著;陈光尧编1991 年出版759 页ISBN:7805695326
薛立,马世晓主编2016 年出版258 页ISBN:9787111538165
本书内容结合电子标在评标过程中的应用,融入《评标委员会和评标方法暂行规定》2013年23号令和《中华人民共和国招标投标法实施条例》国务院令第613号等,采用理论讲解+实例阐述+习题训练模式编写而成。内容上...
民国丛书 第3编 56 文学类 中国民歌研究 谜语研究 说书小史 大鼓研究 弹词小说评考 弹词考证
胡怀琛著;陈光尧编;陈汝衡著;赵景深著;阿英著;赵景深著1990 年出版748 页ISBN:9787805695327
崔文国,马世芳编著;计算机职业教育联盟主编2003 年出版400 页ISBN:7302072787
本书共分16章和5个附录。其中第1章结合方正7.0与9.1版本介绍了BD语言的基础知识;第2章和第3章介绍了方正7.0的操作基础;第4章到第7章介绍了方正9.1的操作基础;第8章到第16章介绍了方正7.0和9.1排版注解。以及...
马勇,刘军,马世骏著2019 年出版189 页ISBN:9787030608185
当前,精准扶贫已经成为国家战略,并将成为“十三五”时期各级政府工作的重点之一。旅游业作为我国战略性支柱产业之一,在近年来呈现出快速发展的趋势,国内旅游人次数、旅游综合收入屡创新高。从我国贫困地区的实...