张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
高裴裴，张健，程茜编2014 年出版409 页ISBN：9787310044115
本书共分13个章节，分别详细介绍了数据库系统基础知识、数据库设计、关系代数、常量变量表达式与函数、数据库和表的创建与维护、查询文件、数据库标准语言SQL、结构化程序设计、窗体设计、面向对象程序设计...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版258 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
张健主编2006 年出版259 页ISBN：7505414127
本丛书在新课标理念指导下，针对中学生年龄特点和阅读需求，有机地编排了最近几年来出现的中学生喜闻乐见的散文、小说，内容包括情感、回忆、经历、探索等各类时文；并加以精当的点评，包括感悟、共鸣、沉思、引申等...
