Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
1
Foilsithe 2008
Clár Ábhair:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Foilsithe 2013
Clár Ábhair:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Foilsithe 2005
Clár Ábhair:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2007
Clár Ábhair:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2005
Clár Ábhair:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2013
Clár Ábhair:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2005
Clár Ábhair:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2008
Clár Ábhair:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2010
Clár Ábhair:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2008
Clár Ábhair:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2015
Clár Ábhair:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2006
Clár Ábhair:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Clár Ábhair:
“... -- Tendering and Vendor Selection -- Functional Specifications -- Design, Development, Testing and Acceptance...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2005
Clár Ábhair:
“... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar