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í:
programs relations » programs relative, programs rotation, problems relations
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs relations » programs relative, programs rotation, problems relations
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 2014
Témata:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2012
Témata:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Získat plný text
Elektronický zdroj
E-kniha
5
6
Vydáno 2015
Obsah:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2011
Témata:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2006
Obsah:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2012
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2013
Obsah:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2014
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2010
Obsah:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Získat plný text
Elektronický zdroj
E-kniha
13
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
14
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
15
Vydáno 2010
Témata:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Získat plný text
Elektronický zdroj
E-kniha
16
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
17
Vydáno 2015
Obsah:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2012
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Získat plný text
Elektronický zdroj
E-kniha
19
Obsah:
“... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Získat plný text
Elektronický zdroj
E-kniha