Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming computing » programming comparing, programming composing, programming computer
function generation » motion generation, function genetic, function genetics
generation https » degeneration https, generation hts, generation helps
https function » its function, sites function, ups function
programming computing » programming comparing, programming composing, programming computer
function generation » motion generation, function genetic, function genetics
generation https » degeneration https, generation hts, generation helps
https function » its function, sites function, ups function
1
Pubblicazione 2010
Sommario:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Testo
Elettronico
eBook
2
Pubblicazione 2012
Sommario:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testo
Elettronico
eBook
3
Sommario:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Testo
Testo
Elettronico
eBook
4
Sommario:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Testo
Testo
Elettronico
eBook
5
Pubblicazione 2013
Sommario:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Testo
Elettronico
eBook
6
Pubblicazione 2007
Sommario:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Testo
Elettronico
eBook
7
Pubblicazione 2006
Sommario:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testo
Elettronico
eBook
9
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Pubblicazione 2010
Sommario:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Testo
Elettronico
eBook
10
Sommario:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
Testo
Testo
Elettronico
eBook
11
Pubblicazione 2014
Sommario:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testo
Elettronico
eBook
12
Pubblicazione 2015
Sommario:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Testo
Elettronico
eBook
13
Pubblicazione 2006
Sommario:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Testo
Elettronico
eBook
14
Pubblicazione 2013
Sommario:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
16
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Testo
Elettronico
eBook
17
Pubblicazione 2010
Sommario:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”Testo
Elettronico
eBook
18
Pubblicazione 2006
Sommario:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testo
Elettronico
eBook
19
Pubblicazione 2010
Sommario:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”Testo
Elettronico
eBook
20
Pubblicazione 2007
Sommario:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testo
Elettronico
eBook