OPAC

Your search

Query: PROGRAM" Year: 2002 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 30 results (0.019 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: ¿quién es presidente: gutiérrez, la conaie, pachakutik?
Author: Tobar Vega, Hugo
Language: Español
Repository: 28
Subject: GUTIÉRREZ / CONAIE / PACHAKUTIK

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: 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
Title: ProBiota | Serie Documentos | Icthyological ecoregions of Argentina
Author: López, Hugo Luis / Morgan, Cecilia Clara / Montenegro, Marcelo
Language: Inglés
Repository: 37
Subject: Ciencias Naturales / Ecología / Argentina / environment / fishes / conservation / ictiology

AccederAcceder
Title: Señora de la historia, Madre mestiza, Reina de México. La coronación de la Virgen de Guadalupe y su actualización como mito fundacional de la patria, 1895
Language: Español
Repository: 34
Subject: Historia

AccederAcceder
Title: El comienzo de la noticia
Author: Ruiz, Adela
Language: Español
Repository: 37
Subject: Periodismo / noticia, cabeza, redacción, elementos

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search