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

Repository: 37 Query: FORMAL LANGUAGES

Sort by Score Title Year -

1311-1320 from 1773 results (0.017 seconds)

Title: Un método riguroso para la reusabilidad de software orientado a objetos
Author: Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / reusabilidad / Software / Data models / especificaciones algebraicas / programación transfonnacional / programación orientada a objetos

Acceder
Title: Martín Fierro: uno de los lados de la vanguardia argentina
Author: Hitz, Rubén Ángel
Language: Español
Repository: 37
Subject: Bellas Artes / vanguardias latinoamericanas / revistas / renovación formal

Acceder
Title: Acceptability semantics and contextual defeat relations in extended frameworks
Author: Martínez, Diego C. / García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Frameworks / Language Classifications / Model classification / Formal models of communication

Acceder
Title: Uma poética do processo na biografia literária contemporânea
Author: Pereira, Antonio Marcos
Language: Portugués
Repository: 37
Subject: Letras / biografía literaria / poética / invisibilidad del biógrafo / forma / experimentos formales / literary biography / poetics / invisibility of the biographer / form / formal experiments

Acceder
Title: A invenção dos projetos sociais esportivos e a educação não escolar
Author: Gonçalves, Arisson Vinícius Landgraf
Language: Español
Repository: 37
Subject: Sociología / Educación / educación no formal / projetos sociais esportivos / educação não escolar

AccederDescargar
Title: Evaluación de Modelos Conceptuales de Procesos de Negocio
Author: Salgado, Carlos Humberto / Peralta, Mario / Berón, Mario / Montejano, Germán Antonio / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / procesos de negocio / Business / Formal models / modelos / SOFTWARE ENGINEERING / conceptuales de procesos de negocios / BPMN

Acceder
Title: Validación de requerimientos a través de modelos conceptuales
Author: Marciszack, Marcelo Martín / Cardenas, Marina E. / Pérez, Ramiro / Castro, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / validación / SOFTWARE ENGINEERING / requerimientos / Formal models / Requirements/Specifications / modelos / conceptual / especificación / trazabilidad / software

Acceder
Title: “Formador de formadores en Agroecología”: una estrategia de intervención hacia la transición agroecológica
Author: Gómez, Camila / Goites, Enrique / Mediavilla, M. Clara / De Luca, Laura / Pérez, Maximiliano / Wainer, Ezequiel / Ciocchini, Florencia Indira
Language: Español
Repository: 37
Subject: Ciencias Agrarias / agroecología / educación no formal / horticultura / parcelas comunitarias

AccederDescargar
Title: An experimental tool for checking probabilistic program refinement
Author: Gonzalía, Carlos José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal methods / SOFTWARE ENGINEERING / probabilistic programs / computer verification / refinement checking / trace generation / linear satisfiability checking

Acceder
Title: Métricas, técnicas y semántica para la visualización de datos
Author: Castro, Silvia Mabel / Larrea, Martín Leonardo / Urribarri, Dana K. / Ganuza, María Luján / Escarza, Sebastián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ontología / representación formal / visualización basada en semántica / visualización

Acceder

« Previous 128 129 130 131 132 133 134 135 136 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