বিকল্প অনুসন্ধান করুন:
interactive computers » interactive computer, interactice computer, interactive compilers
computers programming » computer programming, computer program, computer programs
programming programs » programming program, programming programmed, programming problems
programs constraints » progress constraints, programming constraints, problem constraints
constraints data » constraints a, constraints based, constraints _
1
প্রকাশিত 2014
সূচিপত্রের সারণি: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2013
সূচিপত্রের সারণি: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2008
সূচিপত্রের সারণি: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
4
প্রকাশিত 2007
সূচিপত্রের সারণি: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2008
সূচিপত্রের সারণি: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2010
সূচিপত্রের সারণি: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2005
সূচিপত্রের সারণি: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2015
সূচিপত্রের সারণি: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
9
প্রকাশিত 2014
সূচিপত্রের সারণি: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
10
প্রকাশিত 2015
সূচিপত্রের সারণি: ... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
11
প্রকাশিত 2013
সূচিপত্রের সারণি: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2007
সূচিপত্রের সারণি: ...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2010
সূচিপত্রের সারণি: ... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2013
সূচিপত্রের সারণি: ...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2010
সূচিপত্রের সারণি: ...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2005
সূচিপত্রের সারণি: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2006
সূচিপত্রের সারণি: ... -- Interpolation by Piecewise Quadric Polynomial to Scattered Data Points -- Detection and Localization of the Top...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2010
সূচিপত্রের সারণি: ... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2010
সূচিপত্রের সারণি: ... and Parsing -- Computational Models of Language Acquisition -- ETL Ensembles for Chunking, NER and SRL...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2008
সূচিপত্রের সারণি: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ