Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 3892 DNA Computing 11th International Workshop on DNA Computers
DNA112006 年出版440 页ISBN：3540341617
Lecture Notes in Computer Science 3384 DNA Computing 10th International Workshop on DNA Computers
DNA102005 年出版470 页ISBN：3540261745
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 4699 Applied Parallel Computing State of the Art in Scientific Com
PARA 20062007 年出版1192 页ISBN：9783540757542
Lecture Notes in Computer Science 3732 Applied Parallel Computing State of the Art in Scientific Com
PARA 20042006 年出版1174 页ISBN：3540290672
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
Lecture Notes in Computer Science 4412 Ubiquitous Convergence Technology First International Confere
ICUCT 20062007 年出版302 页ISBN：9783540717881
