OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Year: 1997 Year: 2012

Sort by Score Title Year -

71-80 from 130 results (0.011 seconds)

Title: CAMILA formal software engineering supported by functional programming
Author: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Education and applications of functional programming / functional prototyping / program calculation / SOFTWARE ENGINEERING

Acceder
Title: Introducing Scheme in a FP-less environment
Author: Aerts, Kris / De Vlaminck, Karel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Environments / PROGRAMMING LANGUAGES / Introducing Scheme / FP-less Environment

Acceder
Title: An application of a theorem prover
Author: Campos, M. / Lins, R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Applications / Application / Theorem Prover

Acceder
Title: Hierarchical N-body simulations in haskell
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Simulation / Hierarchical N-body simulations / haskell

Acceder
Title: Expresando hypermedia en programación funcional
Author: Marcos, Daniel H. / Martínez López, Pablo E. / Risi, Walter A. / Gallego Sagastume, Ignacio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Hypertext/Hypermedia / Hypermedia / Programación funcional

Acceder
Title: Análisis asintótico amortizado en lenguajes funcionales perezosos
Author: Gonzalía, Carlos José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Análisis asintótico amortizado / lenguajes funcionales perezosos

Acceder
Title: A functional programming approach to a computational biology problem
Author: Krasnogor, Natalio / Martínez López, Pablo E. / Mocciola, Pablo Andrés / Pelta, David Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Optimization / Protein Folding / Functional Programming / Combinatorial Optimization

Acceder
Title: Using higher-order functional programming to do register allocation on a functional language
Author: Koch, Juan E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / higher-order functional programming / functional language

Acceder
Title: Implementación en Haskell de un algoritmo general para resolución de ecuaciones por métodos iterativos
Author: Caffa, Angel / Rosa, Sylvia da
Language: Español
Repository: 37
Subject: Ciencias Informáticas / lenguajes de programación / Languages / lenguajes funcionales perezosos / Algorithms / métodos numéricos / ecuaciones no lineales / sistemas de ecuaciones lineales

Acceder
Title: Generic parsing combinators
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING TECHNIQUES / Functional Programming / Parsing Combinators / Monads / Multi-parameter Type Classes

Acceder

« Previous 4 5 6 7 8 9 10 11 12 Next »