Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
composition functionality » composition functions, composition dictionaries, composite functional
functionality function » functionals function, functionaries function, functional functions
checking composition » checking competition, changing composition, creating composition
parallel checking » parallel chaining, parallel tracking, parallel scheduling
function https » functions https, fiction https
composition functionality » composition functions, composition dictionaries, composite functional
functionality function » functionals function, functionaries function, functional functions
checking composition » checking competition, changing composition, creating composition
parallel checking » parallel chaining, parallel tracking, parallel scheduling
function https » functions https, fiction https
1
Julkaistu 2013
Sisällysluettelo:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2014
Sisällysluettelo:
“... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2011
Sisällysluettelo:
“....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2008
Sisällysluettelo:
“... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2008
Sisällysluettelo:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2005
Sisällysluettelo:
“... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2010
Sisällysluettelo:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2007
Sisällysluettelo:
“...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2013
Sisällysluettelo:
“... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2013
Sisällysluettelo:
“... Model of Assistive Technology Assessment Process -- Towards Ergonomic User Interface Composition: A...”Hae kokoteksti
Elektroninen
E-kirja