OPAC

Your search

Query: FORMAL LANGUAGES Document Type: Tesis

Sort by Score Title Year -

1691-1700 from 1996 results (0.021 seconds)

Title: Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas
Author: Mola, Vanesa / Russo, Wanda Mariana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / aplicaciones informáticas / hipermedia

Acceder
Title: OOHQL: un lenguaje de consulta sobre aplicaciones hipermediales orientadas a objetos
Author: Arambarri, Federico / Sansano, Mauricio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented programming / Languages

Acceder
Title: Automatic generation of descriptions for Prolog programs
Author: Farinha, Diogo Miguel Hortêncio
Language: Inglés
Repository: 73
Subject: Code comprehension / Prolog / Procedural Prolog / Natural language description / Formal description / Programming pattern / Natural language templates / Formal templates / Compreensão de código / Prolog procedimental / Descrição em linguagem natural / Descrição formal / Padrão de programação / Templates de linguagem natural / Templates formais / Domínio/Área Científica::Engenharia e Tecnologia::Outras Engenharias e Tecnologias

Acceder
Title: Aplicação da OCL à especificação do problema de elaboração de horários
Author: Moreira, Cláudia Maria da Rocha
Language: Portugués
Repository: 73
Subject: Elaboração de horários / restrições / OCL / Timetabling / constraints

Acceder
Title: Impacto de la informalidad laboral sobre el acceso a crédito formal
Author: Fernández López, Francisco
Language: Español
Repository: 21
Subject: Economía informal - Investigaciones - Colombia / Crédito al consumidor - Investigaciones - Colombia - Modelos econométricos / Evasión de impuestos - Investigaciones - Colombia - Estudio de casos

Acceder
Title: Diagnóstico del desarrollo de competencias en directivos docentes de instituciones educativas públicas de prescolar, básica y media de educación formal en 13 secretarias de educación de Colombia, frente a las competencias requeridas para una gestión escolar efectiva en el siglo XXI
Author: Valderrama, Fulvia Lucero / De Cuellar Méndez, Myriam / Thomson, Ramón
Language: Español
Repository: 60
Subject: ADMINISTRACION EDUCATIVA / MEDICIONES Y PRUEBAS EDUCATIVAS / EVALUACION ACADEMICA / EDUCACION

Acceder
Title: Diseño de un plan formal de planeación estratégica caso Floristería Jardín Americano
Author: Duncan Cruz, Gabriel / Villero Garces, Moisés
Language: Español
Repository: 61
Subject: Floristería Jardín Americano / Planificación estratégica / Administración de empresas
Title: Ejercicio de propuesta formal para un centro geriátrico integral en la ciudad de Bucaramanga
Author: Tarazona Martínez, Jaime Andrés
Language: Español
Repository: 40
Subject: Geriátrico / Arquitectura / Adulto mayor / Diseño arquitectónico / Asistencia a la vejez

Acceder
Title: El makerspace como espacio para fomentar la creatividad y el aprendizaje colaborativo en alumnos de 4to y 5to de secundaria de un colegio público en Callao desde un enfoque educativo formal.
Author: Freundt Melendez, Victor Gustavo
Language: Español
Repository: 35
Subject: Innovaciones educativas—Perú—Callao (Provincia Constitucional) / Educación secundaria--Investigaciones / Makerspaces / Trabajo en grupos (Educación) / Pensamiento creativo (Educación)

Acceder
Title: Modelo formal para especificación e implementación de hiperhistorias
Author: Capelli, Guillermo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / hiperhistorias / Computer Uses in Education

Acceder

« Previous 166 167 168 169 170 171 172 173 174 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search