在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
interactive computing » interactive computer
proceedings programs » proceedings program, processing programs, procedures programs
programs functionals » programs functional, programming functionals, program functionality
functionals https » functions https, function https, functionals hints
interactive computing » interactive computer
proceedings programs » proceedings program, processing programs, procedures programs
programs functionals » programs functional, programming functionals, program functionality
functionals https » functions https, function https, functionals hints
1
出版 2013
書本目錄:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”獲取全文
電子
電子書
2
出版 2014
書本目錄:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”獲取全文
電子
電子書
3
出版 2012
書本目錄:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”獲取全文
電子
電子書
4
出版 2015
書本目錄:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”獲取全文
電子
電子書
5
出版 2014
書本目錄:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”獲取全文
電子
電子書
6
出版 2008
書本目錄:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”獲取全文
電子
電子書
7
出版 2005
書本目錄:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”獲取全文
電子
電子書
8
出版 2010
書本目錄:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”獲取全文
電子
電子書
9
出版 2005
書本目錄:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”獲取全文
電子
電子書
10
出版 2007
書本目錄:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”獲取全文
電子
電子書
11
出版 2008
書本目錄:
“... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”獲取全文
電子
電子書
12
出版 2014
書本目錄:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”獲取全文
電子
電子書
13
出版 2008
書本目錄:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”獲取全文
電子
電子書
14
出版 2015
書本目錄:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”獲取全文
電子
電子書
15
出版 2015
書本目錄:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”獲取全文
電子
電子書
16
出版 2007
書本目錄:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”獲取全文
電子
電子書
17
出版 2010
書本目錄:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”獲取全文
電子
電子書
18
出版 2007
書本目錄:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”獲取全文
電子
電子書
19
出版 2006
書本目錄:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”獲取全文
電子
電子書
20
出版 2006
書本目錄:
“... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”獲取全文
電子
電子書