Buscar
Mostrando ítems 51-60 de 494
Los anglicismos, los hablantes y los sistemas lingüísticos: relacionesLos anglicismos, los hablantes y los sistemas lingüísticos: relaciones
(University of Puerto Rico, Río Piedras Campus, 2005)
Lenguaje y Ciencia PsicológicaLenguaje y Ciencia Psicológica
(Acta ComportamentaliaActa Comportamentalia: Revista Latina de Análisis del Comportamiento, 2010)
Logical foundations of Web ontologiesFundamentos lógicos de las ontologías Web
(Facultad de Filosofía y Letras, Universidad de Buenos Aires, 2019)
Categorical foundations for structured specifications in Z
(Springer, 2015-11)
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of the main features of our formal framework, based on category theory and the theory of institutions, is that it enables us ...
Middle Construction Acquisition in Spanish as a Second LanguageAdquisición de las construcciones medias en español como segunda lengua
(Universidad de Costa Rica, 2016)
The electronic european language portfolio: an account of new experiences in the use of ICT in a foreign language teaching resource centre in CubaEl portafolio electrónico de la lengua europea: una cuenta de nuevas experiencias en el uso de las TIC en un centro de recursos para la enseñanza de lenguas extranjeras en Cuba
(Universidad Central "Marta Abreu" de Las Villas, 2012)
Anglicisms in the 50's sport pressLos anglicismos en la prensa deportiva de los 50
(Instituto de Lingüística y Literatura. Facultad de Filosofía y Humanidades. Universidad Austral de Chile, 2018)
Verificación formal de protocolos distribuidos
(2019)
En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
A Register-Based Perspective to Suprasegmentals in ELTEl enfoque de registro lingüístico en la enseñanza de aspectos suprasegmentales del inglés
(Universidad de Costa Rica, Sede de Occidente, 2020)