Search alternatives:
"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 program" » "based solution _ computational program" (Expand search), "based solutions and computational program" (Expand search), "and solution and computational program" (Expand search), "based simulation and computational program" (Expand search), "based evolution and computational program" (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 program" » "based solution _ computational program" (Expand search), "based solutions and computational program" (Expand search), "and solution and computational program" (Expand search), "based simulation and computational program" (Expand search), "based evolution and computational 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
4
5
“...), lu (LU decomposition) and durbin (system solution Toeplitz matrix). Each has different computational complexity. The...”
Access document
Access document
Master thesis
6