Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
generation computing » generation computer, generation computers, education computing
program interactive » programmed interactive, programs integrative, programs interaction
interactive https » interaction https, interactions https, interactive hip
https generation » status generation, its generation, arts generation
generation computing » generation computer, generation computers, education computing
program interactive » programmed interactive, programs integrative, programs interaction
interactive https » interaction https, interactions https, interactive hip
https generation » status generation, its generation, arts generation
1
Publicat 2005
Taula de continguts:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Obtenir text complet
Electrònic
eBook
5
Publicat 2011
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Obtenir text complet
Electrònic
eBook
8
Publicat 2013
Taula de continguts:
“... of the Next Generation of Information Technology in Educational Management -- The Use of Data across Countries...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”Obtenir text complet
Electrònic
eBook
12
Publicat 2015
Taula de continguts:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Obtenir text complet
Electrònic
eBook
14
Publicat 2011
Taula de continguts:
“...-Generation Migratory Emergency Management Application -- Integration of User Interface and Application Logic...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Adaptation for Gradual Web Rendering -- Getting the Story Right: Making Computer-Generated Stories More...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... Microsoft Silverlight -- Silverlight As a Business Intelligence Client -- Adding Interactivity to Business...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook