Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

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

TPHOLs 20012001 年出版394 页ISBN：354042525X

Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S

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

FMCO 2006 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat

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

BNCOD 182001 年出版218 页ISBN：354042265X

Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy

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

FMCO 2005 Amsterdam2222 年出版0 页ISBN：

AL AND EXPERT SYSTEMS A COMPREHENSIVE GUIDE TO TURBO PASCAL SECOND EDITION

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

ROBERT I.LEVINE DIANE E.DRANG AND BARRY EDELSON1990 年出版292 页ISBN：0070374953

LECTURE NOTES IN ECONOMICE AND MATHEMATICAL SYSTEMS 482: A THEORY OF INTERNATIONAL TRADE

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

WEI-BIN ZHANG2000 年出版196 页ISBN：3540669175

Mastering OpenCV 3 Second Edition Get hands-on with practical Computer Vision using OpenCV 3

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

Daniel Lelis Baggio2222 年出版0 页ISBN：

STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS

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

JAMES F.DOYLE1991 年出版448 页ISBN：

Histopathology Of The Peripheral And Central Nervous Systems Third Edition(Revised and Enlarged)

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

1948 年出版612 页ISBN：

PROCEEDINGS OF THE IFAC 5TH WORLD CONGRESS PART 3 ECOLOGY AND SYSTEMS ENGINEERING

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

1972 年出版482 页ISBN：