Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
computation programming » communication programming, computation programmatic, computing programming
programming designing » programming design, programming learning, programming building
function computation » function computing, function decomposition, section computational
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
computation programming » communication programming, computation programmatic, computing programming
programming designing » programming design, programming learning, programming building
function computation » function computing, function decomposition, section computational
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
1
Foilsithe 2006
Clár Ábhair:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2012
Clár Ábhair:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
le Lent, Craig S., 1956-.
Foilsithe 2013
Clár Ábhair:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”Foilsithe 2013
Leabhar
4
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
5
le Koohi, Sina Zangbari
Foilsithe 2020
Ábhair:
“...Parallel programming (Computer science) - Research...”Foilsithe 2020
Faigh an téacs iomlán
Thesis
6
Foilsithe 2006
Clár Ábhair:
“... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2005
Clár Ábhair:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Clár Ábhair:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
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
10
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
11
Foilsithe 2015
Clár Ábhair:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Clár Ábhair:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2010
Clár Ábhair:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2007
Clár Ábhair:
“... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
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
16
Foilsithe 2010
Clár Ábhair:
“... Support for HW/SW Codesign: A UML-based Design Flow -- C/C++-Based System Design -- Checkpoint and Restore...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
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
18
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
19
Foilsithe 2006
Clár Ábhair:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair:
“... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar