INTERNATIONAL HUMANITARIAN LAW AND INTERNTIONL HUMAN RIGHTS LAW
ORNA BEN-NAFTALI2011 年出版388 页ISBN：0191001600
（美）伊森·凯什（Ethan Katsh），（以色列）奥娜·拉比诺维奇·艾尼（Orna Rabinovich-Einy）著2019 年出版302 页ISBN：9787519731144
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
MOLECULAR BIOLOGY PRINCIPLES OF GENOME FUNCTION SECOND EDITION
NANCY L CRAIG AND ORNA COHEN-FIX AND RACHEL GREEN AND CAROL GREIDER AND GISELA STORZ AND CYNTHIA WOLBERGER2014 年出版912 页ISBN：0199658579
