בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interactive computer » interfaces computer, internet computer
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
program from » programs from, progress from, programming from
interactive computer » interfaces computer, internet computer
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
program from » programs from, progress from, programming from
1
יצא לאור 2014
תוכן הענינים:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2007
תוכן הענינים:
“... on Entanglement-Assisted Quantum Communication Complexity -- Separating Deterministic from Nondeterministic NOF...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... from Gist -- Analyzing Interactions between Cue-Guided and Place-Based Navigation with a Computational...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2013
תוכן הענינים:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים:
“... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2011
תוכן הענינים:
“... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני