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í:
interactive computing » interactive computer
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
programmed function » programme function, programming function, programming functions
function https » functions https, fiction https
interactive computing » interactive computer
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
programmed function » programme function, programming function, programming functions
function https » functions https, fiction https
1
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
2
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
3
Vydáno 2012
Obsah:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2015
Obsah:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Získat plný text
Elektronický zdroj
E-kniha
5
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
6
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Získat plný text
Elektronický zdroj
E-kniha
9
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
10
Vydáno 2007
Obsah:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2007
Obsah:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Získat plný text
Elektronický zdroj
E-kniha
12
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
13
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
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 2015
Obsah:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2015
Obsah:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Získat plný text
Elektronický zdroj
E-kniha
18
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
19
Vydáno 2014
Obsah:
“... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2006
Obsah:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Získat plný text
Elektronický zdroj
E-kniha