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

Year: 1997 Language: Inglés Document Type: Sin Especificar

Sort by Score Title Year -

11-20 from 42 results (0.013 seconds)

Title: A randomized algorithm for solving the satisfiability problem
Author: Cecchi, Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Algorithms / complete problems / NP / Satisfiability problem

Acceder
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: 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: 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
Title: Integrating interactive tools using concurrent haskell and synchronous events
Author: Karlsen, Einar W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Tools / Integrating Interactive Tools / Concurrent Haskell / Synchronous Events

Acceder
Title: Comparison of Field Measurements with Simulations of Transients in an Arc Furnace
Author: Bianchi Lastra, Raúl E. / Rifaldi, Alfredo / Barbero, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ingeniería / SF6 circuit breakers / models / EMTP/ATP / transients overvoltages / arc furnaces

Acceder

« Previous 1 2 3 4 5 Next »