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