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
(23)
Show More
Show Less
Author
Tinetti, Fernando Gustavo
(4)
Fillottrani, Pablo Rubén
(3)
Aguirre, Jorge
(2)
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Cobo, María Laura
(2)
Falappa, Marcelo Alejandro
(2)
Montejano, Germán Antonio
(2)
Pimentel, Ernesto
(2)
Riesco, Daniel Eduardo
(2)
Show More
Show Less
Subject
Ciencias Informáticas
(23)
Languages
(18)
SOFTWARE ENGINEERING
(8)
Parallel
(5)
Semantics
(5)
base de datos
(5)
ARTIFICIAL INTELLIGENCE
(3)
Metrics
(3)
comunicación
(3)
Algorithms
(2)
Show More
Show Less
Year
2002
(23)
2012
(22)
2004
(1)
Show More
Show Less
Document Type
Sin Especificar
(22)
Artículo
(1)
Show More
Show Less
Language
Español
(13)
Inglés
(10)
Show More
Show Less
Your search
Subject:
Semantics of Programming Languages
Repository:
37
Year:
2002
Sort by
Score
Title
Year
-
1-10 from
23
results
(0.017 seconds)
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:
Hacia un enfoque semántico para la catalogación de métricas
Author:
Martín, María de los Ángeles
/
Olsina Santos, Luis Antonio
/
Vallecillo, A.
/
Bertoa, M. F.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Web Semántica
/
SOFTWARE ENGINEERING
/
catalogación
/
Repositorio de Métricas
/
Semantics
/
XML
/
Metrics
/
RDF
Acceder
Title:
Controles semánticos en el modelamiento orientado a objetos
Author:
Kahnert, Susana
/
Fillottrani, Pablo Rubén
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
modelos
/
base de datos
/
Semantics
/
SOFTWARE ENGINEERING
/
simulación
/
modeling
/
Object-oriented design methods
Acceder
Title:
Semántica declarativa trivaluada para la programación en lógica rebatible
Author:
Cecchi, Laura
/
Simari, Guillermo Ricardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
ARTIFICIAL INTELLIGENCE
/
Extensiones de la Programación en Lógica
/
Semántica Declarativa de Extensiones de la Programación en Lógica
/
Semantics
/
Semántica de Juegos
/
Sistemas Argumentativos
Acceder
Title:
Duration calculus semantics for statecharts
Author:
Sánchez, Marisa
/
Fillottrani, Pablo Rubén
/
Felder, Miguel
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Semantics
/
Theory of Computation
/
statecharts semantics
/
Duration Calculus
/
Statemate
Acceder
Title:
Checking semantics in UML models: use cases diagrams
Author:
Gómez, Rodolfo
/
Fillottrani, Pablo Rubén
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Object-Oriented Modeling
/
Constraints
/
Semantic Checking
/
UML
/
Semantics
/
SOFTWARE ENGINEERING
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:
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:
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
« Previous
1
2
3
Next »