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í:
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Vydáno 2010
Obsah:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions....”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Získat plný text
Elektronický zdroj
E-kniha
5
Obsah:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Obsah:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2006
Obsah:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”Získat plný text
Elektronický zdroj
E-kniha
8
Obsah:
“...-Machine -- The G-Machine -- The ?-red Machinery -- Pattern Matching -- Another Functional Abstract Machine...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2011
Témata:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2008
Obsah:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2015
Obsah:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2007
Obsah:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Získat plný text
Elektronický zdroj
E-kniha
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Vydáno 2014
Obsah:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2006
Obsah:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”Získat plný text
Elektronický zdroj
E-kniha