A sua busca - "((decrease buffer) OR (decrease after)) optimization algorithms formal method~" - não corresponde a nenhum registro.
Talvez deva tentar algumas variações de ortografia:
optimization algorithms » approximation algorithms (Expandir a busca)
algorithms formal » algoritmo formal (Expandir a busca), algorithms optimal (Expandir a busca), algorithm social (Expandir a busca)
formal method » formal methods (Expandir a busca)
optimization algorithms » approximation algorithms (Expandir a busca)
algorithms formal » algoritmo formal (Expandir a busca), algorithms optimal (Expandir a busca), algorithm social (Expandir a busca)
formal method » formal methods (Expandir a busca)
Você pode obter mais resultados ajustando o argumento de busca.
- Remover as aspas pode possibilitar buscas mais amplas: ((decrease buffer) OR (decrease after)) optimization algorithms formal method~.