Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion computing » recursion counting, decisions computing, equation computing
computing tools » computers tools, computing towards, computing theory
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion computing » recursion counting, decisions computing, equation computing
computing tools » computers tools, computing towards, computing theory
1
Publicado em 2015
Sumário:
“... Recursive Functions by Virus Machines -- About models derived from colonies....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2007
Sumário:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2010
Sumário:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2013
Sumário:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
6
Publicado em 2010
Sumário:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Sumário:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Sumário:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2006
Sumário:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado em 2005
Sumário:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2005
Sumário:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2008
Sumário:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2008
Sumário:
“... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2008
Sumário:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2010
Sumário:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2010
Sumário:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2010
Sumário:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2015
Sumário:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- Seguinte »
- [2]