Formal verification of RAA algorithms /

類似資料

• Numerical algorithms /
  出版事項: (1986)
• Applications and algorithms in business : module A /
  著者:: Gustavson, Frances G.
  出版事項: (1978)
• Applied statistics algorithms /
  出版事項: (1985)
• Towards dynamic randomized algorithms in computational geometry /
  著者:: Teillaud, Monique, 1961-
  出版事項: (1993)
• Applications and algorithms in science and engineering : module A /
  著者:: Gear, C. William (Charles William), 1935-
  出版事項: (1978)