THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCEPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：ARMIN BIERE
- 出 版 社：SPRINGER-VERLAG
- 出版年份：2006
- ISBN：
- 页数：438 页
图书介绍：
《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE》目录
标签：
相关图书
作者其它书籍
- 《博采法语语法》Gertraud Gergor，Armin Volkmar Wernsing著 付天海译 2005
- 《肺肿瘤病理学图谱 组织病理学、细胞病理学、内镜和影响学》Armando E.Fraire，PhilipT.Cagle，Richard S.Irwin，Dina R.Mody，Armin Ernst，Shanda Blackmon，Timothy C.Allen，Megan K.Dishop主编；杨连君，司晓辉主译 2013
- 《激动人心的年代 通向原子时代之路》（德）阿尔明·赫尔曼（Armin Hermann）著；肖润喜，黄世新译 2001
- 《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE》ARMIN BIERE 2006
- 《ENDOBRONCHIAL ULTRASOUND AN ATLAS AND PRACTICAL GUIDE》ARMIN ERNST 2009
- 《THE NEW ERA OF ENTERPRISE BUSINESS INTELLIGENCE:USING ANALYTICS TO ACHIEVE A GLOBAL COMPETITIVE ADVA》MIKE BIERE 2010
- 《VASCULAR ANATOMY OF THE SPINAL CORD》ARMIN K.THRON 1988
- 《PRINCIPLES OF EUROPEAN CONSTITUTIONAL LAW SECOND REVISED EDITION》ARMIN VON BOGDANDY AND JURGEN BAST 2010
- 《Applied statistics for network biology methods in systems biology》Matthias Dehmer ; Frank Emmert-Streib ; Armin Graber ; Armindo Salvador 2011
- 《THE CANCER PROBLEM A CRITICAL ANALYSIS AND MODERN SYNTHESIS》ARMIN C. BRAUN 1969
出版社其它书籍