OPAC

Your search

Query: FORMAL LANGUAGES Document Type: Tesis Repository: 30

Sort by Score Title Year -

1-10 from 33 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: The potential of Duolingo to increase students’ learning and motivation
Author: Rodríguez Aranda, Catalina
Language: Inglés
Repository: 30
Subject: gamification / language learning / motivation / Duolingo

Acceder
Title: A contrastive analysis of the English and Spanish phonetic systems with special emphasis on Andalusian accent features / Estudio comparativo de los sistemas fonéticos del inglés y del español con especial énfasis en las características propias del acento andaluz
Author: Velázquez López, Diana
Language: Inglés
Repository: 30
Subject: English phonetics / Spanish phonetics / contrastive phonetics / Andalusian accent in Cádiz / fonética inglesa / fonética española / fonética contrastiva / Acento andaluz de Cádiz

Acceder
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: Problems in the translation and conceptual adaptation of linguistic terms.
Author: Pinto Naveiro, Marta
Language: Inglés
Repository: 30
Subject: translation / adaptation / terminology / applied linguistics / meaning / sense / entailment / implication / significado / sentido / entrañamiento / implicación

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: Exploring the potential of commercial language apps to meet students’ learning needs when studying English at High School and University
Author: Olmo Gil, María de los Ángeles
Language: Inglés
Repository: 30
Subject: MALL / APPs / Foreign language learning / Higher education / Educational and motivational potential

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: Teaching and Assessing Foreign Language Learning through Apps
Author: Calderón Márquez, Andrea
Language: Inglés
Repository: 30
Subject: foreign language / teaching / learning / mobile learning / Mobile-Assisted Language Learning (MALL) / smartphones / apps / information and communication technologies (ICT) / seamless learning / ubiquitous learning / Systematic Literature Review (SLR) / lengua extranjera / enseñanza/aprendizaje de lenguas extranjeras mediante tecnología móvil (MALL) / tecnologías de la información y la comunicación (TIC) / aprendizaje ubicuo / Revisión Sistemática de la Literatura (RSL)

Acceder

« Previous 1 2 3 4 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search