Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel v » parallel _, parallel a, parallel 3
v program » iv program, tv program, 2 program
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel v » parallel _, parallel a, parallel 3
v program » iv program, tv program, 2 program
1
Опубликовано 2015
Оглавление:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2010
Оглавление:
“... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2007
Оглавление:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Полный текст
Электронный ресурс
eКнига
5
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2012
Оглавление:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”Полный текст
Электронный ресурс
eКнига
9
Оглавление:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Полный текст
Полный текст
Электронный ресурс
eКнига
10
Оглавление:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Полный текст
Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2013
Оглавление:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Полный текст
Электронный ресурс
eКнига
13
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2015
Оглавление:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2005
Оглавление:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2010
Оглавление:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2015
Оглавление:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Полный текст
Электронный ресурс
eКнига
20
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Опубликовано 2014
Оглавление:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Полный текст
Электронный ресурс
eКнига