Fundamental Proof Methods in Computer Science A Computer-Based Approach

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

Konstantine Arkoudas2017 年出版942 页ISBN：0262035538

Lecture Notes in Artificial Intelligence 3202 Knowledge Discovery in Databases:PKDD 2004 8th Europea

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

Otaly2004 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4213 Knowledge Discovery in Databases:PKDD 2006 10th Europe

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

Germany2006 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 3721 Knowledge Discovery in Databases:PKDD 2005 9th Europea

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

Portugal2005 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4702 Knowledge Discovery in Databases:PKDD 2007 11th Europe

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

Poland2007 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 2256 AI 2001:Advances in Artificial Intelligence 14th Auatr

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

Australia2001 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4830 AI 2007:Advances in Artificial Intelligence 20th Austr

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

Australia2007 年出版0 页ISBN：

LECTURE NOTES IN MATHEMATICS 1257: ON THE C*-ALGEBRAS OF FOLIATIONS IN THE PLANE

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

1987 年出版172 页ISBN：3540179038;0387179038

Lecture Notes in Artificial Intelligence 3315 Advances in Artificial Intelligence-IBERAMIA 2004 9th

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

Mexico2004 年出版0 页ISBN：

Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics

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

1986 年出版724 页ISBN：354017172X