Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
programming recursion » programming decision, programming session, programming decisions
function computing » education computing, generation computing
programming recursion » programming decision, programming session, programming decisions
function computing » education computing, generation computing
1
Publicado 2006
Tabla de Contenidos:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Enlace del recurso
Electrónico
eBook
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Enlace del recurso
Electrónico
eBook
5
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado 2005
Tabla de Contenidos:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Enlace del recurso
Electrónico
eBook
6
Publicado 2008
Tabla de Contenidos:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Enlace del recurso
Electrónico
eBook
7
Publicado 2006
Tabla de Contenidos:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Enlace del recurso
Electrónico
eBook
8
Publicado 2010
Tabla de Contenidos:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Enlace del recurso
Electrónico
eBook
9
Publicado 2010
Tabla de Contenidos:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Enlace del recurso
Electrónico
eBook
10
Publicado 2014
Tabla de Contenidos:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Enlace del recurso
Electrónico
eBook
12
Publicado 2005
Tabla de Contenidos:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”Enlace del recurso
Electrónico
eBook
14
Publicado 2007
Tabla de Contenidos:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Enlace del recurso
Electrónico
eBook
15
Tabla de Contenidos:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
16
Publicado 2008
Tabla de Contenidos:
“... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”Enlace del recurso
Electrónico
eBook
17
Publicado 2015
Tabla de Contenidos:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Enlace del recurso
Electrónico
eBook
18
Publicado 2008
Tabla de Contenidos:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Enlace del recurso
Electrónico
eBook
19
Publicado 2015
Tabla de Contenidos:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”Enlace del recurso
Electrónico
eBook
20
Publicado 2005
Tabla de Contenidos:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]