الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
language function » language question, language diction, language punctuation
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
problem language » program language, program languages, prorgram language
function https » functions https, fiction https
language function » language question, language diction, language punctuation
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
problem language » program language, program languages, prorgram language
function https » functions https, fiction https
1
منشور في 2010
جدول المحتويات:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2015
جدول المحتويات:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2015
جدول المحتويات:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2013
جدول المحتويات:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2006
جدول المحتويات:
“...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“... are Processed in the Inferior Colliculus -- Chapter 9. Language Parallels in New World Primates -- Chapter 10...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2006
جدول المحتويات:
“... Session 2 -- Translation Selection Through Machine Learning with Language Resources -- Acquiring...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
بواسطة Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
منشور في 2010
جدول المحتويات:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”منشور في 2010
احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2015
جدول المحتويات:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
منشور في 2014
جدول المحتويات:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”احصل على النص الكامل
الكتروني
كتاب الكتروني