Talvez deva tentar algumas variações de ortografia:
verification algorithms » identification algorithms (Expandir a busca), classification algorithms (Expandir a busca), optimization algorithms (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
algorithms binary » algorithm binary (Expandir a busca), algorithms library (Expandir a busca), algorithms linear (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
binary method » boundary method (Expandir a busca), boundary methods (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 program verification algorithms binary method*.