Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
programmed interactive » programmer's interactive, programming interactive, program interactive
function computing » education computing, generation computing
interactive https » interaction https, interactions https, interactive hip
https function » its function, sites function, ups function
programmed interactive » programmer's interactive, programming interactive, program interactive
function computing » education computing, generation computing
interactive https » interaction https, interactions https, interactive hip
https function » its function, sites function, ups function
1
Được phát hành 2005
Mục lục:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2013
Mục lục:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2014
Mục lục:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2006
Mục lục:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2005
Mục lục:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”lấy văn bản
Điện tử
eBook
7
Mục lục:
“... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
lấy văn bản
lấy văn bản
Điện tử
eBook
8
Được phát hành 2012
Mục lục:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”lấy văn bản
Điện tử
eBook
9
Được phát hành 2015
Mục lục:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2014
Mục lục:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”lấy văn bản
Điện tử
eBook
11
Những chủ đề:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
lấy văn bản
lấy văn bản
Điện tử
eBook
12
Được phát hành 2007
Mục lục:
“... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2008
Mục lục:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2005
Mục lục:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2008
Mục lục:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2008
Mục lục:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”lấy văn bản
Điện tử
eBook
17
Mục lục:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
lấy văn bản
lấy văn bản
Điện tử
eBook
18
Được phát hành 2010
Mục lục:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2014
Mục lục:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2015
Mục lục:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”lấy văn bản
Điện tử
eBook