THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN:
孙培艳,季民,卜志国主编2016 年出版126 页ISBN:9787502793364
本书对我国海洋溢油应急响应现状进行了分析,从系统数据库设计及建设,海洋溢油风险评估方法,溢油溯源与归宿预测系统,海上溢油影响(海水、沉积物及生物)监测与评价系统,岸滩溢油监测与评价系统,海洋功能区溢油......
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN:3540208518
BOSE-EINSTEIN CONDENSATION OF EXCITONS AND BIEXCITONS:AND COHERENT NONLINEAR OPTICS WITH EXCITONS
S.A.MOSKALENKO2000 年出版415 页ISBN:0521580994
NON-CLASSICAL PROBLEMS IN THE THEORY OF ELASTIC STABILITY
ISAAC ELISHAKOFF2001 年出版336 页ISBN: