1
Publicado em 2005
Sumário: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Bjørner, Dines., Bjørner, Dines.
Publicado em 2006
Sumário: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Garofalo, Raffaele., Garofalo, Raffaele.
Publicado em 2011
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... Solutions of a Knapsack Problem with a Single Constraint -- Point Sets and Frame Algorithms in Management...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2012
Sumário: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2013
Sumário: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2007
Sumário: ... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2014
Sumário: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
Obter o texto integral
Recurso Electrónico livro electrónico