武斌著2018 年出版130 页ISBN：9787564231699
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...
（美）John Guy LaPlante著；郑燕，武斌，鄷湉译2006 年出版340 页ISBN：7543927500
美国老人在75岁时实现周游世界的梦想，在周游了29座城市后，他体会到了丰富的人生阅历，对人生有了更深刻的感悟。本书既有对旅游的个人体验，也有各种锦囊妙计。...
何其祥，沈炳良，武斌等编著2014 年出版143 页ISBN：9787564219604
线性代数的理论是计算技术的基础，同系统工程、优化理论及稳定性理论等有着密切联系。随着计算技术的发展和计算机的普及，线性代数作为一门基础课程日益受到重视。线性代数这门课程的特点是概念比较抽象，概念之...
朱国定，武斌编著2004 年出版259 页ISBN：7542913352
谈判学是一门集知识性、法律性、实践性为一体的新兴学科。从知识性看，它阐述当代主要谈判理论、谈判的原则、类型、构成及其过程；从法律性看，它对谈判的道德观、伦理观及合同、法律与国际贯彻三者关系作出说明...
武斌著2007 年出版282 页ISBN：756105534X
本书1991年初版，即受到国内外学术界的关注，多有评论和引述，被看作是研究中国人现代化和中华民族文化性格的代表性著作之一。直到现在，后有许多相关研究的论文和著作，作为主要文献和理论依据.本书先后获得多项大...
彭建福主编；徐建新，徐立新副主编；王银龙，方翰林，江博，许猛太，肖敏，吴绍云，张琳琳，袁媛，徐立新2005 年出版428 页ISBN：7801566653
本书以问答形式反映我国现有50多个药事法规文件的基本内容。
周亚建，武斌，杨义先等编著2013 年出版231 页ISBN：9787121189722
本书是一本信息安全实验教材，包括基础实验和综合实验两个部分。基础实验的内容主要覆盖了密码学、操作系统安全、网络安全和综合攻防实验等，旨在培养学生的基本操作技能；在此基础上，综合实验部分要求学生能根据...
武斌编2011 年出版177 页ISBN：9787514300499
本书是考古学和历史学方面的论文集，内容包括亚洲宫廷博物馆学的研究，沈阳故宫和北京故宫馆藏文物的研究，及几篇有关东北地区的历史研究论文，所受论文专业性强，有较高的学术价值。...
武斌红著2008 年出版231 页ISBN：9787801507006
本书以现代句法语义理论为基础，运用描写和解释相结合的方法，从第二语言学习的角度，对韩国语范围副词、程度副词的句法语义进行不同角度的考察分析，以帮助广大第二语言学习者全面认识韩国语副词句法语义的特点，尽...
徐高胜丛书主编；徐高胜，曹明星本书主编；徐高胜，曹明星，黄旭东，袁继文，方尊贵，王倩编2004 年出版214 页ISBN：7500770367
本书为近五年全国各地高考经典名卷评析，适用全国各地范围，由名师点评。
