Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programming interactions » programming interacting, programming interactive, programming integration
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
interactions https » interaction https, integration https
using https » using http, nursing https, aging https
1
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “...: From Grasping to Using -- Model-Based Multi-touch Gesture Interaction for Diagram Editors -- Multi...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Inhaltsangabe: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Tool for Interactive Systems -- Systematic Analysis of Control Panel Interfaces Using Formal Tools...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Inhaltsangabe: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
von Kerfs, Jeremy., Kerfs, Jeremy.
Veröffentlicht 2011
Schlagworte: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
von Lee, Kent D., Lee, Kent D.
Veröffentlicht 2008
Inhaltsangabe: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern