Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive functional » integrative functional, iterative functional, interactions functional
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
interactive functional » integrative functional, iterative functional, interactions functional
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
1
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook
11
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook