Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming applications » processing applications
functions computation » function computation, functions composition, function composition
section computational » prediction computational, design computational, effective computational
applications method » applications methods, application method, application methods
method papers » method part
programming applications » processing applications
functions computation » function computation, functions composition, function composition
section computational » prediction computational, design computational, effective computational
applications method » applications methods, application method, application methods
method papers » method part
1
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Publicado em 2013
Sumário:
“... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... Prediction and Early Warning System for Brocaded Carp Aquaculture -- A Greenhouse Control with Sectional...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
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
4
Publicado em 2014
Sumário:
“... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2014
Sumário:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
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
7
Publicado em 2013
Sumário:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2012
Sumário:
“... Orchestration -- Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2012
Sumário:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
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
11
Publicado em 2007
Sumário:
“... -- Szemerédi’s Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation -- Exact Solution...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Assuntos:
“...Computer communication systems....”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2014
Sumário:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2014
Sumário:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2008
Sumário:
“... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2013
Sumário:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2014
Sumário:
“... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2008
Sumário:
“...-paradigm Real-Time Models -- Application of Formal Methods -- Specifying and Verifying Sensor Networks...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... Computation with Quadratic Communication -- Improved Garbled Circuit: Free XOR Gates and Applications...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2006
Sumário:
“... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]