FUNDAMENTALS OF FINANCIAL MANAGEMENT SIXTH EDITION
JAMES C.VAN HORNE2222 年出版732 页ISBN：013339557X
CALIFORNIA AN INTERPRETIVE HISTORY FOURTH EDITION
WALTON BEAN JAMES J.RAWLS1983 年出版527 页ISBN：
The federalish papers by Alexander Hamiltion
James Madison and John Jay1982 年出版477 页ISBN：
SCRIPTURES OF THE WORLD’S RELIGIONS
JAMES FIESER AND JOHN POWERS1998 年出版480 页ISBN：
GOVERNMENT BY THE PEOPLE TWENTIETH EDITION
JAMES MACGREGOR BURNS AND OTHERS2004 年出版624 页ISBN：
Irish novelists and the Victorian age
by James H. Murphy2011 年出版304 页ISBN：9780199596997;0199596999
THE YEAR BOOK OF MEDICINE 2001
JAMIE S.BARKIN WILLIAM H.FRISHMAN JAMES R.JETT2001 年出版702 页ISBN：032301545X
THE PSYCHOLOGY OF LEARNING THIRD EDITION
JAMES DEESE STEWART H.HULSE1967 年出版514 页ISBN：
Machinery’s handbook 23rd Edition
HENRY H.RYFFEL ROBERT E.GREEN JAMES H.GERONIMO2222 年出版2511 页ISBN：083111200X
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
