Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion based » recursion case, reception based, recursion focused
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion based » recursion case, reception based, recursion focused
1
Опубликовано 2006
Оглавление:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2005
Оглавление:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Полный текст
Электронный ресурс
eКнига
7
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Опубликовано 2013
Оглавление:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2006
Оглавление:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Полный текст
Электронный ресурс
eКнига
9
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Опубликовано 2005
Оглавление:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2006
Оглавление:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2007
Оглавление:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2013
Оглавление:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2007
Оглавление:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2010
Оглавление:
“...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- Следующий »
- [2]