Talvez deva tentar algumas variações de ortografia:
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
algorithm inductive » algorithm adaptive (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
inductive method » inductive methods (Expandir a busca), intuitive method (Expandir a busca), indicating method (Expandir a busca)

Você pode obter mais resultados ajustando o argumento de busca.

• Fazer uma busca fuzzy pode resultar em termos de grafias semelhantes: parallel program verification algorithm inductive method~.
• Adicionar um caractere curinga pode recuperar variações da palavra buscada: parallel program verification algorithm inductive method*.