Computation and Reasoning A Type Theory for Computer Science

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

1994 年出版228 页ISBN：0198538359

LECTURE NOTES ON CLINICAL MEDICINE AND SURGERY FOR DENTAL STUDENTS THIRD EDITION

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

D.MACLEAN P.E.PREECE1986 年出版317 页ISBN：0632011149

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT

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

JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558

Handbook of Logic and Proof Techniques for Computer Science

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

2002 年出版245 页ISBN：081764220X

Lecture Notes in Artificial Intelligence 3446 Massively Multi-Agent Systems I First International Wo

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

MMAS 20042005 年出版349 页ISBN：3540269746

FOUNDATIONS OF QUANTUM CHROMODYNAMICS Third Edition World Scientific Lecture Notes in Physics-Vol.78

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

T Muta2010 年出版409 页ISBN：9789812793546

Lecture Notes on Coastal and Estuarine Studies 5 Effluent Transport and Diffusion Models for the Coa

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

2222 年出版168 页ISBN：

CONTROL AND LEARNING IN ROBOTICSYSTEMS

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

JOHN X.LIU EDITOR2005 年出版323 页ISBN：1594543569

NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY BIOLOGY TEACHER'S NOTES

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

1977 年出版72 页ISBN：0582553547

Lecture Notes in Artificial Intelligence 3830 Environments for Multi-Agent Systems III Third Interna

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

E4MAS 20062007 年出版273 页ISBN：9783540711025