Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based tools » based tool, basic tools
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based tools » based tool, basic tools
1
Publicado em 2012
Sumário:
“...Preface -- List of Contributors -- 1. Statistically Principled Application of Computational...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“... Multilevel Approach for Optimizing Collective Communications in Computational Grids -- Rough Set Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Quality Perception -- An Offline Fuzzy Based Approach for Iris Recognition with Enhanced Feature Detection...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2006
Sumário:
“... Tutorial — Project Management: Issues in Computer Based Monitoring and Control with Soft Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2010
Sumário:
“... -- Power Control for Soft Fractional Frequency Reuse in OFDMA System -- Authentication – Based Medium...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2006
Sumário:
“...: Physics Application Programming Interface -- A Vision-Based Non-contact Interactive Advertisement with a...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2005
Sumário:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2008
Sumário:
“... between Hardware and Software -- Computational Logical Frameworks and Generic Program Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2014
Sumário:
“... Detection Algorithm for Near-Infrared Capture Devices -- Query Selectivity Estimation Based on Improved V...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2015
Sumário:
“... Convex Programming: Application to Real-time MPC -- 2. Fully Inverse Parametric Linear/Quadratic...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]