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
Query:
FORMAL LANGUAGES
Document Type:
Sin Especificar
Repository:
37
Year:
2012
Sort by
Score
Title
Year
-
211-220 from
458
results
(0.016 seconds)
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
Title:
3D Requirements Visualization
Author:
Teyseyre, Alfredo Raúl
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Visual
/
Formal Specifications
/
Requirements
/
Visualization
/
Requirements Visualization
/
3D Graphics
Acceder
Title:
El papel de las TICs en el cambio de paradigma institucional: relato de una experiencia
Author:
Kohan, Adrián
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
educación no formal
/
Learning
/
Computer Uses in Education
/
movimientos juveniles
/
Computer science education
/
democracia
/
fuente abierta
/
tikiwiki
Acceder
Title:
Construyendo oficio: experiencias laborales de integrantes de una planta social de separación y clasificación de residuos en el CEAMSE
Author:
Carenzo, Sebastián
/
Acevedo, Ramiro
/
Bárbaro, Julián
Language:
Español
Repository:
37
Subject:
Sociología
/
clasificación de residuos
/
trabajo precario
/
trabajo formal
/
plantas sociales
/
oficio en devenir
/
industria del reciclado
Acceder
Acceder
Title:
Project line: formally specifying the domain of balanced scorecard
Author:
Montejano, Germán Antonio
/
Uzal, Roberto
/
Riesco, Daniel Eduardo
/
Dasso, Aristides
/
Funes, Ana
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
base de datos
/
SOFTWARE ENGINEERING
/
Formal methods
/
Management
/
CAM
Acceder
Title:
A 3D visualization approach to validate requirements
Author:
Teyseyre, Alfredo Raúl
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Visual
/
Requirements/Specifications
/
Graphics
/
requirements visualization
/
3D graphics
/
requirements
/
visualization
/
formal specifications
Acceder
Title:
Utilizando contratos de reuso con alloy
Author:
Castro, Pablo Francisco
/
Baum, Gabriel Alfredo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Ingeniería de Software
/
Formal methods
/
Métodos Formales
/
Teoría de la Computación
/
Theory of Computation
Acceder
« Previous
18
19
20
21
22
23
24
25
26
Next »