Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program organization » programs organization, property organization, arqam organization
function computing » education computing, generation computing
https function » its function, sites function, ups function
program organization » programs organization, property organization, arqam organization
function computing » education computing, generation computing
https function » its function, sites function, ups function
1
2
Vydáno 2010
Témata:
“...Programming languages (Electronic computers)....”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2015
Obsah:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Získat plný text
Elektronický zdroj
E-kniha
4
5
Vydáno 2005
Obsah:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2013
Obsah:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2013
Obsah:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2015
Obsah:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2015
Obsah:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2007
Obsah:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Získat plný text
Elektronický zdroj
E-kniha
12
Obsah:
“... Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2013
Obsah:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2008
Obsah:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2006
Obsah:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2014
Obsah:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Získat plný text
Elektronický zdroj
E-kniha