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