OPAC

Your search

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

Sort by Score Title Year -

31-40 from 596 results (0.022 seconds)

Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

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: Towards scaling up DynAlloy analysis using predicate abstraction
Author: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Automation / Program analysis

Acceder
Title: Prototype of speech translation system for audio effective communication
Author: Rojas Bello, Richard / Araya Araya, Erick / Vidal Vidal, Luis
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Program translation / Real time / Network Protocols / Speech recognition and synthesis

Acceder
Title: Programa educativo sobre la estrategia AIEPI en las familias de las casas del buen vivir de la comunidad 7 de Septiembre. Cantón Colimes. Provincia del Guayas 2012
Author: López Pino, María José
Language: Español
Repository: 43
Subject: TECNOLOGÍA Y CIENCIAS MEDICAS / PEDIATRÍA / ATENCIÓN INTEGRAL A LAS ENFERMEDADES PREVALENTES DE LA INFANCIA (AIEPI) / LACTANCIA MATERNA / ALIMENTACIÓN COMPLEMENTARIA / ESTIMULACIÓN TEMPRANA

Acceder
Title: Tipos de aula y ambiente social en el proceso de aprendizaje en el nivel de educación básica, Estudio realizado en la Unidad Educativa “Ciudad de Gualaceo”, de la ciudad de Gualaceo, provincia del Azuay, en el año lectivo 2011-2012.
Author: Avecillas Macas, Marilú
Language: Español
Repository: 53
Subject: Educación primaria / Clima social escolar / Enseñanza - Aprendizaje / Ambiente de la clase / Ciencias de la Educación - Tesis

Acceder
Title: Exportación de servicios en el IVA
Language: Español
Repository: 65
Subject: DECRETO 220/98 / EXPORTACIÓN DE SERVICIOS / RECINTO ADUANERO / LEY 18.083

Acceder
Title: Evolution of computer science degrees at science school : University of Buenos Aires (FCEN-UBA)
Author: Factorovich, Pablo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación

Acceder
Title: A general approach to the implementation of action theories
Author: Simari, Guillermo Ricardo / García, Diego R. / Filocamo, Gabriel R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / General Approach / Implementation / Action Theories

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search