Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
program constructs » program construction, program constructing, programming constructs
computer programs » computer program
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
spaces computer » space computer, states computer, surfaces computer
program constructs » program construction, program constructing, programming constructs
computer programs » computer program
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
spaces computer » space computer, states computer, surfaces computer
1
Sisällysluettelo:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2015
Sisällysluettelo:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2007
Sisällysluettelo:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2010
Sisällysluettelo:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... and Packing in Linear Space -- Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2014
Sisällysluettelo:
“... for Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets...”Hae kokoteksti
Elektroninen
E-kirja
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2010
Sisällysluettelo:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2014
Sisällysluettelo:
“... On-the-Fly State Space Exploration Using GPUs -- Forward Reachability Computation for Autonomous Max-Plus...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2007
Sisällysluettelo:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Hae kokoteksti
Elektroninen
E-kirja
15
Aiheet:
“...Urban Studies/Sociology. https://scigraph.springernature.com/ontologies/product-market-codes/X22250...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2005
Sisällysluettelo:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2006
Sisällysluettelo:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2007
Sisällysluettelo:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces -- State-Dependent...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2005
Sisällysluettelo:
“... -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear...”Hae kokoteksti
Elektroninen
E-kirja