Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
games programs » names programs, names program, states programs
program games » programs games, program comes, program genres
https » http
games programs » names programs, names program, states programs
program games » programs games, program comes, program genres
https » http
1
Gepubliceerd in 2008
Inhoudsopgave:
“... -- Winning Ant Wars: Evolving a Human-Competitive Game Strategy Using Fitnessless Selection -- In Silicon...”Volledige tekst
Elektronisch
E-boek
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Gepubliceerd in 2008
Inhoudsopgave:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
5
6
Gepubliceerd in 2010
Inhoudsopgave:
“...The Complexity of Partial-Observation Parity Games -- Awareness in Games, Awareness in Logic...”Volledige tekst
Elektronisch
E-boek
7
Inhoudsopgave:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
8
Inhoudsopgave:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
9
Inhoudsopgave:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
10
11
Gepubliceerd in 2010
Inhoudsopgave:
“...to Cellular Automata and Conway’s Game of Life -- Historical -- Conway’s Game of Life: Early...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2008
Inhoudsopgave:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2014
Inhoudsopgave:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Volledige tekst
Elektronisch
E-boek
14
Inhoudsopgave:
“... User Interfaces -- Database Support -- Network Programming -- Python and the Web -- Testing, 1-2-3...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
15
Onderwerpen:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2010
Inhoudsopgave:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2008
Inhoudsopgave:
“... Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2015
Inhoudsopgave:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Volledige tekst
Elektronisch
E-boek
- 1
- 2
- 3
- Volgende »
- [3]