Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
computation programming » communication programming, computation programmatic, computing programming
section computation » section computational, deduction computation, function computation
problems array » problems ray, problems aripar, problems barrow
array a » array _
computation programming » communication programming, computation programmatic, computing programming
section computation » section computational, deduction computation, function computation
problems array » problems ray, problems aripar, problems barrow
array a » array _
1
Sumário:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Sumário:
“...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2014
Sumário:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2008
Sumário:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2012
Sumário:
“... Orthotropic Elliptic Problems.-A Computational Approach for the Earthquake Response of Cable-Braced Reinforced...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2013
Sumário:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2008
Sumário:
“... Comprehensions -- Program Complexity in Hierarchical Module Checking -- Valigator: A Verification Tool with Bound...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2015
Sumário:
“... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Sumário:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2015
Sumário:
“... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2010
Sumário:
“... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2015
Sumário:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2014
Sumário:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2008
Sumário:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2008
Sumário:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2013
Sumário:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2013
Sumário:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2014
Sumário:
“... of the Obese Patient.- 7. Childhood Obesity: Solutions to a Growing Problem.- 8. Non-Alcoholic Fatty Liver...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2013
Sumário:
“... of Government Resignation -- Utilizing Neuronal Calculus in Predicting Inflation -- PEV: A Computer Program...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2013
Sumário:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”Obter o texto integral
Recurso Eletrônico
livro eletrônico