Suggested Topics within your search.
Search alternatives:
interactive application » interactive applications, interaction applications, interactions application
programming programming » programming programmed, programming program
programming interactive » programming interfacing, programming interface, programming introduction
interactive https » interaction https, interactions https, interactive hip
1
Cover Image
Subjects: “...Human Genetics. https://scigraph.springernature.com/ontologies/product-market-codes/B12008...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2006
Table of Contents: “... with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2011
Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2011
Table of Contents: “... Migration Network Support -- Dynamic Reconfiguration of Application Logic during Application Migration...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2005
Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2005
Table of Contents: “... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2010
Table of Contents: “... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
by Montali, Marco., Montali, Marco.
Published 2010
Table of Contents: “...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2004
Table of Contents: “...Overview -- Structural Basis of Protein-Protein Interactions -- Quantitative Analysis of Protein...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2007
Table of Contents: “...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2007
Table of Contents: “...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2007
Table of Contents: “...I: Business Applications -- II: Learning and Entertainment -- III: Health Applications -- IV: Work...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Table of Contents: “... and Interactive Handwritten Transcription -- Interactive Machine Translation -- Multi-modality for Interactive...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2008
Table of Contents: “... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2007
Table of Contents: “... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2011
Subjects: “...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2013
Table of Contents: “... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2015
Table of Contents: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2014
Table of Contents: “... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2007
Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search