Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
VOCABULARY CONTROL FOR INFORMATION RETRIEVAL SECOND EDITION
F.W.LANCASTER2222 年出版270 页ISBN：0878150536
LECTURE NOTES IN MATHEMATICS 1257: ON THE C*-ALGEBRAS OF FOLIATIONS IN THE PLANE
1987 年出版172 页ISBN：3540179038;0387179038
Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN：354017172X
Lecture Notes in Artificial Intelligence 4049 Argumentation in Multi-Agent Systems Second Internatio
ArgMAS 20052006 年出版313 页ISBN：3540363556
Lecture Notes in Artificial Intelligence 4845 Web Intelligence Meets Brain Informatics First WICI In
WImBI 20062007 年出版516 页ISBN：9783540770275
Lecture Notes in Artificial Intelligence 4766 Argumentation in Multi-Agent Systems Thied Internation
ArgMAS 20062007 年出版211 页ISBN：9783540755258
State-of-the-Art in Content-Based Image and Video Retrieval
2001 年出版345 页ISBN：1402001096
LECTURE NOTES IN MATHEMATICS 662：THE METRIC THEORY OF BANACH MANIFOLDS
A.DOLD AND B.ECKMANN1978 年出版308 页ISBN：3540089152
