Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
interactive computer » interfaces computer, internet computer
programs constraints » progress constraints, programming constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
program programs » program program, programs program, program progress
interactive computer » interfaces computer, internet computer
programs constraints » progress constraints, programming constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
program programs » program program, programs program, program progress
1
Vydáno 2014
Obsah:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2013
Obsah:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2006
Obsah:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2015
Obsah:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2007
Obsah:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2015
Obsah:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2013
Obsah:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2005
Obsah:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2012
Obsah:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2013
Obsah:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2005
Obsah:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2007
Obsah:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Získat plný text
Elektronický zdroj
E-kniha
20
Obsah:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha