陈胜利著2016 年出版465 页ISBN:9787560357973
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUE01)实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
程胜利,孙宝玲,苗雨国主编2008 年出版214 页ISBN:9787116056831
本书为嵩山地区地质实习用书,介绍了嵩山区域地质概况、普地实习路线及教学目的、内容与要求,地质填图有关内容、区域地质调查基础知识和野外地质工作方法与新技术的应用,附录有野外地质素描基本知识,常见图例、...
(德)米切尔·恩德著;裴胜利译2015 年出版269 页ISBN:9787539196121
故事开始在一个只有四位居民的卢默尔国小岛。这个国家小得离谱,它的宽度只有两间房子大小,还有一座山,几条环山路和一条弯弯曲曲的铁路,一个小小的火车站,一栋房子,一家店铺和一座城堡。生活在那里的四个不同身.....
张海君,常胜利主编(黑龙江生物科技职业学院基础部)2006 年出版146 页ISBN:7807173637
本书详细论述了线性代数与线性规划的基本原理、概念及以应用适合数学系做专业课教材。
刘瑞田主编;胶州市胜利村志编纂委员会编2004 年出版526 页ISBN:7801921372
本书从五个方面,即概况、政治、经济、文化、社会,对青岛胜利村的历史沿革、取得的成绩、本村的大事、要事、特事做了较详细的记述,为本村精神文明建设又增添了光彩。是一本反映地情的工具书。...
卢胜利,郝立果,丁峰等编著2009 年出版295 页ISBN:9787111264118
本书主要包括硬件构成及外部功能扩展,指令系统,汇编语言等。
郑胜利等编译2011 年出版234 页ISBN:9787513002400
本书由乔治·华盛顿法学院教授、美国联邦上诉法院法官以及美国知识产权律师撰写而成。本书分为16章,完整介绍了美国专利法的基础理论、专利的取得、专利适格性、实用性等,从专利权的取得到实施,涵盖知识产权相...