Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
methods papers » method papers, methods pattern, methods part
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
methods papers » method papers, methods pattern, methods part
1
Publicado em 2006
Sumário:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2008
Sumário:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2006
Sumário:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2010
Assuntos:
“...Programming languages (Electronic computers)....”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2012
Sumário:
“... Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2005
Sumário:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2007
Sumário:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2008
Sumário:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2015
Sumário:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2008
Sumário:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2015
Sumário:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2015
Sumário:
“... Test Cases Minimization for Object Oriented Programs....”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2005
Sumário:
“... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...”Obter o texto integral
Recurso Electrónico
livro electrónico