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

Repository: 37 Query: FORMAL LANGUAGES Year: 2012

Sort by Score Title Year -

211-220 from 506 results (0.019 seconds)

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: Hacia la prueba de corrección de clases
Author: Cassano, Valentín / Nadales, Damián E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Object-oriented Programming / Correctness proofs

Acceder
Title: Formalización del proceso de visualización mediante el uso de ontologías
Author: Escarza, Sebastián / Castro, Silvia Mabel / Martig, Sergio R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Ontología / COMPUTER GRAPHICS / Representación Formal / Modelo de Referencia / Visualización

Acceder
Title: Framework de evaluación para modelos formales de patrones de diseño
Author: Flores, Andrés P. / Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / Ingeniería de Software / Frameworks / Métodos Formales / Patrones de Diseño / Formal methods

Acceder
Title: Productos como referentes explícitos en el modelado de procesos de negocios
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Real time / Business

Acceder

« Previous 18 19 20 21 22 23 24 25 26 Next »