OPAC

Your search

Query: FORMAL LANGUAGES Repository: 33

Sort by Score Title Year -

1-10 from 48 results (0.009 seconds)

Title: Formal verification for task description languages. A Petri Net approach
Author: López Fernández, Joaquín / Santana Alonso, Alejandro Alejo / Diaz Cacho Medina, Miguel Ramon
Language: Inglés
Repository: 33
Subject: 1203.04 Inteligencia Artificial / 33 Ciencias Tecnológicas

Acceder
Title: Os Caprichos de Goya : estudo formal e narratolóxico dos personaxes e os instantes desde as conclusións de Vladimir Propp / Los Caprichos de Goya : estudio formal y narratológico de los personajes y los instantes desde las conclusiones de Vladimir Propp / Goya's Caprichos : formal and narratological study characters and moments from the findings of Vladimir Propp
Author: Rodríguez Alonso, Xosé Manuel
Language: gl
Repository: 33
Subject: 6203.04 Dibujo, Grabado / 6203.05 Estética de las Bellas Artes

Acceder
Title: Lenguas y Constitución : el artículo 3 de la Constitución española / Lenguas e Constitución : o artigo 3 da Constitución española / Languages and Constitution : the art. 3 of the Spanish Constitution
Author: Pacho Blanco, Jose Manuel
Language: Español
Repository: 33
Subject: 5906.02 Lenguajes / 5602.03 Filosofía del Derecho / 5605.04 Derecho Constitucional

Acceder
Title: Representaciones ideológicas de las lenguas : análisis comparativo de las ideologías lingüísticas en las clases altas gallega y catalana / Representacións ideolóxicas das linguas : análise comparativa das ideoloxías lingüísticas nas clases altas galega e catalá / Ideological representations of languages : a comparative analysis of linguistic ideologies in the Galician and Catalan upper classes
Author: Pinto Pajares, Daniel
Language: Español
Repository: 33
Subject: 6308.02 Sociolingüística

Acceder
Title: Contribución a los sistemas telemáticos para la monitorización de procesos y productos utilizando tecnologías semánticas : aplicación al ámbito sanitario / Contribución ós sistemas telemáticos para monitoraxe de procesos e produtos utilizando tecnoloxías semánticas : aplicación ó ámbito sanitario / Contribution to telematics monitoring systems for processes and products using semantic technologies : a case study in the health domain
Author: Alonso Roris, Victor Manuel
Language: Español
Repository: 33
Subject: 1102.03 Lógica Formal / 1203.18 Sistemas de Información, Diseño Componentes / 3325 Tecnología de las Telecomunicaciones

Acceder
Title: Propuesta de una metodología para la mejora de la transferencia de información en la documentación gráfica de ingeniería
Author: Alonso Rodriguez, Jose Antonio
Language: Español
Repository: 33
Subject: 3310.05 Ingeniería de Procesos / 3305.06 Ingeniería Civil

Acceder
Title: Variable coding and object alignment in Spanish : a corpus-based approach
Author: Garcia-Miguel Gallego, José María
Language: Inglés
Repository: 33
Subject: 5705.13 Sintaxis, Análisis Sintáctico

Acceder
Title: Géneros textuales biomédicos y traducción: análisis de guías de práctica clínica en francés y en español en el ámbito de las enfermedades raras
Author: Marta Rodriguez, Valentina
Language: Español
Repository: 33
Subject: 5701.12 Traducción

Acceder
Title: La retórica del texto argumentativo en la columna de opinión "Escenas Políticas" de Jaime Campmay (1983)
Author: Román Portas, Lourdes
Language: Español
Repository: 33
Subject: 5910.03 Prensa / 5705.12 Estilística (Estilo y Retórica) / 6114.15 Opinión Pública

Acceder
Title: Usos de las aplicaciones móviles de mensajería en la docencia universitaria : Telegram
Author: Martínez Rolán, Luis Xabier / Dafonte Gómez, Alberto / Garcia Miron, Silvia
Language: Español
Repository: 33

AccederAcceder

« Previous 1 2 3 4 5 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search