檢索結果 - interactive computing proceedings programmed interaction https

1

Human-Computer Interaction – INTERACT 2005 IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings /

出版 2005

主題: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

2

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI...

出版 2007

書本目錄: “...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”
獲取全文

電子電子書

3

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI...

出版 2007

書本目錄: “...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...”
獲取全文

電子電子書

4

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

出版 2013

書本目錄: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
獲取全文

電子電子書

5

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference...

出版 2007

書本目錄: “... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....”
獲取全文

電子電子書

6

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

出版 2014

書本目錄: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
獲取全文

電子電子書

7

Computer Vision in Human-Computer Interaction ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, Proceedings /

出版 2005

書本目錄: “...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”
獲取全文

電子電子書

8

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International...

出版 2007

書本目錄: “... Interfaces -- III: Gesture and Eye Gaze Recognition -- IV: Interactive TV and Media....”
獲取全文

電子電子書

9

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /

出版 2011

主題: “...Programming languages (Electronic computers)....”
獲取全文

電子電子書

10

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

出版 2010

書本目錄: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
獲取全文

電子電子書

11

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

出版 2011

主題: “...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”
獲取全文

電子電子書

12

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

出版 2013

書本目錄: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
獲取全文

電子電子書

13

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

出版 2012

書本目錄: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
獲取全文

電子電子書

14

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

出版 2015

主題: “...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”
獲取全文

電子電子書

15

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

出版 2015

書本目錄: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
獲取全文

電子電子書

16

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI...

出版 2007

主題: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

17

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

出版 2013

書本目錄: “... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”
獲取全文

電子電子書

18

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

出版 2014

書本目錄: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
獲取全文

電子電子書

19

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

出版 2014

書本目錄: “...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”
獲取全文

電子電子書

20

Engineering Interactive Systems 2008 Second Conference on Human-Centered Software Engineering, HCSE...

出版 2008

書本目錄: “... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”
獲取全文

電子電子書

縮小搜索