Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programmed interactive » programmer's interactive, programming interactive, program interactive
proceedings programmed » processing programmed, proceedings program, process programmed
interaction computing » interactive computing, integration computing, intersections computing
interactive https » interaction https, interactions https, interactive hip
programmed interactive » programmer's interactive, programming interactive, program interactive
proceedings programmed » processing programmed, proceedings program, process programmed
interaction computing » interactive computing, integration computing, intersections computing
interactive https » interaction https, interactions https, interactive hip
1
Udgivet 2005
Fag:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2007
Indholdsfortegnelse:
“...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2007
Indholdsfortegnelse:
“... Interfaces -- III: Gesture and Eye Gaze Recognition -- IV: Interactive TV and Media....”Få fuldtekst
Electronisk
eBog
9
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2011
Fag:
“...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2012
Indholdsfortegnelse:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2015
Fag:
“...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2015
Indholdsfortegnelse:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2007
Fag:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2013
Indholdsfortegnelse:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2014
Indholdsfortegnelse:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”Få fuldtekst
Electronisk
eBog