OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 37

Sort by Score Title Year -

401-410 from 1773 results (0.02 seconds)

Title: Programación en Assembler : Simulador MSX88
Author: González, Alejandro Héctor
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Assembler / PROGRAMMING LANGUAGES / PROGRAMMING TECHNIQUES / MSX88 / programación

Acceder
Title: Generando espacios para poner en práctica el hacer científico en la Licenciatura en Ciencias de la Computación
Author: Bavera, Francisco / Regis, Germán / Novaira, Maria Marta / Scilingo, Gastón
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Ciencias de la Computación / educación / Autómatas y Lenguajes / informática / Compiladores / Innovación Pedagógica

Acceder
Title: Análisis de nuevos lenguajes para la enseñanza de programación imperativa en los primeros años de las carreras de Informática de la Universidad Nacional del Noroeste de la Provincia de Buenos Aires
Author: Osella Massa, Germán Leandro / Russo, Claudia Cecilia / Sarobe, Mónica / Pompei, Sabrina
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / informática / Programación / enseñanza / Lenguajes / Metodologías / Actualización

Acceder
Title: RTL fast convolution using the mersenne number transform
Author: Bria, Oscar N. / Villagarcía Wanza, Horacio A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Fast Convolution / Mersenne Number Transform / Languages / RTL / Distributed / Parallel processing

Acceder
Title: Implementação de um algoritmo de criação de checkpoints para a linguagem distribuída DPC++
Author: Santos, Rafael R. dos / Pilla, Maurício Lima / Barreto, Marcos Ennes / Cavalheiro, Gerson G. H. / Navaux, Philippe O. A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / algoritmo de criação de checkpoints / linguagem distribuída DPC++ / Distributed / Algorithms / Languages / Parallel processing

Acceder
Title: A synchronous cooperative architecture for the PROSOFT software engineering environment
Author: Quites Reis, Rodrigo / Lima Reis, Carla Alessandra / Nunes, Daltro José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / cooperative software / software enviroment / formal methods / algebraic specification / SOFTWARE ENGINEERING / Computer-supported cooperative work / Programming Environments

Acceder
Title: Verificación de propiedades temporales en PPML
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / autómatas temporizados / Model checking / procesos de negocios / business processes

Acceder
Title: La educación de jóvenes en perspectiva intercultural: sexualidades y discapacidad
Author: Barletta, César Martín / Cobeñas, Pilar / Justianovich, Silvina Mariela / Luque, Juan Gabriel
Language: Español
Repository: 37
Subject: Sociología / Educación / Educación formal / Joven / Educación intercultural / Sexualidad / Personas con Discapacidad

AccederDescargar
Title: Model evolution and system evolution
Author: Pons, Claudia / Baum, Gabriel Alfredo / Kutsche, Ralf-Detlef
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lógica dinámica / Ingeniería de software / Informática / formal modeling / system evolution / model evolution / dynamic logic / UML

AccederDescargar
Title: Los entornos virtuales flexibles para el desarrollo de competencias en el área de algoritmos y lenguajes de programación
Author: Díaz, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / aprendizaje de programación / educación formal-informal / entorno virtual flexible / desarrollo de competencias informáticas

Acceder

« Previous 37 38 39 40 41 42 43 44 45 Next »