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

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

Sort by Score Title Year -

101-110 from 995 results (0.025 seconds)

Title: Verificación en Alloy de modelos y metamodelos específicos del dominio
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación

Acceder
Title: Un sistema multilenguaje para argumentación rebatible
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / inteligencia artificial / Languages / ARTIFICIAL INTELLIGENCE / contextos / razonamiento rebatible / sistemas argumentativos

Acceder
Title: Uso de la gramática distributiva en la ingeniería de requisitos
Author: Dasso, Aristides / Funes, Ana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / gramática distributiva / Languages / lenguaje natural

Acceder
Title: Vinculación de un curso interactivo multimedial con un lenguaje visual para ejecución y animación de algoritmos
Author: De Giusti, Armando Eduardo / Madoz, María Cristina / Gorga, Gladys / Bertone, Rodolfo Alfredo / Champredonde, Raúl
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Curso interactivo multimedial / Visual / informática / Lenguaje Visual / educación / Languages / Algorithms / ejecución y animación de algoritmos

Acceder
Title: Towards a programming language based on Prior's metric temporal operators
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Database (persistent) programming languages / Real time

Acceder
Title: Analizando el uso de (Dyn)Alloy como herramienta educativa
Author: Cornejo, César / Politano, Mariano / Raverta, Fernando / Permigiani, Sonia / Ponzio, Pablo Daniel / Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Languages / Requirements/Specifications

Acceder
Title: Formalizing relations between use cases in the unified modeling language
Author: Giandini, Roxana Silvia / Pons, Claudia / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Semantics / graphical modeling languages / use cases

Acceder
Title: Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Author: Matos, Alexandre Veloso de / Gonçalves Riso, Bernardo / Notare, Mirela Sechi Moretti Anonni
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / LOTOS / java / carregador de applets / Security and Protection / Distributed systems / PROGRAMMING LANGUAGES

Acceder
Title: Implementing a typed assembly language and its machine model
Author: Medel, Ricardo / Lucotte, Matthieu
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Programming languages / type systems / typed assembly languages / compilers / resources awareness

Acceder
Title: Los latidos del tiempo: un viaje imaginario desde el origen del universo hasta nuestros días
Author: Lucero, A. L. / Salerno, Nicolás / Voglino, Damián / Andolfo, María / Trotta, H. / Roma, M. / Dieguez, D.
Language: Español
Repository: 37
Subject: Ciencias Naturales / Astronomía / extensión / ciencia / educación no formal / universo / interdisciplina / naturaleza / extension / science / non-formal education / universe / interdisciplinary / nature / extensão / ciência / educação não-formal / universo, / natureza

AccederAcceder

« Previous 7 8 9 10 11 12 13 14 15 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