OPAC

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 (19)

Show More Show Less

Author

Cobo, María Laura (2)
Estévez, Elsa Clara (2)
Fillottrani, Pablo Rubén (2)
Flores, Andrés P. (2)
Amaolo, Marcelo Paulo (1)
Aranda, Gabriela N. (1)
Augusto, Juan Carlos (1)
Baum, Gabriel Alfredo (1)
Belloni, Edgardo A. (1)
Bonelli, Eduardo (1)

Show More Show Less

Subject

Ciencias Informáticas (17)
SOFTWARE ENGINEERING (6)
ARTIFICIAL INTELLIGENCE (2)
Ciencias Económicas (2)
Informática (2)
Languages (2)
Logic Programming (2)
Requirements/Specifications (2)
base de datos (2)
component-based development (2)

Show More Show Less

Year

2004 (19)
2012 (7)
2002 (4)
2000 (2)
2003 (2)
1998 (1)
2001 (1)
2009 (1)
2019 (1)

Show More Show Less

Document Type

Artículo (12)
Sin Especificar (7)

Show More Show Less

Language

Inglés (19)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Language: Inglés Repository: 37 Year: 2004

Sort by Score Title Year -

1-10 from 19 results (0.048 seconds)

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

AccederDescargar
Title: LaST: Language Study Tool
Author: Molinari, Enrique / Lindner, Edgard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / tecnología / Semantics / educación / Computer science education / informática / computer education technology / programming language semantics / teaching programming languages

Acceder
Title: A multi-paradigm approach for mobile agents development
Author: Belloni, Edgardo A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Agente inteligente / Arquitectura de software / Informática / mobile agents / multi-paradigm languages / software architecture / socialware

AccederDescargar
Title: Development of a relational database management system
Author: Ruiz, Anabel Natalia / Maldonado, Calixto / Martínez Spessot, Cesar Ignacio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Query languages / Base de Datos / Relational databases

AccederDescargar
Title: Model evolution and system evolution
Author: Pons, Claudia / Baum, Gabriel Alfredo / Kutsche, Ralf-Detlef
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lógica dinámica / Ingeniería de software / Informática / formal modeling / system evolution / model evolution / dynamic logic / UML

AccederDescargar
Title: Algebraic specifications and refinement for component-based development using RAISE
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal methods / component-based development / SOFTWARE ENGINEERING / Requirements/Specifications

AccederDescargar
Title: Capturing the behaviour of inter-agent dialogues
Author: Martínez, Diego C. / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / ARTIFICIAL INTELLIGENCE / abstract argumentation / formal dialogues

Acceder
Title: EMTPL and its relation to first order logic
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Metric Temporal Logic / Temporal Databases / base de datos / SOFTWARE ENGINEERING / Metrics

Acceder
Title: Logical foundations and implementation of an extension of temporal logic
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Logic Programming / temporal logic / logic programming / temporal logic programming

AccederDescargar
Title: Minimum wage effects under endogenous compliance: evidence from Perú
Author: Jaramillo Baanante, Miguel
Language: Inglés
Repository: 37
Subject: Ciencias Económicas / Perú / diferencias salariales / mercado laboral / JEL: J23, J38, O17 / salario

Acceder

« Previous 1 2 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723