Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programs games » programs grades, programs cases, programs case
games program » games programs, names program, names programs
program https » programs https, program has, program help
programs games » programs grades, programs cases, programs case
games program » games programs, names program, names programs
program https » programs https, program has, program help
1
Foilsithe 2008
Clár Ábhair:
“... -- Winning Ant Wars: Evolving a Human-Competitive Game Strategy Using Fitnessless Selection -- In Silicon...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Foilsithe 2008
Clár Ábhair:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Clár Ábhair:
“...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
5
6
Foilsithe 2010
Clár Ábhair:
“...The Complexity of Partial-Observation Parity Games -- Awareness in Games, Awareness in Logic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Clár Ábhair:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Clár Ábhair:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Clár Ábhair:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
11
Foilsithe 2010
Clár Ábhair:
“...to Cellular Automata and Conway’s Game of Life -- Historical -- Conway’s Game of Life: Early...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2008
Clár Ábhair:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2014
Clár Ábhair:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Clár Ábhair:
“... User Interfaces -- Database Support -- Network Programming -- Python and the Web -- Testing, 1-2-3...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Ábhair:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2010
Clár Ábhair:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2008
Clár Ábhair:
“... Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2015
Clár Ábhair:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2010
Clár Ábhair:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- 3
- Ar aghaidh »
- [3]