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

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

ARMIN BIERE2006 年出版438 页ISBN：

Lecture Notes in Computer Science 4717 UbiComp 2007:Ubiquitous Computing 9th International Conferenc

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

UbiComp 20072007 年出版520 页ISBN：9783540748526

Lecture Notes in Computer Science 4507 Computational and Ambient Intelligence 9th International Work

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

IWANN 20072222 年出版0 页ISBN：

EUREM 88 PROCEEDINGS OF THE 9TH EUROPEAN CONGREASS ON ELECTRON MICROSCOPY VOL.1

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

P J GOODHEW H G DICKINSON2222 年出版302 页ISBN：0854981845

Lecture Notes in Computer Science 3572 Developments in Language Theory 9th International Conference

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

DLT 20052005 年出版409 页ISBN：3540265465

Lecture Notes in Computer Science 3608 Algorithms and Data Structures 9th International Workshop

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

WADS 20052005 年出版446 页ISBN：3540281010

Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter

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

LPNMR 20072007 年出版327 页ISBN：9783540721994

Lecture Notes in Artificial Intelligence 3229 Logics in Artificial Intelligence 9th European Confere

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

JELIA 20042004 年出版744 页ISBN：3540232427

Lecture Notes in Computer Science 3317 Implementation and Application Of Automata 9th International

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

CIAA 20042005 年出版336 页ISBN：3540243186

Lecture Notes in Computer Science 4436 Foundations of Genetic Algorithms 9th International Workshop

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

FOGA 20072007 年出版213 页ISBN：9783540734796