Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
parallel specification » parallel identification, parallel classification, parallel quantification
functionality function » functionals function, functionaries function, functional functions
specification program » specifications program, verification program, purification program
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel specification » parallel identification, parallel classification, parallel quantification
functionality function » functionals function, functionaries function, functional functions
specification program » specifications program, verification program, purification program
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
1
Được phát hành 2011
Những chủ đề:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2013
Mục lục:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2007
Mục lục:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2006
Mục lục:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”lấy văn bản
Điện tử
eBook
5
Mục lục:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
lấy văn bản
lấy văn bản
Điện tử
eBook
6
Được phát hành 2005
Mục lục:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2015
Mục lục:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2013
Mục lục:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2008
Mục lục:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2010
Mục lục:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2014
Mục lục:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2006
Mục lục:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2013
Mục lục:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2005
Mục lục:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2006
Mục lục:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”lấy văn bản
Điện tử
eBook
16
Những chủ đề:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
lấy văn bản
lấy văn bản
Điện tử
eBook
17
Mục lục:
“... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
lấy văn bản
lấy văn bản
Điện tử
eBook
18
Được phát hành 2014
Mục lục:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”lấy văn bản
Điện tử
eBook
19
Mục lục:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
lấy văn bản
lấy văn bản
Điện tử
eBook
20
Được phát hành 2006
Mục lục:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”lấy văn bản
Điện tử
eBook