בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
modeling programming » modular programming, computing programming, using programming
integrated modeling » integrated model, integrated marketing
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “..., and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... and Reflecting Quantifier Elimination for Presburger Arithmetic -- Integration of a Software Model Checker...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints and Application...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... Object Life Cycles from Business Process Models -- Conceptual Modeling for Systems Integration...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2011
תוכן הענינים: “... for Model-Driven Development and Deployment: An Overview -- Advances in Model Transformations by Graph...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Integration -- A Model-Driven Architectural Framework for Integration-Capable Enterprise...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש