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

Show More Show Less

Author

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

Show More Show Less

Subject

Ciencias Informáticas (405)
Languages (114)
SOFTWARE ENGINEERING (86)
Educación (42)
ARTIFICIAL INTELLIGENCE (39)
base de datos (32)
Letras (31)
Informática (30)
Humanidades (27)
educación (27)

Show More Show Less

Year

2012 (506)
2006 (54)
2005 (36)
2002 (31)
2014 (31)
2003 (28)
2000 (26)
2013 (26)
2001 (25)
2004 (23)

Show More Show Less

Document Type

Sin Especificar (458)
Artículo (40)
Tesis (8)

Show More Show Less

Language

Español (343)
Inglés (136)
Portugués (27)

Show More Show Less

Your search

Repository: 37 Query: FORMAL LANGUAGES Year: 2012

Sort by Score Title Year -

61-70 from 506 results (0.014 seconds)

Title: La subsumición en la lógica descriptiva ALCN
Author: Lizcano, Luis I.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Lenguaje de Conceptos / Satifactibilidad / Subsumición / Taxonomía de Conceptos y Cálculo de Tableaux / Concept Languages / Satisfiability / Subsumiption / Concept Taxonomíc and Tableaux / Calculus

Acceder
Title: Agent programming using defeasible argumentation for knowledgerepresentation and reasoning
Author: Gottifredi, Sebastián / Simari, Guillermo Ricardo / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Knowledge Representation Formalisms and Methods / PROGRAMMING LANGUAGES / agent programming languages / agent architectures / agent theories / defeasible argumentation

Acceder
Title: Design and implementation of the visual davinci language
Author: Champredonde, Raúl / De Giusti, Armando Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / educación / informática / Visual / Visual languages / Objects / Compilation and interpretation

Acceder
Title: S-DSL: domain specific language for the programming of sensor devices of environmental variables
Author: Sequeira, Gladis / Biale, Claudio Omar
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Real time / Environments / Signal processing / sensing devices / domain specific languages / monitoring systems

Acceder
Title: Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
Author: Riso, Bernardo Gonçalves / Notare, Mirela Sechi Moretti Anonni / Maciél, Cristiano
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Tools / Distributed Systems / Network communication / sistemas distribuídos / servicios de comunicação / protocolos de ébmunicação / gerencia de redes / especificaçãó formal / construçãôs predefinidas / ferramientas de projeto / LOTOS / Access / bibLOTOS / communication services / communication protocols / netwbrk management / formal specification / pre-defined construcst / design tools

Acceder
Title: Ontologías y semántica en el proceso de visualización
Author: Larrea, Martín Leonardo / Escarza, Sebastián / Urribarri, Dana K. / Martig, Sergio R. / Castro, Silvia Mabel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Representation / ontologías / representación formal / Formal models / visualización basada en semántica / visualización

Acceder
Title: Formalising sharing mechanisms in object-oriented paradigm
Author: Argarañaz, Verónica / Baum, Gabriel Alfredo / Pons, Claudia / Presso, María José / Prieto, Máximo / Romero, Natalia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Formalising Sharing Mechanisms / Object-Oriented Paradigm

Acceder
Title: Avaliação das técnicas de compactação aplicáveis a programas em linguagens funcionais em arquiteturas superescalares
Author: Silva, Mariza Bigonha Andrade da / Silva, Roberto Bigonha da / Costa, Patricia Campos
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Languages / Programas em Linguagens Funcionais / Arquiteturas Superescalares / técnicas de compactação

Acceder
Title: Metamodeling or profiling: a practical case in the web engineering domain
Author: Navarro, Antonio / Cortés, Humberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Model Development / Languages

Acceder
Title: Depuración orientada a código fuente de programas Prolog basada en Eclipse
Author: Vanrell, Juan Ángel / Vaucheret, Claudio A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Computer-aided software engineering (CASE) / Integrated environments / Software development / Logic Programming

Acceder

« Previous 3 4 5 6 7 8 9 10 11 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