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

Show More Show Less

Author

Simari, Guillermo Ricardo (18)
Chesñevar, Carlos Iván (10)
García, Alejandro Javier (10)
Fillottrani, Pablo Rubén (9)
Pons, Claudia (7)
Martínez, Diego C. (6)
Montejano, Germán Antonio (6)
Riesco, Daniel Eduardo (6)
Cobo, María Laura (5)
Gómez, Sergio Alejandro (5)

Show More Show Less

Subject

Ciencias Informáticas (159)
Languages (30)
SOFTWARE ENGINEERING (28)
ARTIFICIAL INTELLIGENCE (17)
Informática (13)
Multiagent systems (11)
base de datos (11)
Semantics (8)
Software (8)
Educación (7)

Show More Show Less

Year

2012 (130)
2006 (34)
2002 (16)
2019 (10)
1999 (9)
2000 (9)
1998 (8)
2005 (8)
2018 (8)
1997 (7)

Show More Show Less

Document Type

Sin Especificar (163)

Show More Show Less

Language

Inglés (163)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Language: Inglés Document Type: Sin Especificar Repository: 37

Sort by Score Title Year -

21-30 from 163 results (0.015 seconds)

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: 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: 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: LaST: Language Study Tool
Author: Molinari, Enrique / Lindner, Edgard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / tecnología / Semantics / educación / Computer science education / informática / computer education technology / programming language semantics / teaching programming languages

Acceder
Title: Typing polymorphic recursion
Author: Figueiredo, Lucília Camarão de / Camarão, Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / informática / Polymorphism / Programming languages / Type inference

Acceder
Title: An extension to EMTPL
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programming Languages / Metric Temporal Logic / Deductive Databases / Negation / base de datos / Languages / Metrics / SOFTWARE ENGINEERING

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: 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

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