Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
functionality using » functionality business, functionality design, functioning using
functions https » foundations https
function https » fiction https
using https » using http, nursing https, aging https
functionality using » functionality business, functionality design, functioning using
functions https » foundations https
function https » fiction https
using https » using http, nursing https, aging https
1
Publicado em 2010
Sumário:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2006
Sumário:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
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
6
Publicado em 2008
Sumário:
“... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Por Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Publicado em 2005
Sumário:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Publicado em 2005
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2006
Sumário:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2012
Sumário:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2011
Assuntos:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Sumário:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
15
Sumário:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
16
Por Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Publicado em 2015
Sumário:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”Publicado em 2015
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Sumário:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
18
Sumário:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2005
Sumário:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico