1
Julkaistu 2008
Sisällysluettelo: ... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Sisällysluettelo: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Hofstedt, Petra., Hofstedt, Petra.
Julkaistu 2011
Sisällysluettelo: ...Basic Notions -- Programming Languages and Paradigms -- Constraints -- Multiparadigm Constraint...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2014
Aiheet: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2015
Aiheet: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2011
Aiheet: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2011
Aiheet: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2015
Aiheet: ...Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2014
Sisällysluettelo: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2007
Sisällysluettelo: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2011
Aiheet: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2012
Sisällysluettelo: ...Invited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2013
Sisällysluettelo: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Separable Ellipsoidal Constraints -- Adaptive Finite Elements for Optimally Controlled...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2013
Aiheet: ...Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2005
Sisällysluettelo: ... -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A...
Hae kokoteksti
Elektroninen E-kirja
20
Tekijä Mauro, Jacopo., Mauro, Jacopo.
Julkaistu 2014
Sisällysluettelo: ...Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful...
Hae kokoteksti
Elektroninen E-kirja