Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
program compositional » program composition, program computational, problem compositional
processing programs » processing programmed, processing problems, processing products
programs program » programming program
program https » program has, program help
program compositional » program composition, program computational, problem compositional
processing programs » processing programmed, processing problems, processing products
programs program » programming program
program https » program has, program help
1
Julkaistu 2006
Sisällysluettelo:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2006
Sisällysluettelo:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2010
Sisällysluettelo:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Hae kokoteksti
Elektroninen
E-kirja
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Hae kokoteksti
Elektroninen
E-kirja
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Julkaistu 2014
Sisällysluettelo:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2005
Sisällysluettelo:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2005
Sisällysluettelo:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2014
Sisällysluettelo:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2014
Sisällysluettelo:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2010
Sisällysluettelo:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2007
Sisällysluettelo:
“... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2005
Sisällysluettelo:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2005
Sisällysluettelo:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2005
Sisällysluettelo:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”Hae kokoteksti
Elektroninen
E-kirja