Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
program space » programs space, programme space, program pacd
space https » state https
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
program space » programs space, programme space, program pacd
space https » state https
1
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Статья
2
Опубликовано 2015
Оглавление:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering...”Полный текст
Электронный ресурс
eКнига
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Опубликовано 2010
Оглавление:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Key Encryption -- Polynomial-Space Approximation of No-Signaling Provers -- From Secrecy to Soundness...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2007
Оглавление:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Полный текст
Электронный ресурс
eКнига
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Опубликовано 2013
Оглавление:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Полный текст
Электронный ресурс
eКнига
15
Оглавление:
“...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...”
Полный текст
Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... Classifiers Under Large Attribute Spaces -- Symbolic Regression Via Genetic Programming as a Discovery Engine...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2015
Оглавление:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Полный текст
Электронный ресурс
eКнига