Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
2
Table of Contents:
“... Fractional Programming -- Multiobjective Nonsmooth Programming -- Composite Multiobjective Nonsmooth...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
11
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
12
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
16
Table of Contents:
“... of a Lamina -- to Homogenization of Composite Materials -- to Damage Mechanics of Composite Materials....”
View full text
View full text
Electronic
eBook
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
18
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
19
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook