Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
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 a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
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 a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
1
Опубликовано 2015
Оглавление:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2005
Оглавление:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“... -- Approximability -- Logspace Optimization Problems and Their Approximability Properties -- A Faster and Simpler 2...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2013
Оглавление:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“... for Sand Automata -- A Bridge Between the Asynchronous Message Passing Model and Local Computations...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“.../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...”
Полный текст
Полный текст
Электронный ресурс
eКнига