Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
methods proceedings » metabolism proceedings
methods processing » methods preprocessing, methods processes, methods process
program functions » programs functional, program foundations, programme function
functions https » foundations https
methods proceedings » metabolism proceedings
methods processing » methods preprocessing, methods processes, methods process
program functions » programs functional, program foundations, programme function
functions https » foundations https
1
Publicado em 2010
Sumário:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2007
Sumário:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
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
6
Publicado em 2007
Sumário:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2012
Sumário:
“... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2007
Sumário:
“... -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2014
Sumário:
“... -- An Efficient Method for Improving Hiding Capacity for JPEG2000 Images -- Electronic Customer Relationship...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2014
Sumário:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
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
14
Publicado em 2005
Sumário:
“... Strongly-Correlated Electron Nanoclusters -- Density Functional Calculations Near Ferromagnetic Quantum...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Publicado em 2005
Sumário:
“... Group Key Agreement Fitted for Pay-TV -- A Method of Generating Table of Contents for Educational Videos...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2015
Sumário:
“...Preface -- Partition functions of discrete coalescents: from Cayley’s formula to Frieze ζ(3) limit...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Sumário:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
18
Sumário:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... Reconfigurable Function Model and Optimized Interface Topologies -- ReconOS: An Operating System for Dynamically...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2010
Sumário:
“... Processing and Reasoning Based on Graph Representation – A Case Study -- A Real Time Player Tracking System...”Obter o texto integral
Recurso Electrónico
livro electrónico