বিকল্প অনুসন্ধান করুন:
parameterized programs » parameterized program, parameterized problems, parallelized programs
processing computing » processing computer, processing computational, processing conditions
computing problems » compounding problems, routing problems, computers problems
https » http
1
প্রকাশিত 2014
সূচিপত্রের সারণি: ... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2010
সূচিপত্রের সারণি: ... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2015
সূচিপত্রের সারণি: ... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
4
প্রকাশিত 2010
সূচিপত্রের সারণি: .... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2006
সূচিপত্রের সারণি: ... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2010
সূচিপত্রের সারণি: ... Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2006
সূচিপত্রের সারণি: ... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2010
সূচিপত্রের সারণি: ... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
9
প্রকাশিত 2013
সূচিপত্রের সারণি: ... for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
10
প্রকাশিত 2006
সূচিপত্রের সারণি: ... Oracles -- The Complexity of Black-Box Ring Problems -- Lower Bounds and Parameterized Approach...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
11
প্রকাশিত 2014
সূচিপত্রের সারণি: ... Allocation Problems -- Vertex Disjoint Paths in Upward Planar Graphs -- On Lower Bounds for Multiplicative...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2007
সূচিপত্রের সারণি: ... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2013
সূচিপত্রের সারণি: ... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2006
সূচিপত্রের সারণি: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2013
সূচিপত্রের সারণি: ... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2006
সূচিপত্রের সারণি: ... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2010
সূচিপত্রের সারণি: ... Analysis -- Image Processing, Wavelets and Neurocomputing -- Geometric Neural Computing for 2D Contour...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2005
সূচিপত্রের সারণি: ... Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2007
সূচিপত্রের সারণি: ...Identifying Regulatory Sites Using Neighborhood Species -- Genetic Programming and Other Machine...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2010
সূচিপত্রের সারণি: ...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ