OPAC

Your search

Query: PROGRAM Year: 2002

Sort by Score Title Year -

1-10 from 24 results (0.039 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: Generic data processing: a normalization exercise
Author: Necco, Claudia Mónica / Oliveira, J. Nuno
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Generic programming / polytypic programming / functional programming / program calculation / data reification / Normal forms / ADMINISTRATIVE DATA PROCESSING

Acceder
Title: Estudio y Diseño de los sistemas de alcantarillado sanitario y pluvial,tratamiento de las aguas residuales mediante métodos alternativos para el barrio Uchucay de la parroquia Yúlug,cantón Saraguro
Author: Carrión Bravo, Luis Alberto
Language: Español
Repository: 53
Subject: Aguas de albañal / Alcantarillado sanitario / Ingeniero civil-tesis y disertaciones académicas

Acceder
Title: A systematic approach to generate test cases based on combinations of information
Author: Sánchez, Marisa / Felder, Miguel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Systematic Approach / Generate Test Cases / Combinations of Information

Acceder
Title: Towards a generic software architecure for a service robot controller
Author: Álvarez Torres, María Bárbara / Ortiz Zaragoza, Francisco José / Martínez Sala, Alejandro Santos / Sánchez Palma, Pedro / Pastor Franco, Juan Ángel / Iborra García, Andrés José
Language: Inglés
Repository: 72
Subject: Arquitectura / Ordenador de control / Robot de control / Teleoperación / Sistemas a tiempo real / Tecnología Electrónica

Acceder
Title: Cálculo de la radiación que incide sobre los componentes de un equipo solar
Author: Saravia, Luis / Russo, Santiago / Tapia, Hugo
Language: Español
Repository: 37
Subject: Ingeniería / evaluación energética / Energía Renovable / Radiación solar / equipo solar

Acceder
Title: Convección natural en una cavidad: comparación de una simulación numérica con resultados experimentales
Author: Vilte, María del Socorro / De Paul, Irene
Language: Español
Repository: 37
Subject: Ingeniería / evaluación energética / Energía Renovable / convección natural / simulación numérica / visualización de flujos / medidas térmicas

Acceder
Title: Concentrador con doble reflexión para cocina solar / Solar cooker with a double reflection concentrator
Author: Saravia, Luis
Language: Español
Repository: 37
Subject: Ingeniería / Energía solar / cocinas solares / Absorción

Acceder
Title: Representing generalization relationships in logic programming
Author: Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / knowledge representation / object-oriented modeling / logic programming applications / Logic Programming / ARTIFICIAL INTELLIGENCE

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search