巴尔塔沙·葛拉西安原著；牧之编译2009 年出版232 页ISBN：9787510402739
本书为哲学类青少年读物，在《智慧书》原版的基础上进行了十二卷的分类，在每一卷中呈现原著的精华，并结合实际进行了论述，再以故事的形式增强趣味性的哲理性，最后在原著的基础上为青少年朋友们总结出了实用的处世...
西安市教委会教研室编1988 年出版80 页ISBN：7541701580
本书是针对高考学生设计的一套备考参考资料。它在讲究知识的系统性和内容的全面性的基础上，注重高考热点、热考题型、学生答题技法的归纳和突破。它通过对试卷命题特点的分析、热点的逐一突破、典型热考题型...
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
