Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming formalizing » programming organizing, programming formalization, programming formalisms
formalizing function » organizing function, formalizing execution, forming function
java programming » c programming
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
programming formalizing » programming organizing, programming formalization, programming formalisms
formalizing function » organizing function, formalizing execution, forming function
java programming » c programming
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
1
Опубликовано 2013
Оглавление:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2013
Оглавление:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2013
Оглавление:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2015
Оглавление:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2006
Оглавление:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2008
Оглавление:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”Полный текст
Электронный ресурс
eКнига