Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
function structure » functional structure, functional structures, functional structural
programs internal » programming internal, programs interfaces, programs interests
structure https » structures https
internal https » internet https, internet http, internal attacks
https function » its function, sites function, ups function
function structure » functional structure, functional structures, functional structural
programs internal » programming internal, programs interfaces, programs interests
structure https » structures https
internal https » internet https, internet http, internal attacks
https function » its function, sites function, ups function
1
Publicado em 2012
Assuntos:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2006
Sumário:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2010
Sumário:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2007
Sumário:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2008
Sumário:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2013
Sumário:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2007
Sumário:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2006
Sumário:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2008
Sumário:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2006
Sumário:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2008
Sumário:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2007
Sumário:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2013
Sumário:
“... Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2005
Sumário:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2007
Sumário:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2006
Sumário:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2007
Sumário:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Publicado em 2013
Sumário:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2006
Sumário:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Obter o texto integral
Recurso Eletrônico
livro eletrônico