Resultados da pesquisa - functions computational programming recursion three citrus~

Pesquisas alternativas:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
recursion three » recursion free , recursion trees , recursion theorem
three citrus » three cities

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /

Publicado em 2010

Sumário: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Publicado em 2007

Sumário: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Publicado em 2013

Sumário: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Obter o texto integral

Recurso Electrónico livro electrónico

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Publicado em 2007

Sumário: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Publicado em 2015

Sumário: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Obter o texto integral

Recurso Electrónico livro electrónico

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Publicado em 2010

Sumário: “... Theory in Face Biometrics -- Substitution-Diffusion Based Image Cipher Using Chaotic Standard Map and 3D...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa