万鄂湘,张军主编;最高人民法院《最新法律文件解读丛书》编辑委员会编2005 年出版145 页ISBN:7801619498
本书遵循丛书确立的宗旨和原则,按设置的相关栏目收录最新司法文件,收录权威解读、问题解答、案例点评等文章。适合广大法官、检察官、警官、行政执法人员,企事业单位高层管理人员、律师、院校师生和其他法律爱...
崔坚,赵欣,任术才编著2010 年出版418 页ISBN:9787111287186
本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容,可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
《人民法院量刑指导意见》与《关于规范量刑程序若干问题的意见》理解与适用
高贵君主编2011 年出版478 页ISBN:9787509322239
本书是有关《人民法院量刑指导意见》以及规范量刑程序若干问题的意见及相关法律法规文件,对量刑实体问题和程序问题都作出细致规定。
曹岩,王海宇主编;陶毅,曹现刚,秦中元,白洪涛编著2005 年出版280 页ISBN:7560519067
本书主要介绍了C++ Builder 6.0集成开发环境,C++ Builder Windows编程基本技能,C++ Builder数据库编程技术,C++ Builder网络应用程序开发,C++ Builder应用程序设计技巧和提高等内容。...
杨有安,陈维,曹惠雅编2008 年出版258 页ISBN:7115184429
本书是按照教育部非计算机专业计算机基础课程教学指导分委员会提出的“关于进一步加强高校计算机基础教学的意见”中有关《大学计算机基础》课程的教学要求及人才培养的新要求,结合独立院校学生特点组织编写...
朱开宏,程振民编著2012 年出版177 页ISBN:9787562833833
本书是与华东理工大学化学工程专业研究生教学用书《高等反应工程教程》(程振民、朱开宏、袁渭康编著,华东理工大学出版社, 2010)配套的例题与习题集,旨在提高研究生的编程计算和分析、解决实际工程问题的能...
张伍荣,陶安,骆健编著2007 年出版351 页ISBN:7121036800
本书紧扣最新版考试大纲,以高教版教程为基础,结合编者多年从事命题、阅卷及培训辅导的实际经验编写而成。本书编写目的是将同步辅导直接加到教程中,做到一本通。章节主体部分是知识点的讲解,精讲重点与难点,并运...
姚保慧,谢楠主编;陈晓宁,丁肇芬,王继玲,刘乃美,陈晓宁,姚保慧,张宇翔,郭云飞,谢楠编著2014 年出版190 页ISBN:9787040404357
《英语口语教程》自1998年出版以来,受到了学界广泛的肯定,成为众多高校英语口语教学与学习的主流教材。这期间,该教材被评为普通高等教育“十五”及“十一五”国家级规划教材,并于2002年荣获全国普通高等学校优...
马秀麟,马小强,邬彤,刘立超编著2014 年出版219 页ISBN:9787040393569
本书是《多媒体与网页开发技术》教材的配套实验书,是基于计算机公共课“多媒体技术与应用”类课程的现行教学大纲而编写的。本书主要包括图像素材开发、音视频素材开发、动画制作技术和多媒体学习资源组织技...