Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion semantic » curation semantic, fusion semantic, persian semantic
semantic tools » semantic toolkit, semantic topics, semantic tags
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion semantic » curation semantic, fusion semantic, persian semantic
semantic tools » semantic toolkit, semantic topics, semantic tags
1
2
Опубликовано 2010
Оглавление:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Полный текст
Электронный ресурс
eКнига
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Опубликовано 2013
Оглавление:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Полный текст
Электронный ресурс
eКнига
4
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Опубликовано 2005
Оглавление:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2005
Оглавление:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2015
Оглавление:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2006
Оглавление:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“... -- Multivariate Bandits and Their Applications -- Image Semantic Analysis and Understanding -- Semantic Web...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Полный текст
Электронный ресурс
eКнига