机译:G. p. Liu,J.B.Yang和J.F.Whidborne,multiobjective optimization and Control,series:Engineering systems modeling and Control,Research studies press(2003)IsBN 0 86380 264 8。
机译:ada编译器验证摘要报告。证书编号:900726W1.11017,Verdix Corporation VaDs IBm RIsC system / 6000,aIX 3.1,Vada-110-7171,版本6.0 IBm RIsC system / 6000 model 530 => IBm RIsC system / 6000 model 530