OPAC

Your search

Query: PROGRAM Year: 2002 Document Type: Sin Especificar

Sort by Score Title Year -

1-7 from 7 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: 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

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search