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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (343)

Show More Show Less

Author

Aguirre, Jorge (17)
Montejano, Germán Antonio (16)
Arroyo, Marcelo (15)
Riesco, Daniel Eduardo (15)
Baum, Gabriel Alfredo (12)
García, Alejandro Javier (11)
Bavera, Francisco (10)
Simari, Guillermo Ricardo (9)
Berón, Mario (8)
Delrieux, Claudio (8)

Show More Show Less

Subject

Ciencias Informáticas (250)
Languages (79)
SOFTWARE ENGINEERING (54)
Educación (35)
Letras (30)
Humanidades (25)
Learning (22)
educación (22)
ARTIFICIAL INTELLIGENCE (21)
Computer Uses in Education (21)

Show More Show Less

Year

2012 (343)
2014 (29)
2005 (28)
2013 (23)
2003 (20)
2006 (19)
2001 (18)
2008 (16)
2011 (16)
2002 (15)

Show More Show Less

Document Type

Sin Especificar (301)
Artículo (34)
Tesis (8)

Show More Show Less

Language

Español (343)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Year: 2012 Repository: 37 Language: Español

Sort by Score Title Year -

241-250 from 343 results (0.017 seconds)

Title: Análisis lenguajes de especificación de agente en robótica móvil
Author: Gottifredi, Sebastián / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas Multi-Agentes / Intelligent agents / Lenguaje de Especificación de Agentes / Robotics / Languages / Robótica Móvil

Acceder
Title: Hacia una teoría de revisión temporal
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Conocimiento / Languages / Revisión de creencias / Lenguajes Lógico-temporales / Bases de Conocimiento Temporal / Razonamiento Temporal

Acceder
Title: SOL: Un Ambiente de Programación
Author: Fontao, Rafael Oscar / Goñi, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / tecnología / Languages / Metodologías de programación / Lenguajes / informática / educación / Enseñanza de la programación / Concepción de ideas

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: Especificación del comportamiento interactivo de componentes mediante pew
Author: Amaro, Silvia / Pimentel, Ernesto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Lenguajes de coordinación / Languages / software basado en componentes / cálculo de canales / interoperabilidad / álgebra de procesos

Acceder
Title: JEDI: An interactive interpreter for JAVA
Author: Rodrigues, Hermann Oliveira / Camarão, Carlos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Interactive Interpreter / JEDI / JAVA / PROGRAMMING LANGUAGES / sistema operativo

Acceder
Title: Implementación de un intérprete para un lenguaje de consultas puramente relacional y completo
Author: Barroso, Luis Jesús / Gagliardi, Edilma Olinda / Molina, Gladys Mabel / Quiroga, José Armando / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / Queries computables: CQ / Languages / Lenguaje relacional completo / SOFTWARE ENGINEERING / Intérprete para el lenguaje QL

Acceder
Title: Desarrollo de software de apoyo a la enseñanza de la teoría de lenguajes y autómatas y al diseño de compliladores
Author: Aguirre, Jorge / Arroyo, Marcelo / Grinspan, Valentina
Language: Español
Repository: 37
Subject: Ciencias Informáticas / enseñanza / Enseñanza de la Teoría de Lenguajes / Software / Languages / Software de Apoyo / informática / educación / Diseño de Compliladores

Acceder
Title: Herramienta de generación de procesadores de lenguajes para código móvil seguro
Author: Arroyo, Marcelo / Florio, Nicolás / Felippa, J. / Aguirre, Jorge / Gómez, Gabriela / Bavera, Francisco / Caymes Scutari, Paola / Nordio, D.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / herramientas / Languages / lenguajes / Theory of Computation / código / Código Móvil Seguro (CMS) / Proof Carrying Code (PCC)

Acceder
Title: A system to detect timing problems in digital circuits
Author: Pelaez, Esteban / Berón, Mario / Salgado, Carlos Humberto / Peralta, Mario / Baigorria, Lorena / Garis, Ana Gabriela / Montejano, Germán Antonio / Riesco, Daniel Eduardo / Henriques, Pedro Rangel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / false path / syntactic analysis / semantic analysis / hardware description languages / intermediate language

Acceder

« Previous 21 22 23 24 25 26 27 28 29 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723