Poišči alternative:
program interactions » programs interactions, programs interaction, program integration
interactions https » interaction https, integration https
https function » its function, sites function, ups function
based https » based http
1
od Faison, Ted., Faison, Ted.
Izdano 2006
Kazalo: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Polni tekst
Elektronski eKnjiga
3
Izdano 2015
Kazalo: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
Polni tekst
Elektronski eKnjiga
4
Izdano 2014
Kazalo: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Polni tekst
Elektronski eKnjiga
5
Izdano 2012
Kazalo: ... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....
Polni tekst
Elektronski eKnjiga
6
Izdano 2013
Kazalo: ... on Smartphones -- Speech-Based Text Correction Patterns in Noisy Environment -- Multimodal Smart Interactive...
Polni tekst
Elektronski eKnjiga
7
Izdano 2014
Kazalo: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
Polni tekst
Elektronski eKnjiga
8
Izdano 2008
Kazalo: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Polni tekst
Elektronski eKnjiga
9
Kazalo: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
Polni tekst
Elektronski eKnjiga
10
Izdano 2011
Kazalo: ... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...
Polni tekst
Elektronski eKnjiga
11
Izdano 2007
Kazalo: ... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...
Polni tekst
Elektronski eKnjiga
12
Izdano 2007
Kazalo: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
Polni tekst
Elektronski eKnjiga
13
Izdano 2008
Kazalo: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Polni tekst
Elektronski eKnjiga
14
Izdano 2005
Kazalo: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Polni tekst
Elektronski eKnjiga
15
Izdano 2005
Kazalo: ... Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content...
Polni tekst
Elektronski eKnjiga
16
Izdano 2008
Kazalo: ... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...
Polni tekst
Elektronski eKnjiga
17
Izdano 2010
Kazalo: ... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...
Polni tekst
Elektronski eKnjiga
18
Izdano 2008
Kazalo: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Polni tekst
Elektronski eKnjiga
19
Izdano 2010
Kazalo: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Polni tekst
Elektronski eKnjiga
20
Izdano 2014
Kazalo: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Polni tekst
Elektronski eKnjiga