FINANCIAL ACCOUNTING THE IMPACT ON DECISION MAKERS THIRD EDITION
GARY A.PORTER CURTIS L.NORTON2001 年出版0 页ISBN:
INVESTIGATION FOR DETERMINATION OF FACT A PRIMER ON PROOF
RICHARD A.MYREN CAROL HENDERSON GARCIA1989 年出版240 页ISBN:
COMMENTARIES AND CASES ON THE LAW OF BUSINESS ORGANIZATION
WILLIAM T.ALLEN AND REINIER KRAAKMAN2003 年出版670 页ISBN:
大学行政组织机构变革研究 = On Regorm of University Administrive Organization
徐梅著2017 年出版0 页ISBN:
CASES AND MATERIALS ON EMPLOYMENT DISCRIMINATION LAW THIRD EDITION
SAMUEL ESTREICHER AND MICHAEL C.HARPER2008 年出版732 页ISBN:
CUSTOMS VALUATION COMMENTARY ON THE GATT CUSTOMS VALUATION CODE
SAUL L.SHERMAN AND HINRICH GLASHOFF1987 年出版382 页ISBN:
REVITALIZING ANTITRUST IN ITS SECOND CENTURY ESSAYS ON LEGAL
ELEANOR M.FOX AND ROBERT PITOFSKY1991 年出版542 页ISBN:
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...