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
(20)
Show More
Show Less
Author
Fillottrani, Pablo Rubén
(5)
Estévez, Elsa Clara
(3)
Montejano, Germán Antonio
(3)
Riesco, Daniel Eduardo
(3)
Uzal, Roberto
(3)
Aranda, Gabriela N.
(2)
Buccella, Agustina
(2)
Chesñevar, Carlos Iván
(2)
Cobo, María Laura
(2)
Flores, Andrés P.
(2)
Show More
Show Less
Subject
Ciencias Informáticas
(20)
SOFTWARE ENGINEERING
(9)
Languages
(8)
base de datos
(6)
ARTIFICIAL INTELLIGENCE
(2)
Algorithms
(2)
Formal methods
(2)
Parallel
(2)
Requirements/Specifications
(2)
Semantics
(2)
Show More
Show Less
Year
2002
(20)
2012
(16)
2004
(4)
Show More
Show Less
Document Type
Sin Especificar
(16)
Artículo
(4)
Show More
Show Less
Language
Inglés
(20)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Language:
Inglés
Year:
2002
Sort by
Score
Title
Year
-
1-10 from
20
results
(0.014 seconds)
Title:
Simulators for teaching formal languages and automata theory: a comparative survey
Author:
Chesñevar, Carlos Iván
/
Cobo, María Laura
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Educational Software
/
Automata Theory
/
Formal Languages
/
tecnología
/
educación
/
Education
Acceder
Title:
Moodelling of processes and formal methods
Author:
Riesco, Daniel Eduardo
/
Montejano, Germán Antonio
/
Uzal, Roberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
base de datos
/
Formal methods
/
Languages
/
Reengineering of processes
/
Reverse engineering
/
RAISE language
Acceder
Title:
Formal specifications in component-based development
Author:
Estévez, Elsa Clara
/
Fillottrani, Pablo Rubén
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software development
/
base de datos
/
CBD (Component-based development)
/
SOFTWARE ENGINEERING
/
framework
/
components
Acceder
Title:
Using business process reengineering to obtain a RAISE specification
Author:
Riesco, Daniel Eduardo
/
Uzal, Roberto
/
Montejano, Germán Antonio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
formal method
/
Languages
/
Reengineering
Acceder
Descargar
Title:
Implementing a typed assembly language and its machine model
Author:
Medel, Ricardo
/
Lucotte, Matthieu
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Programming languages
/
type systems
/
typed assembly languages
/
compilers
/
resources awareness
Acceder
Title:
An extension to EMTPL
Author:
Cobo, María Laura
/
Falappa, Marcelo Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Programming Languages
/
Metric Temporal Logic
/
Deductive Databases
/
Negation
/
base de datos
/
Languages
/
Metrics
/
SOFTWARE ENGINEERING
Acceder
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:
Social interaction and argumentation in MAS
Author:
Martínez, Diego C.
/
García, Alejandro Javier
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
agents
/
ARTIFICIAL INTELLIGENCE
/
argumentation
/
Multiagent systems
/
communication
/
Languages
Acceder
Title:
Parallel matrix multiplication on heterogeneous networks of workstations
Author:
Tinetti, Fernando Gustavo
/
Luque Fadón, Emilio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Parallel
/
Languages
/
Cluster Computing
/
Heterogenous Parallel Computers
/
High Performance Computing
/
Performance Evaluation
/
Linear Algebra Applications
Acceder
Title:
Introducing nested data parallel in barnes hut algorithm
Author:
Fuentes, M.
/
Piccoli, María Fabiana
/
Printista, Alicia Marcela
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
comunicación
/
Parallel
/
Languages
/
Algorithms
/
N-body problems
/
Parallel programming models
/
Communication pattern
/
Data partition
/
Balanced workload
Acceder
« Previous
1
2
Next »