Search alternatives:
"based solution and computational programming" » "based solution and computational program" (Expand search), "based solution and computational processing" (Expand search), "based solution and educational programming" (Expand search), "based solution _ computational programming" (Expand search), "based solutions and computational programming" (Expand search), "and solution and computational programming" (Expand search), "based simulation and computational programming" (Expand search), "based evolution and computational programming" (Expand search)
"using computational in computing program" » "using computational in consulting program" (Expand search), "using computational in computer program" (Expand search), "using computational in computador program" (Expand search), "using computational and computing program" (Expand search), "using computational _ computing program" (Expand search), "using computational 3d computing program" (Expand search), "using computational of computing program" (Expand search)
"based solution and computational programming" » "based solution and computational program" (Expand search), "based solution and computational processing" (Expand search), "based solution and educational programming" (Expand search), "based solution _ computational programming" (Expand search), "based solutions and computational programming" (Expand search), "and solution and computational programming" (Expand search), "based simulation and computational programming" (Expand search), "based evolution and computational programming" (Expand search)
"using computational in computing program" » "using computational in consulting program" (Expand search), "using computational in computer program" (Expand search), "using computational in computador program" (Expand search), "using computational and computing program" (Expand search), "using computational _ computing program" (Expand search), "using computational 3d computing program" (Expand search), "using computational of computing program" (Expand search)
1
2
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis
3
“...), lu (LU decomposition) and durbin (system solution Toeplitz matrix). Each has different computational complexity. The...”
Access document
Access document
Master thesis