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 Language: Español

Sort by Score Title Year -

301-310 from 1467 results (0.015 seconds)

Title: Living objects: towards flexible big data sharing
Author: Marti, Jonathan / Queralt, Anna / Gasull, Daniel / Cortes, Toni
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Data sharing / Database (persistent) programming languages

AccederDescargar
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: 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: Avances en procesadores de lenguajes y proof-carrying code
Author: Aguirre, Jorge / Medel, Ricardo / Arroyo, Marcelo / Florio, Nicolás / Bavera, Francisco / Caymes Scutari, Paola / Nordio, D.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / procesadores de lenguajes / Languages / proof-carrying code / Theory of Computation

Acceder
Title: Descripción VHDL de un microcontrolador
Author: Martínez Belot, Luis José Javier / Leyes, Daniel Alejandro / Villagarcía Wanza, Horacio A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Hardware description languages / VHDL / Logic Programming / System On a chip (SOC) / microcontrolador

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: 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 27 28 29 30 31 32 33 34 35 Next »