Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion case » recursion a, recursion free, recursion g.e
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion case » recursion a, recursion free, recursion g.e
1
Опубликовано 2006
Оглавление:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Полный текст
Электронный ресурс
eКнига
2
Оглавление:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Полный текст
Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2006
Оглавление:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... for JML -- Incremental Benchmarks for Software Verification Tools and Techniques -- Case Studies...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2015
Оглавление:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2008
Оглавление:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2005
Оглавление:
“... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2010
Оглавление:
“...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”Полный текст
Электронный ресурс
eКнига