Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming interaction » programming interactive, programming integration, programming interacting
https » http
1
Obálka
Témata: “...Human Genetics. https://scigraph.springernature.com/ontologies/product-market-codes/B12008...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2006
Obsah: “... with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2011
Témata: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2011
Obsah: “... Migration Network Support -- Dynamic Reconfiguration of Application Logic during Application Migration...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2005
Témata: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2005
Obsah: “... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2004
Obsah: “...Overview -- Structural Basis of Protein-Protein Interactions -- Quantitative Analysis of Protein...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2010
Obsah: “... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Autor Montali, Marco., Montali, Marco.
Vydáno 2010
Obsah: “...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2007
Obsah: “...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2007
Obsah: “...1: Graphical User Interfaces and Visualization -- 2: Mobile Devices and Mobile Interaction -- 3...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2007
Obsah: “...I: Business Applications -- II: Learning and Entertainment -- III: Health Applications -- IV: Work...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Obsah: “... and Interactive Handwritten Transcription -- Interactive Machine Translation -- Multi-modality for Interactive...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2008
Obsah: “... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2007
Obsah: “... -- III: Virtual and Augmented Environments -- IV: Interaction Techniques and Devices....”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2011
Témata: “...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Vydáno 2013
Obsah: “... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2015
Obsah: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2014
Obsah: “... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Autor Kerfs, Jeremy., Kerfs, Jeremy.
Vydáno 2011
Témata: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání