Buscas alternativas:
"based computational tool computing program" » "and computational tool computing program" (Expandir a busca), "by computational tool computing program" (Expandir a busca), "based computational biology computing program" (Expandir a busca), "based computational tool consulting program" (Expandir a busca), "based computational tool computer program" (Expandir a busca), "based computational tool computador program" (Expandir a busca), "based computational model computing program" (Expandir a busca), "based computational fog computing program" (Expandir a busca), "based computational flow computing program" (Expandir a busca)
"based solutions and computing program" » "based solutions and consulting program" (Expandir a busca), "based solutions and computer program" (Expandir a busca), "based solutions and computador program" (Expandir a busca), "based solution and computing program" (Expandir a busca), "based solutions in computing program" (Expandir a busca), "based solutions _ computing program" (Expandir a busca), "based solutions grid computing program" (Expandir a busca), "based solutions fog computing program" (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca '(("based solutions and computing program") OR ("based computational tool computing program"))~', tempo de busca: 1,29s Refinar Resultados
1
Publicado em 2004
Assuntos: “...Especificação de sistemas e programas...”
Acessar documento
Tese
2
Publicado em 2019
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Acessar documento
Tese
Exportar CSV Export RIS