প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
বিকল্প অনুসন্ধান করুন:
computations programming » computation programming, communications programming, computing programming
structured computations » structure computations, structural computations, structure computation
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
computations programming » computation programming, communications programming, computing programming
structured computations » structure computations, structural computations, structure computation
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
1
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2010
সূচিপত্রের সারণি:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
প্রকাশিত 2013
সূচিপত্রের সারণি:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
5
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
প্রকাশিত 2005
সূচিপত্রের সারণি:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... -- Computing Transfer Score in Example-Based Machine Translation -- Systematic Processing of Long Sentences...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
9
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
10
প্রকাশিত 2013
সূচিপত্রের সারণি:
“... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
11
Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ