1
Julkaistu 2008
Sisällysluettelo: ... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...
Hae kokoteksti
Elektroninen E-kirja
2
Sisällysluettelo: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
Hae kokoteksti
Elektroninen E-kirja
7
Tekijä Lopez, Cesar., Lopez, Cesar.
Julkaistu 2014
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2007
Sisällysluettelo: ... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2007
Sisällysluettelo: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... Planning Models for Supply Chain: An Application of Stochastic Mixed Integer Programming -- Logic Inference...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ... Programming in Telecommunications -- Integer Programming for Telecommunications -- Metaheuristics...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2015
Sisällysluettelo: ... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...
Hae kokoteksti
Elektroninen E-kirja