প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
বিকল্প অনুসন্ধান করুন:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel valued » parallel volume
valued program » valued programs, value programs, based program
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel valued » parallel volume
valued program » valued programs, value programs, based program
function https » functions https, fiction https
1
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
প্রকাশিত 2014
সূচিপত্রের সারণি:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2013
সূচিপত্রের সারণি:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
8
সূচিপত্রের সারণি:
“... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
9
বিষয়গুলি:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
10
প্রকাশিত 2015
সূচিপত্রের সারণি:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
11
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2015
সূচিপত্রের সারণি:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2015
সূচিপত্রের সারণি:
“... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2012
সূচিপত্রের সারণি:
“... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2014
সূচিপত্রের সারণি:
“... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ