1
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Tam Metin Erişim
Elektronik Ekitap
6
Yazar: Sestoft, Peter., Sestoft, Peter.
Baskı/Yayın Bilgisi 2012
İçindekiler: ... -- Locally Optimizing Compiler -- Crash Course in F# -- Index....
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2005
İçindekiler: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2015
İçindekiler: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2007
İçindekiler: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Tam Metin Erişim
Elektronik Ekitap
12
Yazar: Politis, Dimitris N., Politis, Dimitris N.
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Linear time series and optimal linear prediction -- Model-based prediction in autoregression -- Model...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2005
İçindekiler: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Tam Metin Erişim
Elektronik Ekitap
14
Yazar: Albert, Jim., Albert, Jim.
Baskı/Yayın Bilgisi 2007
Konular: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2008
İçindekiler: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Based on Cricket -- Application of Orthogonal Experiments and Variance Analysis in Optimization of Crash...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2005
İçindekiler: ... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2014
İçindekiler: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Optimization Based on Multistate Cost Models for a Dynamic Multidatabase System -- Artificial Intelligence...
Tam Metin Erişim
Elektronik Ekitap