1
Publicat 2005
Matèries: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...
Obtenir text complet
Electrònic eBook
5
Publicat 2011
Matèries: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
6
Matèries: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Multi-agent Organizations -- Method for Designing Networking Adaptive Interactive Hybrid Systems -- Case...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...
Obtenir text complet
Electrònic eBook
13
Publicat 2008
Taula de continguts: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ...-of-Mouth Dynamics -- Economy, Market and Organization -- Introducing Preference Heterogeneity into a...
Obtenir text complet
Electrònic eBook
15
Publicat 2015
Taula de continguts: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Obtenir text complet
Electrònic eBook
16
Publicat 2014
Taula de continguts: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ...s: The View from Gimli -- 16. Alaska’s Community Quota Entities Program for Halibut and Sablefish: Between...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ...3D Immersive & Interactive Learning -- Use of Virtual Reality in Teaching and Learning Molecular...
Obtenir text complet
Electrònic eBook