Rezultaty - interaction computer programs program interaction https

1

Interactive Computation The New Paradigm /

Wydane 2006

Spis treści: “...Turing, Computing and Communication -- Computing and Interaction -- Principles of Interactive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Learning Basic Genetics with Interactive Computer Programs

od Tseng, Charles C., Tseng, Charles C., Yang, Xiaoli.
Wydane 2013

Spis treści: “...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2007

Spis treści: “...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2007

Spis treści: “...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2005

Hasła przedmiotowe: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS...

Wydane 2005

Spis treści: “... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2007

Spis treści: “... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2011

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2013

Spis treści: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2007

Spis treści: “... Interfaces -- III: Gesture and Eye Gaze Recognition -- IV: Interactive TV and Media....”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2014

Spis treści: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2005

Spis treści: “...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Interactive Quantum Mechanics Quantum Experiments on the Computer /

od Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Wydane 2011

Hasła przedmiotowe: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2015

Hasła przedmiotowe: “...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Interactions Mathematics, Physics and Philosophy, 1860-1930 /

Wydane 2006

Spis treści: “... to the Foundations of Science—A Failed Research Program? -- The Space between Helmholtz and Einstein: Moritz Schlick...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2011

Hasła przedmiotowe: “...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2013

Spis treści: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Wydane 2008

Spis treści: “... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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

Wydane 2012

Spis treści: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty