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
(458)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(27)
Montejano, Germán Antonio
(22)
García, Alejandro Javier
(21)
Riesco, Daniel Eduardo
(21)
Aguirre, Jorge
(17)
Baum, Gabriel Alfredo
(16)
Arroyo, Marcelo
(15)
Chesñevar, Carlos Iván
(14)
Fillottrani, Pablo Rubén
(12)
Pons, Claudia
(12)
Show More
Show Less
Subject
Ciencias Informáticas
(400)
Languages
(113)
SOFTWARE ENGINEERING
(86)
ARTIFICIAL INTELLIGENCE
(39)
Educación
(38)
base de datos
(32)
Informática
(29)
educación
(26)
Humanidades
(25)
Learning
(25)
Show More
Show Less
Year
2012
(458)
2006
(53)
2005
(36)
2002
(31)
2003
(28)
2000
(25)
2001
(25)
2013
(25)
2014
(24)
2004
(23)
Show More
Show Less
Document Type
Sin Especificar
(458)
Show More
Show Less
Language
Español
(301)
Inglés
(130)
Portugués
(27)
Show More
Show Less
Your search
Repository:
37
Query:
FORMAL LANGUAGES
Document Type:
Sin Especificar
Year:
2012
Sort by
Score
Title
Year
-
131-140 from
458
results
(0.015 seconds)
Title:
Two-Level scheduling algorithm for simulation servers
Author:
Marín, Mauricio
/
Bonacic, Carolina
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Scheduling
/
Algorithms
/
Servers
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:
Holoparadigma: desenvolvimento de software multiparadigma distribuído
Author:
Barbosa, Jorge L. V.
/
Geyer, Cláudio Fernando Resin
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
Multiparadigm languages
/
Software Architectures
/
Distributed Systems
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:
Defining the proxy design pattern using UML profile
Author:
Garis, Ana Gabriela
/
Riesco, Daniel Eduardo
/
Montejano, Germán Antonio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
UML profiles
/
OCL
/
metamodels
/
Languages
/
Modeling
/
Patterns
/
Design
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
10
11
12
13
14
15
16
17
18
Next »