Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN:
4th International Symposium on High-Temperature Metallurgical Processing proceedings of a symposium
Metals & Materials So2013 年出版682 页ISBN:1118605691
INTERNATION MARITIME ORGANZATION A COLLECTION OF PARTIAL RESOLUTIONS AT 19TH ASSEMBLY OF IMO
中华人民共和国船舶检验局译1997 年出版266 页ISBN:7114026846
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN:3540333398
INTERNATION MARITIME ORGANIZATION A COLLECTION OF PARTIAL RESOLUTIONS AT 20TH ASSEMBLY OF IMO
中华人民共和国船舶检验局译1999 年出版207 页ISBN:15114·0214
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN: