当前位置：首页 > 名称
大约有3,122项符合查询结果项。（搜索耗时：0.0323秒）
为您推荐： edition版tonal8th实体书英文workbookfor纸质harmony anamnesis 10th-anniversary清原纮画集 n名实归 为了nのために 为了n 一元n次方程
-
Lecture Notes in Computer Science 4009 Combinatorial Pattern Matching 17th Annual Symposium
CPM 20062006 年出版414 页ISBN：3540354557 -
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN：3540281770 -
Lecture Notes in Computer Science 2908 Information Security Applications 4th International Workshop
WISA 20032004 年出版506 页ISBN：3540208275 -
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775 -
Lecture Notes in Artificial Intelligence 4196 Multiagent System Technologies 4th German Conference
MATES 20062006 年出版185 页ISBN：3540453768 -
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924 -
Lecture Notes in Computer Science 3786 Information Security Applications 6th International Workshop
WISA 20052006 年出版378 页ISBN：3540310126 -
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN：3540291067 -
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313 -
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
学科分类
出版时间