Εναλλακτικές αναζητήσεις:
interactive computing » interactive computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
interactions https » interaction https, integration https
interactive https » interaction https, interactive hip, interactive apps
1
Έκδοση 2005
Θέματα: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2007
Πίνακας περιεχομένων: ...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2007
Πίνακας περιεχομένων: ...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2013
Πίνακας περιεχομένων: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2007
Πίνακας περιεχομένων: ... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2014
Πίνακας περιεχομένων: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... Interfaces -- III: Gesture and Eye Gaze Recognition -- IV: Interactive TV and Media....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2011
Θέματα: ...Programming languages (Electronic computers)....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων: ...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2011
Θέματα: ...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2013
Πίνακας περιεχομένων: ... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2015
Θέματα: ...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2012
Πίνακας περιεχομένων: ...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2013
Πίνακας περιεχομένων: ... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2014
Πίνακας περιεχομένων: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων: ... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2006
Πίνακας περιεχομένων: ...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο