THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE

下载此书RAR压缩包在线购买PDF电子书

2007 年出版384 页ISBN：9783540727873

transboundary environmentai governance in a sia practice and prospects with the unece a greements

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

tribological processes in the valve train systems with lightweight valves new research and modelling

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

Automorphisms of manifolds and algebraic K-theory： Part III volume 231

下载此书RAR压缩包在线购买PDF电子书

Michael S. Weiss ; Bruce E. Williams2014 年出版114 页ISBN：1470409814

Modular Representation Theory of Finite and P-Adic Groups Volume 30

下载此书RAR压缩包在线购买PDF电子书

Wee Teck Gan ; Kai Meng Tan2015 年出版266 页ISBN：9814651806

石煤提钒先进工艺及污染防治评价理论与方法

下载此书RAR压缩包在线购买PDF电子书

张一敏等著2015 年出版129 页ISBN：9787030462398

本书系统介绍了石煤提钒行业发展现状、石煤提钒行业先进工艺评估指标体系建立及筛选、典型提钒工艺评估及先进工艺确定石煤提钒行业污染防治技术评估体系的研究、石煤提钒行业污染防治技术方法，最后给出建议...

群智能优化算法理论与应用

下载此书RAR压缩包在线购买PDF电子书

梁艳春，吴春国，时小虎等著2009 年出版220 页ISBN：9787030256058

本书重点阐述了作者近年来在群智能算法领域取得的一批研究成果，并结合旅行商问题、广义旅行商问题、车间调度问题和神经网络模型权值优化等问题给出了算法的数值实验结果。...

Energy Efficiency and Fuel Substitution in the Cement Industry with Emphasis on Developing Countries

下载此书RAR压缩包在线购买PDF电子书

1983 年出版75 页ISBN：0821302701

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE

下载此书RAR压缩包在线购买PDF电子书

ARMIN BIERE2006 年出版438 页ISBN：

中华人民共和国民法总则 编纂对照表与条文释义=The comparison table and explanation of the general provisions of civil law

下载此书RAR压缩包在线购买PDF电子书

王竹主编2017 年出版0 页ISBN：