古梅，肖彬编著2006 年出版260 页ISBN：7508338952
本书是主要面向大学本科生VB程序设计课程而编写的一本教材。全书对VB程序设计的基本方法、编程基础知识、语句结构做了较为全面和系统的介绍，并且通过内容丰富的实例启发学生的编程思想，使学生逐步领会面向对...
计算机等级考试典型试题分析与实战 二级QBASIC语言程序设计
匡松，董事尔，李自力主编2003 年出版368 页ISBN：7810940554
本书主要介绍了Visual FoxPro的基础知识，可供广大考生了解此门课程。
万鄂湘，张军主编；最高人民法院《最新法律文件解读丛书》编辑委员会编2005 年出版143 页ISBN：7801619498
本书遵循丛书确立的宗旨和原则，按设置的相关栏目收录最新司法文件，收录权威解读、问题解答、案例点评等文章。适合广大法官、检察官、警官、行政执法人员，企事业单位高层管理人员、律师、院校师生和其他法律爱...
全国计算机等级考试命题研究组编2006 年出版314 页ISBN：7310025024
本书以教育部考试中心最新考试大纲为依据，在历次真题与大纲样题基础上编写而成，精选数套预测型试卷（含答案和解析）。
万鄂湘，张军主编；最高人民法院《最新法律文件解读丛书》编辑委员会编2005 年出版145 页ISBN：7801619498
本书遵循丛书确立的宗旨和原则，按设置的相关栏目收录最新司法文件，收录权威解读、问题解答、案例点评等文章。适合广大法官、检察官、警官、行政执法人员，企事业单位高层管理人员、律师、院校师生和其他法律爱...
（美）Neil Harrison，（美）Brian Foote，（德）Hans Rohnert著；北京SPIN译2004 年出版621 页ISBN：7302097267
本书是专业软件开发者记载模式的系列书籍的第4卷，代表了模式领域最先进的实践。本书中的29章都发表于最近的PLoP会议上，且由与会的权威专家做了对其深入研究和改进。这些代表着PloP会议精华的模式提供了用于...
李春葆，刘圣才，张植民编著2005 年出版383 页ISBN：7302108579
本书以面向对象的可视化编程为核心，通过大量示例介绍程序设计基础的方法。本书着重强调学习过程中的习题练习和实习训练，每章均附有练习题，最后在附录A中还给出了7个综合实习题，以提高读者综合应用所学知识来解...
赵欢主编2009 年出版192 页ISBN：9787508468785
本书为《Java程序设计实用教程》的配套辅导，全书内容分成四大部分，第一部分为与理论知识同步的基本实验，共14个实验；第二部分为综合实训案例；第三部分为大型工程项目设计实例；第四部分为习题解析及模拟训练。本书...
崔坚，赵欣，任术才编著2010 年出版418 页ISBN：9787111287186
本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
