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í:
parallel interactions » parallel integration, parallel interactive, parasite interactions
interactions program » interactions progress, integration program, interactive program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel interactions » parallel integration, parallel interactive, parasite interactions
interactions program » interactions progress, integration program, interactive program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
1
Vydáno 2006
Obsah:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Získat plný text
Elektronický zdroj
E-kniha
2
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
3
Vydáno 2005
Obsah:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2010
Obsah:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2010
Obsah:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2015
Obsah:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2014
Obsah:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2005
Obsah:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2008
Obsah:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2010
Obsah:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Získat plný text
Elektronický zdroj
E-kniha
14
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
15
Vydáno 2008
Obsah:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2013
Obsah:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Získat plný text
Elektronický zdroj
E-kniha
18
Témata:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2008
Obsah:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Získat plný text
Elektronický zdroj
E-kniha