Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
meaning function » learning function, making function, meaningful function
program meaning » program learning, program making, program reasoning
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
meaning function » learning function, making function, meaningful function
program meaning » program learning, program making, program reasoning
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
1
Опубликовано 2013
Оглавление:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2005
Оглавление:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2013
Оглавление:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2013
Оглавление:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2005
Оглавление:
“... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...”Полный текст
Электронный ресурс
eКнига