Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318
Lecture Notes in Computer Science 3733 Computer and Information Sciences-ISCIS 2005 20th Internation
2005 年出版973 页ISBN:3540294147
Lecture Notes in Computer Science 4263 Computer and Information Sciences-ISCIS 2006 21th Internation
2006 年出版1084 页ISBN:3540472428
Lecture Notes in Computer Science 4808 Embedded and Ubiquitous Computing International Conference
EUC 20072007 年出版769 页ISBN:9783540770916
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN:9783540737698
Lecture Notes in Computer Science 4096 Embedded and Ubiquitous Computing International Conference
EUC 20062006 年出版1170 页ISBN:3540366792
Lecture Notes in Computer Science 3985 Reconfigurable Computing:Architectures and Applications Secon
ARC 20062006 年出版469 页ISBN:354036708X
Lecture Notes in Computer Science 4683 Advances in Computation and Intelligence Second International
ISICA 20072007 年出版663 页ISBN:9783540745808
Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN: