Εμφανίζονται 161 - 180 Αποτελέσματα από 222 για την αναζήτηση '"constraint programming"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 161
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Axiomatizing flat iteration -- Probabilistic concurrent constraint programming -- On the complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 164
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Discovery in Cellular Automata -- Constraint Programming to Solve Maximal Density Still Life -- Asynchronous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    ανά Hooker, John N.
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Έκδοση 2014
    Πίνακας περιεχομένων: “… and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 174
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Model checking LTL using constraint programming -- On the composition of timed systems -- Some…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 177
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Environments Using Constraint Programming -- Small World Terrorist Networks: A Preliminary Investigation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 179
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Learning -- Using CBR to Select Solution Strategies in Constraint Programming -- Case-Based Art…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS Αποστολή αναζήτησης με email