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
(217)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(17)
Aguirre, Jorge
(14)
Arroyo, Marcelo
(13)
Fillottrani, Pablo Rubén
(10)
Cecchi, Laura
(9)
Falappa, Marcelo Alejandro
(9)
Riesco, Daniel Eduardo
(9)
Montejano, Germán Antonio
(8)
Bavera, Francisco
(7)
Castro, Silvia Mabel
(6)
Show More
Show Less
Subject
Ciencias Informáticas
(211)
Languages
(145)
Semantics
(75)
SOFTWARE ENGINEERING
(29)
ARTIFICIAL INTELLIGENCE
(27)
informática
(17)
Intelligent agents
(15)
Software
(15)
base de datos
(15)
educación
(12)
Show More
Show Less
Year
2012
(165)
2003
(30)
2002
(23)
2006
(21)
2004
(18)
2005
(16)
2011
(16)
2015
(15)
1997
(12)
2001
(10)
Show More
Show Less
Document Type
Sin Especificar
(186)
Tesis
(18)
Artículo
(12)
Libro
(1)
Show More
Show Less
Language
Español
(143)
Inglés
(65)
Portugués
(9)
Show More
Show Less
Your search
Subject:
Semantics of Programming Languages
Repository:
37
Sort by
Score
Title
Year
-
11-20 from
217
results
(0.015 seconds)
Title:
Avances en Proof-Carrying Code
Author:
Bavera, Francisco
/
Nordio, Martín
/
Medel, Ricardo
/
Aguirre, Jorge
/
Baum, Gabriel Alfredo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Lenguajes de programación
/
Teoría de Tipos
/
Compilador Certificante
/
Código Móvil
Acceder
Title:
Depuración orientada a código fuente de programas Prolog basada en Eclipse
Author:
Vanrell, Juan Ángel
/
Vaucheret, Claudio A.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Computer-aided software engineering (CASE)
/
Integrated environments
/
Software development
/
Logic Programming
Acceder
Title:
Uma proposta de linguagem de programação funcional com características adaptativas
Author:
Rocha, Ricardo L.
/
Neto, João José
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
tecnología
/
Linguagem de Programação
/
Linguagem de Programação Funcional
/
Tecnologia Adaptativa
/
Implementação de Modelo
Acceder
Title:
Líneas de investigación del laboratorio de sistemas de información avanzados
Author:
Calot, Enrique
/
Aceto, Ezequiel L.
/
Rodríguez, Juan Manuel
/
Liguori, Ariel M.
/
Ochoa, María Alejandra
/
Merlino, Hernán
/
Fernández, Enrique
/
Gonzalez, Nahuel Francisco
/
Pirra, Francisco
/
Ierache, Jorge Salvador
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Internet de las cosas
Acceder
Title:
Lenguaje de consulta basado en conocimiento para la selección de técnicas estadísticas y de data mining
Author:
Nigro, Oscar
/
Xodo, Daniel
/
Zelasco, José F.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
gestión
/
Conocimiento
/
Lenguaje de Consulta
/
Languages
/
informática
/
Data mining
/
selección de Técnicas Estadísticas
Acceder
Title:
Revisando bases modales temporales
Author:
Cobo, María Laura
/
Falappa, Marcelo Alejandro
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Revisión de Creencias
/
ARTIFICIAL INTELLIGENCE
/
Lenguajes Lógico-Temporales
Acceder
Title:
The golog programming language and agency
Author:
Gómez, Sergio Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
ARTIFICIAL INTELLIGENCE
/
Golog Programming Language
/
Agency
Acceder
Title:
Formal foundations for the unified modeling language
Author:
Funes, Ana
/
Dasso, Aristides
/
Riesco, Daniel Eduardo
/
Montejano, Germán Antonio
/
Uzal, Roberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
formal foundations
/
unified modeling language
/
Languages
/
SOFTWARE ENGINEERING
Acceder
Title:
Metamodeling or profiling: a practical case in the web engineering domain
Author:
Navarro, Antonio
/
Cortés, Humberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Model Development
/
Languages
Acceder
Title:
Análisis modular y recuperación de contraejemplos en TACO
Author:
Alborodo, Raúl
/
Ricci, Nicolás
/
Galeotti, Juan P.
/
Aguirre, Nazareno Matías
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software/Program Verification
/
Languages
Acceder
« Previous
1
2
3
4
5
6
7
8
9
Next »