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

Show More Show Less

Author

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

Show More Show Less

Subject

Ciencias Informáticas (509)
Educación (127)
Languages (124)
SOFTWARE ENGINEERING (86)
Humanidades (77)
Sociología (66)
Letras (44)
Bellas Artes (43)
ARTIFICIAL INTELLIGENCE (39)
Psicología (35)

Show More Show Less

Year

2012 (458)
2020 (132)
2014 (124)
2016 (119)
2015 (97)
2017 (93)
2019 (88)
2018 (85)
2013 (70)
2010 (68)

Show More Show Less

Document Type

Sin Especificar (995)

Show More Show Less

Language

Español (792)
Inglés (163)
Portugués (40)

Show More Show Less

Your search

Repository: 37 Query: FORMAL LANGUAGES Document Type: Sin Especificar

Sort by Score Title Year -

351-360 from 995 results (0.015 seconds)

Title: Calculation of Invariants Assertions
Author: Flaviani, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction

Acceder
Title: Modelos formales del razonamiento científico
Author: Delrieux, Claudio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / formalismos / Formal models / ARTIFICIAL INTELLIGENCE / teoría científica / inferencias / deducción

Acceder
Title: Tramitación de la AUH en la ANSES de la ciudad de La Plata : Las prácticas de vinculación de los sectores populares con el Estado desde la experiencia situada
Author: D'Amico, Victoria
Language: Español
Repository: 37
Subject: Sociología / Asignación Universal por Hijo (AUH) / Economía / Administración Nacional de la Seguridad Social (ANSES) / pactos de ciudadanía / igualdad formal / desigualdad sustancial

AccederDescargar
Title: A UML profile to model classifier refinements
Author: Correa, Natalia / Giandini, Roxana Silvia / Pons, Claudia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / software engineering / Formal methods

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder
Title: Modelos de datos espaciales
Author: Vitturini, Mercedes / Castro, Silvia Mabel / Martig, Sergio R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal models / Modelos / datos espaciales

Acceder
Title: Las prácticas pre-profesionales en ámbitos no formales en el PUEF
Author: Baioni, Gabriela / Di Forti, Nicolás / Granado, Roxana / Pascual, Gustavo / Portillo, Victor / Zelaya, Sergio
Language: Español
Repository: 37
Subject: Educación Física / Identidades profesionales / Práctica docente / Práctica no formal / Práctica social / Trayectorias formativas

AccederAcceder
Title: Language history : A tale of two countries
Author: Davey, Bill / Parker, Kevin R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Universidades / Lenguajes de Programación

Acceder
Title: Lenguajes de transformación de modelos : Un análisis comparativo
Author: Correa, Natalia / Giandini, Roxana Silvia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / model driven architecture / model transformation / SOFTWARE ENGINEERING / System architectures / Modeling of computer architecture / arquitectura dirigida por modelos

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

« Previous 32 33 34 35 36 37 38 39 40 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