Podobné jednotky

• Efficient checking of polynomials and proofs and the hardness of approximation problems /
  Autor: Sudan, Madhu
  Vydáno: (1995)
• Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13.-15., 2002 : proceedings /
  Vydáno: (2002)
• Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ESQARU 2001 : Toulouse, France, September 19-21, 2001 : proceedings /
  Vydáno: (2001)
• Lectures on proof verification and approximation algorithms /
  Autor: Mayr, Ernst W., 1950-
  Vydáno: (1998)
• Simulation of nondeterministic finite automata in approximate string and sequence matching /
  Autor: Holub, Jan, 1973-
  Vydáno: (1998)