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

Show More Show Less

Author

Simari, Guillermo Ricardo (28)
Montejano, Germán Antonio (27)
Riesco, Daniel Eduardo (25)
García, Alejandro Javier (21)
Baum, Gabriel Alfredo (19)
Pons, Claudia (18)
Aguirre, Jorge (17)
Fillottrani, Pablo Rubén (17)
Arroyo, Marcelo (16)
Chesñevar, Carlos Iván (14)

Show More Show Less

Subject

Ciencias Informáticas (620)
Educación (218)
Humanidades (146)
Languages (145)
Letras (127)
SOFTWARE ENGINEERING (91)
Bellas Artes (84)
Sociología (77)
Ciencias Naturales (60)
Argentina (57)

Show More Show Less

Year

2012 (506)
2020 (351)
2019 (231)
2014 (209)
2016 (198)
2018 (187)
2015 (182)
2017 (174)
2013 (149)
2010 (119)

Show More Show Less

Document Type

Sin Especificar (995)
Artículo (591)
Tesis (165)
Libro (22)

Show More Show Less

Language

Español (1467)
Inglés (254)
Portugués (48)
Francés (3)
Italiano (1)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Repository: 37

Sort by Score Title Year -

1361-1370 from 1773 results (0.019 seconds)

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: 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: Inserción laboral de los egresados de la carrera de educación y su relación con la formación docente
Author: Colombo, Héctor Rubén / Dideo, Gabriel / Andreetti, Soledad / Pascual, Gustavo
Language: Español
Repository: 37
Subject: Educación Física / Formación superior / Formación de docentes / Inserción laboral / Ámbito formal / Ámbito informal

AccederAcceder
Title: Los entornos virtuales flexibles para el desarrollo de competencias en el área de algoritmos y lenguajes de programación
Author: Díaz, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / aprendizaje de programación / educación formal-informal / entorno virtual flexible / desarrollo de competencias informáticas

Acceder
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: La educación de jóvenes en perspectiva intercultural: sexualidades y discapacidad
Author: Barletta, César Martín / Cobeñas, Pilar / Justianovich, Silvina Mariela / Luque, Juan Gabriel
Language: Español
Repository: 37
Subject: Sociología / Educación / Educación formal / Joven / Educación intercultural / Sexualidad / Personas con Discapacidad

AccederDescargar
Title: Verificación de propiedades temporales en PPML
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / autómatas temporizados / Model checking / procesos de negocios / business processes

Acceder
Title: A synchronous cooperative architecture for the PROSOFT software engineering environment
Author: Quites Reis, Rodrigo / Lima Reis, Carla Alessandra / Nunes, Daltro José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / cooperative software / software enviroment / formal methods / algebraic specification / SOFTWARE ENGINEERING / Computer-supported cooperative work / Programming Environments

Acceder
Title: Una solución multiparadigma para el desarrollo de software
Author: Amaro, Silvia / Quiroga, Pablo / Reynoso, Luis A. / Vaucheret, Claudio A. / López, Lidia Marina / Dolz, Daniel / Granados, Andrea / Godoy, Ingrid / Sánchez, Viviana / Klemen, Maximiliano / Pérez, Paola
Language: Español
Repository: 37
Subject: Ciencias Informáticas / programación multiparadigma / Software development / innovación / lenguajes de programación / PROGRAMMING LANGUAGES / software / abstracción / dominios complejos

Acceder
Title: Desarrollo multiparadigma
Author: Amaro, Silvia / Quiroga, Pablo / Reynoso, Luis A. / Vaucheret, Claudio A. / López, Lidia Marina / Dolz, Daniel / Granados, Andrea / Godoy, Ingrid / Sánchez, Viviana / Klemen, Maximiliano / Pérez, Paola
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / PROGRAMMING LANGUAGES / programación multiparadigma / Lenguajes de Programación / Natural Language Processing / dominios complejos / orientación a agentes

Acceder

« Previous 133 134 135 136 137 138 139 140 141 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