OPAC

Your search

Query: FORMAL LANGUAGES Language: Español Repository: 30 Document Type: Tesis

Sort by Score Title Year -

1-10 from 26 results (0.012 seconds)

Title: Verificación formal en ACL2 del algoritmo de Buchberger / Formal verification of Buchberger's algorithm in ACL2
Author: Medina Bulo, Inmaculada
Language: Español
Repository: 30
Subject: computer science / mathematics / ciencia de la computación / matemáticas / artificial intelligence / inteligencia artificial

AccederAcceder
Title: El aspecto lingüístico en el entorno de la OTAN. La lengua para la seguridad y defensa internacional
Author: Benavides Sierra, María Belén
Language: Español
Repository: 30
Subject: BILC / BILC, español para la Seguridad y Defensa Internacional / idiomas de interés para las Fuerzas Armadas conjuntas / OTAN / STANAG 6001

Acceder
Title: Consideraciones teóricas acerca de la elipsis: Repercusiones semánticas y lexicográficas de la elipsis originadas en combinatoria léxica / Theoretical considerations about ellipsis: Semantic and lexicographic repercussions of ellipsis originated by lexical combination
Author: Paredes Duarte, María Jesús
Language: Español
Repository: 30
Subject: language, linguistics / language, rhetoric and composition / semántica / lexicografía

AccederAcceder
Title: La educación estético-conectiva: una propuesta práctica para su implementación en las aulas
Author: Añino Granados, Isabel
Language: Español
Repository: 30
Subject: estética conectiva / educación integral / arte / ética / metodología / educación como arte

Acceder
Title: Generación Automática de Casos en Procesamiento de Eventos con EPL / Automatic Generation of Cases in Event Processing using EPL
Author: Gutiérrez-Madroñal, Lorena
Language: Español
Repository: 30
Subject: Generador de eventos / IoT-TEG / Prueba de mutaciones / Event Processing Language / EPL / Esper / eventos de prueba

Acceder
Title: Multirretículos y reducción de atributos en retículos de conceptos multiadjuntos / Multilattices and attribute reduction in multi-adjoint concept lattices
Author: Ramírez Poussa, Eloísa
Language: Español
Repository: 30
Subject: retículos / matemáticas

Acceder
Title: Framework para la gestión de invariantes dinámicos en WS-BPEL
Author: Santacruz López-Cepero, Francisco Javier
Language: Español
Repository: 30
Subject: prueba de caja blanca de software, ws-bpel, generación dinámica de invariantes, python

Acceder
Title: La capilla del Santísimo Cristo de la Vera Cruz de San Fernando: ejemplo de interpretación popular de la obra de Torcuato Benjumeda
Author: Muñoz Rey, Yolanda
Language: Español
Repository: 30
Subject: arquitectura popular / neoclasicismo / Torcuato Cayon / Torcuato Benjumeda / Quintanilla / Madariaga / Vera-Cruz / San Fernando

Acceder
Title: El cine como recurso didáctico para la prevención del acoso escolar
Author: Jorge de la Calle, Noelia
Language: Español
Repository: 30
Subject: acoso escolar / cine

Acceder
Title: Una formación docente para el desarrollo de propuestas ambientales desde el Zoobotánico.
Author: Campos Campón, Francisco Jesús
Language: Español
Repository: 30

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search