Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program composition » process composition, protein composition, proximate composition
function structures » functions structures, function structure, functional structures
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
program composition » process composition, protein composition, proximate composition
function structures » functions structures, function structure, functional structures
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
1
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
2
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
6
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
8
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
9
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
10
Published 2010
Table of Contents:
“... Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
12
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
13
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
14
Table of Contents:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
View full text
View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”View full text
Electronic
eBook