Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN:9783540489283
Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys
CLEF 2003 Trondheim2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN:354036014X
The IMA Volumes in Mathematics and Its Applications Volume 14 Mathematical Aspects of Scientific Sof
1988 年出版208 页ISBN:0387967060
PROCEEDINGS OF THE SIXTH BERKELEY SYMPOSIUM ON MATHEMATICAL STATISTICS AND PROBABILITY VOLUME 2 PROB
LUCIEN M.LE CAM JERZY NEYMAN AND ELIZABETH L.SCOTT2222 年出版605 页ISBN:0520021843
Computer solution of large linear systems (volume 28)
J.L.lons1999 年出版753 页ISBN:044450169X