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 interacting » programming interfacing, programming interactive, programming integrating
function computing » education computing, generation computing
interacting https » interactions https, interaction https, interacting atoms
https function » its function, sites function, ups function
programming interacting » programming interfacing, programming interactive, programming integrating
function computing » education computing, generation computing
interacting https » interactions https, interaction https, interacting atoms
https function » its function, sites function, ups function
1
Vydáno 2005
Obsah:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”Získat plný text
Elektronický zdroj
E-kniha
2
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
3
Vydáno 2013
Obsah:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2012
Obsah:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2015
Obsah:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2014
Obsah:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Získat plný text
Elektronický zdroj
E-kniha
11
Témata:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2007
Obsah:
“... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”Získat plný text
Elektronický zdroj
E-kniha
18
Obsah:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”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