（日）中井悦司著；李睿，马世龙译2014 年出版296 页ISBN：9787115372574
本书内容涉及Linux内部结构、虚拟化基础设施环境的构建、内核源代码的阅读以及RHEL6新功能综述。通过搭建虚拟化基础设施，给读者提供了方便实用的Linux系统的学习和实践的环境；同时，设计了10个可操作的脚本实...
（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
马世龙，余丹著2011 年出版256 页ISBN：9787118070958
本书共分五篇，第一篇介绍了航天器自动化测试及自动化测试系统，并讨论了新一代网络化航天器自动化测试系统的应用需求与技术需求，从而引出航天器测试语言研究的必要性。第二篇综述了航天器测试语言及其发展，介绍...
段旺，马世龙，暴伟，陈峰等著2012 年出版216 页ISBN：9787508496764
本书系统介绍了北京奥林匹克公园数字化智能照明控制系统。内容包括：绪论，照明控制系统概述，IPv6技术概述，建设需求，项目方案，工程实施，系统运行，工程特色，总结。本书所介绍的北京奥林匹克公园数字化智能照明......
陶世龙，陶世龙，万天丰主编2010 年出版245 页ISBN：9787116064973
本教材是在陶世龙、万天丰等编著的《地球科学概论》的基础上修订而成，基本框架仍保留了原教材的体系，是按照地球是一个系统、是宇宙中的一个组成部分，地球各圈层在不断地演化与相互作用的观点，结合人类对地球的...
马世平主编；刘康，黄芳副主编；马世平等编2015 年出版295 页ISBN：9787564159702
本教材的内容主要涉及各类中药的主要实验方法，有：常用动物的选择、捉持及给药方法；剂量换算；中药毒性试验；影响中药药理作用的实验；中药药代动力学；解表药实验；清热药实验；泻下药实验；祛风湿药实验；利水渗......
