Refine your Search
Author
Subject
1-10 from 17 results
(0.014 seconds)
-
Title: Avances en procesadores de lenguajes y proof-carrying codeAuthor: Aguirre, Jorge / Medel, Ricardo / Arroyo, Marcelo / Florio, Nicolás / Bavera, Francisco / Caymes Scutari, Paola / Nordio, D.Language: EspañolRepository: 37
-
Title: Herramienta para la visualización de programas en lenguajes imperativosAuthor: Moroni, Norma / Señas, PerlaLanguage: EspañolRepository: 37
-
Title: Avances en Proof-Carrying CodeAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: EspañolRepository: 37
-
Title: Uma proposta de linguagem de programação funcional com características adaptativasAuthor: Rocha, Ricardo L. / Neto, João JoséLanguage: PortuguésRepository: 37
-
Title: Lenguaje de consulta basado en conocimiento para la selección de técnicas estadísticas y de data miningAuthor: Nigro, Oscar / Xodo, Daniel / Zelasco, José F.Language: EspañolRepository: 37
-
Title: Revisando bases modales temporalesAuthor: Cobo, María Laura / Falappa, Marcelo AlejandroLanguage: EspañolRepository: 37
-
Title: The golog programming language and agencyAuthor: Gómez, Sergio AlejandroLanguage: InglésRepository: 37
-
Title: Formal foundations for the unified modeling languageAuthor: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, RobertoLanguage: InglésRepository: 37
-
Title: Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUPAuthor: Favre, Liliana María / Leonardi, María Carmen / Mauco, Virginia / Pereira, Claudia Teresa / Martínez, Liliana / Felice, LauraLanguage: EspañolRepository: 37
-
Title: La subsumición en la lógica descriptiva ALCNAuthor: Lizcano, Luis I.Language: EspañolRepository: 37
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723