• Exportovat záznam
  • Export to MARC
  • Export to MARCXML
  • Export to RDF
  • Export to RIS
• Vytvořit citaci

Podobné jednotky

• Forcing with random variables and proof complexity /
  Autor: Krajíček, Jan, 1960-
  Vydáno: (2011)
• New frontier in evolutionary algorithms : theory and applications /
  Autor: Iba, Hitoshi, 1962-
  Vydáno: (2012)
• Složitost výpočtů a optimální algoritmy /
  Autor: Morávek, Jaroslav, 1940-1986
  Vydáno: (1984)
• Logical foundations of mathematics and computational complexity : a gentle introduction /
  Autor: Pudlák, Pavel, 1952-
  Vydáno: (2013)
• Rozhodovací posloupnosti /
  Autor: Walter, Jaromír, 1923-2001
  Vydáno: (1983)