Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function execution » function ejection, function evolution, function detection
program computing » program comparing, programs compiling, problem computing
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
function execution » function ejection, function evolution, function detection
program computing » program comparing, programs compiling, problem computing
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
1
Опубликовано 2006
Оглавление:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Полный текст
Электронный ресурс
eКнига
5
Оглавление:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Полный текст
Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Полный текст
Электронный ресурс
eКнига
7
Оглавление:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Полный текст
Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2006
Оглавление:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2007
Оглавление:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Полный текст
Электронный ресурс
eКнига
11
Оглавление:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2012
Оглавление:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2007
Оглавление:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2015
Оглавление:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”Полный текст
Электронный ресурс
eКнига