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 Year: 2005

Sort by Score Title Year -

1-10 from 36 results (0.061 seconds)

Title: Verificando diseños BON mediante Alloy
Author: Castro, Pablo Francisco / Ponzio, Pablo Daniel / Demasi, Ramiro Adrián / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Object-oriented languages

Acceder
Title: Plataformas de desarrollo para dispositivos móviles en la enseñanza de programación avanzada: una experiencia provechosa
Author: Fontela, Moisés Carlos / Suárez, Pablo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Computer Uses in Education / Cellular architecture (e.g., mobile) / Languages / programación / enseñanza superior / lenguajes de programación

Acceder
Title: Teaching programming
Author: Dasso, Aristides / Funes, Ana / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Peralta, Mario / Salgado, Carlos Humberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Learning / Collaborative learning / Computer Uses in Education / teaching programming / programming languages / programming paradigms

Acceder
Title: Estrategias para la enseñanza de la programación
Author: Moroni, Norma / Señas, Perla
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / PROGRAMMING LANGUAGES / Computer Uses in Education / Learning / programación / enseñanza / aprendizaje / algoritmos

Acceder
Title: El cuento: instrumento ideal de contextualización del lenguaje para el aprendezaje de una lengua
Author: Agut Betoret, Francesc
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Cuento / educación / Education / Languages / Contextualización del lenguaje / Learning / Lengua

Acceder
Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: A first approach to combining ontologies and defeasible argumentation for the semantic web
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / defeasible argumentation / semantic web / ontology integration / Semantics / Multiagent systems / Extensible languages

Acceder
Title: Programación en paralelo utilizando un modelo de sistemas multi-agente
Author: Weinbach, Natalia L. / Tucat, Mariano / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / programación en paralelo / Parallel programming / Multiagent systems / sistemas multi-agente / lenguajes de programación / Programming Languages and Software

Acceder
Title: agcc: un generador de procesadores de lenguajes basado en gramáticas de atributos
Author: Arroyo, Marcelo / Aguirre, Jorge / Alarcón, Román
Language: Español
Repository: 37
Subject: Ciencias Informáticas / gramática de atributos / Languages / Parsing

Acceder
Title: Interaction among BDI argumentative agents: a dialogue games approach
Author: Rueda, Sonia Vivian / Martínez, María Vanina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / interaction language / dialogues / BDI agents / Multiagent systems / Languages

Acceder

« Previous 1 2 3 4 Next »