Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programs computing » programs compiling, programs conducting, problems computing
https function » its function, sites function, ups function
function side » function some, function space, function state
programs computing » programs compiling, programs conducting, problems computing
https function » its function, sites function, ups function
function side » function some, function space, function state
1
Publicado em 2005
Sumário:
“... Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Sumário:
“... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2015
Sumário:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2013
Sumário:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2012
Sumário:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Assuntos:
“...Computer programming....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2010
Sumário:
“...An Algorithmic Framework for Predicting Side-Effects of Drugs -- SubMAP: Aligning Metabolic...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2014
Sumário:
“... -- Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees -- A Fast Branching...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2015
Sumário:
“...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2013
Sumário:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
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
20
Publicado em 2013
Sumário:
“... -- Supporting Ancient Coin Classification by Image-Based Reverse Side Symbol Recognition -- Eyewitness Face...”Obter o texto integral
Recurso Electrónico
livro electrónico