Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
教育部考试中心编2007 年出版454 页ISBN：704022951X
本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加三级PC技术考...
（美）Tim Francis等著；王珺等译2003 年出版629 页ISBN：7505388894
IBM WebSphere 5.0应用程序服务器是一个Web应用程序服务器，它在以前版本的基础上得到了进一步的发展，它提供了增强的Servlet API和Servlet管理工具，并集成了JSP技术和数据库连接技术。WebSphere应用服务器使用...
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
廖明武等编著2004 年出版310 页ISBN：7310020758
本书根据教育部考试中心2002年3月制定的新的等级考试大纲（2002年版）分析研究了包括2003年9月最新一次考试在内的所有新试题之后编写而成。涉及计算机及其应用的基础知识、80x86微处理器结构、原理及其宏汇编...
周锋，朱铭琳等编著2007 年出版227 页ISBN：7508447735
本书按照教育部考试中心最新规定的《全国计算机等级考试考试大纲（2004年版）》结合《全国计算机等级考试——三级PC技术教程》编写。全书分为两个部分：第一部分为考前内容回顾，该部分将近年典型考题按全国计算机...
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
邓乾国编著2001 年出版556 页ISBN：7502752994
本书较全面地讲解了PC微机使用中的常见故障，以及维护、优化、使用技巧等方面的知识。内容丰富，覆盖面广，涉及到了可能遇到的各个方面的问题。包括早期的DOS系统、现在的主流Windows9x系统、新出现的Windows200...
成功的快乐方程式 美国运通、IBM、CNN等著名大公司员工激励手册
（美）苏珊·福特·柯林斯著；黄海燕译2003 年出版217 页ISBN：7800736717
每个人都渴望成功，获得成功的快乐，本书就是美国著名商务顾问、演说家柯林斯为我们提供的成功技巧锦囊。柯林斯致力于研究各行各业的成功人士，总结出了他们无意识的使用着的10种技巧，并提供了简便易学的方法，便于...
