Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop

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

TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：

犯罪干预与预防评估系统回顾研究=Crime Intercention and Prevention A Systematic of Intervention Programs

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

刘建宏主编2015 年出版0 页ISBN：

multilingual cognition and language use processing and typological perspectives

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

2222 年出版0 页ISBN：

INNOVATIVE PROCESSING AND MANUFACTURING OF ADVANCED CERAMICS AND COMPOSITES

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

2010 年出版236 页ISBN：0470876468

VIDEO PROCESSING AND COMMUNICATIONS

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

YAO WANG JORN OSTERMANN YA-QIN ZHANG2002 年出版595 页ISBN：0130175471

Lecture Notes in Computer Science 3484 Efficient Approximation and Online Algorithms

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

Evripidis Bampis2006 年出版349 页ISBN：

BASIC PROGRAMS FOR STEAM PLANT ENGINEERS：BOILERS，COMBUSTION，FLUID FLOW，AND HEAT TRANSFER

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

V.GANAPATHY2222 年出版152 页ISBN：0824774892

Optimization of linear control systems : analytical methods and computational algorithms

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

F. A.Aliev and v.b.larin1998 年出版261 页ISBN：9056991132

Systems Analysis and Data Processing

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

1979 年出版236 页ISBN：

OPTICAL INFORMATION PROCESSING AND HOLOGRAPHY

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

2222 年出版398 页ISBN：