Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
INTERNATION MARITIME ORGANIZATION A COLLECTION OF PARTIAL RESOLUTIONS AND CIRCULARS ADOPTED AT 66TH
中国船级社译2000 年出版164 页ISBN:15114·0384
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation
1991 年出版468 页ISBN:0897914376
Principles of quantum computation and information Volume I Basic concepts
Giuliano Benenti and giulio casati2004 年出版256 页ISBN:9812388583
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 3 BALL TO BOX
1976 年出版503 页ISBN:0824722531
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN: