AMERICAN GOVERNMENT ESSENTIALS AND PERSPECTIVES
JACK E.HOLMES MICHAEL J.ENGELHARDT ROBERT E.ELDER1991 年出版514 页ISBN：
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
SWEET POISON:A JACK DONNE MYSTERY
WILLIAM RELLING JR.1998 年出版230 页ISBN：0802733166
LINCOLN ANDREWS B ANNETTE J.THOMASON M.JACK FUJIMOTO1986 年出版569 页ISBN：0878351795
（美）杰克·泰斯默（Jack A.Tesmer）著；李亚主译2003 年出版200 页ISBN：7504541052
本书作者主要提出了四类基本市场类型和四类基本企业类型，以及如何使各类型企业和与其相适应的市场类型相匹配。
杰克·H. 弗兰德泰尔（Jack H. Friedenthal），玛丽·凯·凯恩（Mary Kay Kane），阿瑟·R. 米勒（Arthur R. Miller）著；夏登峻等译2003 年出版803 页ISBN：7562026556
本书为美国高等政法院校教材，论述了美国民事诉讼法的基础理论与基本知识。
STUDY GUIDE BUSINESS SIXTH EDITION
WILLIAM M.PRIDE ROBERT J.HUGHES JACK R.KAPPOR1999 年出版352 页ISBN：0395900816
（美）杰克·J.菲力普斯（Jack J. Phillips）著；蒋龙琴，江涛译2004 年出版211 页ISBN：7115118779
本书介绍如何评估培训项目绩效以及提升项目的投资收益率的流程和方法。
