张田勘著1999 年出版231 页ISBN：7801121201
张田勘 1987年毕业于 南开大学，获语言学硕 士学位。在大学和研究 生期间同时修完医科大 学本科课程。当过知青 在西藏服过役，作过教 师。研究生毕业后，主 要从事教科文信息的研 究和...
（瑞士）苏伦·埃尔克曼著；Suren Erkman 徐兴元译1999 年出版156 页ISBN：7801274113
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
（美）卡尔森（Carlson，D.）编著2004 年出版333 页ISBN：703012491X
本书通过一个大型综合应用实例，讲解如何XML和UML结合，创建动态的Web应用程序，实现最优的B2B应用集成。全书共分12章，讨论了XML词汇表的设计与可视化分析，探讨了从XML词汇表生成DTD和Schema语言的过程，以及企业级...
任世贤编著2003 年出版262 页ISBN：753573703X
国家自然科学基金研究成果专著出版基金资助出版:本书通过基本网络（即简单网络）介绍BANT网络的基本构图方法（即BANT画法）和基本计算方法（即BANT算法）、定性相容辨识和定量相容的辨识等内容。...
白希著2004 年出版328 页ISBN：7801537947
本书记叙了杜月笙如何靠“黑”起家，不择手段聚敛财富。对现实有警示作用。
童南茜编著2004 年出版227 页ISBN：7801063511
本书以高考最后100天为切入点，全方位透析所有重大考试冲刺阶段致胜方略。
