Refine your Search
Author
Subject
1-10 from 26 results
(0.011 seconds)
-
Title: Formalising sharing mechanisms in object-oriented paradigmAuthor: Argarañaz, Verónica / Baum, Gabriel Alfredo / Pons, Claudia / Presso, María José / Prieto, Máximo / Romero, NataliaLanguage: InglésRepository: 37
-
Title: A reverse engineering approach to framework comprehensionAuthor: Campo, Marcelo / Price, TomLanguage: InglésRepository: 37
-
Title: Design and implementation of the visual davinci languageAuthor: Champredonde, Raúl / De Giusti, Armando EduardoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Languages / educación / informática / Visual / Visual languages / Objects / Compilation and interpretation
-
Title: Finite Presheaf categories as a nice setting for doing generic programmingAuthor: Menni, MatíasLanguage: InglésRepository: 37
-
Title: A randomized algorithm for solving the satisfiability problemAuthor: Cecchi, LauraLanguage: InglésRepository: 37Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Algorithms / complete problems / NP / Satisfiability problem
-
Title: CAMILA formal software engineering supported by functional programmingAuthor: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.Language: InglésRepository: 37
-
Title: Introducing Scheme in a FP-less environmentAuthor: Aerts, Kris / De Vlaminck, KarelLanguage: InglésRepository: 37
-
Title: An application of a theorem proverAuthor: Campos, M. / Lins, R.Language: InglésRepository: 37Subject: Ciencias Informáticas / Applications / Application / Theorem Prover
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