Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs function » programs functional, programme function, programs fiction
function toward » functions towards, function hard, action toward
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
toward https » towns https
programs function » programs functional, programme function, programs fiction
function toward » functions towards, function hard, action toward
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
toward https » towns https
1
Опубликовано 2010
Оглавление:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2014
Оглавление:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2015
Оглавление:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2014
Оглавление:
“... and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2013
Оглавление:
“... Navigation -- Toward Automatic Gait Generation for Quadruped Robots Using Cartesian Genetic Programming...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2007
Оглавление:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“... -- Towards Building Knowledge Centres on the World Wide Web -- Navigation Modelling from a User Services...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2006
Оглавление:
“... Applications to a Configurable Multiprocessor Platform -- Towards a Transformation Chain Modeling Language...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2007
Оглавление:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”Полный текст
Электронный ресурс
eКнига