الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
specification programming » verification programming, identification programming, specification program
programming functionals » programming functional, programming function, programming fundamentals
parallel specification » parallel identification, parallel classification, parallel quantification
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
specification programming » verification programming, identification programming, specification program
programming functionals » programming functional, programming function, programming fundamentals
parallel specification » parallel identification, parallel classification, parallel quantification
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
1
منشور في 2011
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2013
جدول المحتويات:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2006
جدول المحتويات:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2013
جدول المحتويات:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2014
جدول المحتويات:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2006
جدول المحتويات:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2013
جدول المحتويات:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
16
جدول المحتويات:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
17
جدول المحتويات:
“... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2014
جدول المحتويات:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2010
جدول المحتويات:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”احصل على النص الكامل
الكتروني
كتاب الكتروني