Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program https » programs https, program has, program help
program data » program dan, program desa, program dbase
data https » java https
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program https » programs https, program has, program help
program data » program dan, program desa, program dbase
data https » java https
1
by van den Boogaart, K. Gerald., van den Boogaart, K. Gerald., Tolosana-Delgado, Raimon.
Published 2013
Table of Contents:
“...Introduction -- Fundamental Concepts of Compositional Data Analysis -- Distributions for Random...”Published 2013
View full text
Electronic
eBook
2
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
3
Published 2005
Table of Contents:
“... Schemas in Data Synchronization -- Efficiently Enumerating Results of Keyword Search -- Mapping...”View full text
Electronic
eBook
4
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
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Reconstruction -- Data Structure Fusion -- Session 5 -- Categorical Descriptional Composition -- Bisimulation...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”View full text
Electronic
eBook
14
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
15
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
16
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
19
Table of Contents:
“... Data and Network Errors -- 6 TLS and SSL -- 7 Server Architecture -- 8 Caches, Message Queues, and Map...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook