Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming recursion » programming decision, programming session, programming decisions
structure functional » structure function, structure functions, structures functions
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
structure functional » structure function, structure functions, structures functions
based tools » based tool, basic tools
1
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Testu osoa
Baliabide elektronikoa
eBook
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2007
Aurkibidea:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost...”Testu osoa
Baliabide elektronikoa
eBook