西部开发与十堰发展-全市“西部开发与十堰发展”理论研讨会论文集
柳长毅主编；中共十堰市委宣传部，十堰市社会科学联合会，十堰市科学技术协会编印2222 年出版391 页ISBN：
建设公正高效权威的社会主义司法制度研究 第3卷 中国刑事诉讼程序改革研究
陈卫东主编；陈卫东本卷主编2013 年出版888 页ISBN：9787300171715
本书在分析我国司法制度现状的基础上，对其中涉及的法理学、宪法学、刑事法、民法等部门法进行深入的分析和论证。全书共计四个子课题：一：建设公正、高效、权威的社会主义司法制度之法理学分析。从非常宏观的角...
杨正洪等编著2011 年出版332 页ISBN：9787302242277
本书是一部如何使用iPhone SDK4来开发iPhone 4应用程序的基础教程，每章都通过1~3个实例来循序渐进地讲解iPhone 4的应用开发。
杜民主编1999 年出版469 页ISBN：7040084961
暂缺《C++ Builder 4.0程序设计与开发指南》简介
祁建宏，张志斌主编2016 年出版392 页ISBN：9787560641447
本书采用案例教学法，将繁琐而抽象的语法规则融入具体例子当中，通过所给出解决实际问题的典型例子，使读者达到掌握语言本身相关规则的目的，同时培养读者解决实际问题的能力。课后配以针对性的习题，以巩固对相关知...
王林玮等编著2008 年出版577 页ISBN：9787111235231
本书包括JSP运行环境的搭建，JSP语法基础等知识。
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
孔丽英，夏艳，徐勇等编著2011 年出版301 页ISBN：9787302262886
本书以程序设计为主线，通过案例教学引入教学模型的建立和算法的设计，详细分析程序。
