1
Publicado em 2006
Sumário: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
por Saeed, Walid
Publicado em 2005
Assuntos: ...Programming language(Electronic computer)...
Obter o texto integral
Tese
4
Publicado em 2010
Sumário: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2015
Sumário: ... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ... -- An Adaptive Multibiometric System for Uncertain Audio Condition -- Analysis of Performance Impact due...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2013
Sumário: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
por Saeed, Walid
Publicado em 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Obter o texto integral
Tese
10
Publicado em 2013
Sumário: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2007
Sumário: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2013
Sumário: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2008
Sumário: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2015
Sumário: ... in Dependent Cases -- El hadji Deme, Stéphane Girard, and Armelle Guillou: Reduced-bias Estimator...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2010
Sumário: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2006
Sumário: ...: Column-Based Methods -- Dobrushin Conditions and Systematic Scan -- Complete Convergence of Message...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20