Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction computing » interactive computing, integration computing, intersections computing
proceedings programs » proceedings program, processing programs, procedures programs
programs case » programs a
case https » care https, use https, change https
interaction computing » interactive computing, integration computing, intersections computing
proceedings programs » proceedings program, processing programs, procedures programs
programs case » programs a
case https » care https, use https, change https
1
Published 2013
Table of Contents:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Interactive Narrative Systems -- Believable Agents and Intelligent Story Adaptation for Interactive...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Group Signature Implies PKE with Non-interactive Opening and Threshold PKE -- Network Security -- A...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...Automata theory and formal languages -- Principles and semantics of programming languages...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology -- Adoption...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Up-Front Interaction Design in Agile Development -- British Telecom Experience Report: Agile...”View full text
Electronic
eBook