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)