1
প্রকাশিত 2006
সূচিপত্রের সারণি: ... and Scheduling for Conditional Task Graphs in MPSoCs -- Boosting Open CSPs -- Compiling Constraint Networks...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2005
সূচিপত্রের সারণি: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2007
সূচিপত্রের সারণি: ... Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
4
প্রকাশিত 2008
সূচিপত্রের সারণি: ... Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2005
সূচিপত্রের সারণি: ... -- Termination Criteria for Model Transformation -- Ensuring Structural Constraints in Graph-Based Models...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2006
সূচিপত্রের সারণি: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2008
সূচিপত্রের সারণি: ...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2010
সূচিপত্রের সারণি: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
9
প্রকাশিত 2008
সূচিপত্রের সারণি: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
10
প্রকাশিত 2005
সূচিপত্রের সারণি: ...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
11
প্রকাশিত 2005
সূচিপত্রের সারণি: ... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2006
সূচিপত্রের সারণি: ... in Infinite-Domain Quantified Constraint Satisfaction -- Towards an Implicit Characterization of NC k...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2008
সূচিপত্রের সারণি: ... -- A Graph Based Method for Building Multilingual Weakly Supervised Dependency Parsers -- A Web-Based...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2006
সূচিপত্রের সারণি: ... from Satisfiability to Knowledge Compilation -- Representing and Reasoning with Operational Semantics...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2013
সূচিপত্রের সারণি: ...: MUS Extraction with Interactive Choice of Candidates -- SCSat: A Soft Constraint Guided SAT Solver...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2015
সূচিপত্রের সারণি: ... Parsing for Grammars with Contexts -- On Compiling Structured CNFs to OBDDs -- Satisfiability of ECTL...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2006
সূচিপত্রের সারণি: ... Compiler Really Understands Me: An Adaptive Programming Language Tutor -- Doctoral Consortium -- Adaptive...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2014
সূচিপত্রের সারণি: ... Constraints -- Energy Saving Model for Sensor Network Using Ant Colony Optimization Algorithm -- Multi...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ