Talvez deva tentar algumas variações de ortografia:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
parallel programming » parallel processing (Expandir a busca)
algorithm inductive » algorithm adaptive (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.

• Adicionar um caractere curinga pode recuperar variações da palavra buscada: parallel programming verification algorithm inductive method*.