Refine your Search
Author
Subject
Year
Document Type
Your search
2211-2220 from 2449 results
(0.013 seconds)
-
Title: Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer ordenLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Temporal logic / Programming Environments
-
Title: Clasificación y ejemplos del uso de ontologías en Ingeniería del SoftwareAuthor: Aranda, Gabriela N. / Ruíz, FranciscoLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / ontologías / ingeniería del software
-
Title: Procedimiento de formación de grupos de trabajo en el proceso softwareAuthor: Digión, LedaLanguage: EspañolRepository: 37
-
Title: Open Arithmetics Fortran 90Author: Regis, Germán / Arroyo, Marcelo / Aguirre, JorgeLanguage: EspañolRepository: 37
-
Title: Modelización y verificación automática de un proceso softwareAuthor: Sosa, Mabel / Ledesma, María I. / Acuña, Silvia T.Language: EspañolRepository: 37
-
Title: Evaluación de las capacidades humanas en el proceso de desarrollo de softwareLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Process models / Software process / People
-
Title: Análisis de flujo de control y código móvil seguro : ¿Una alternativa prometedora?Author: Bavera, Francisco / Nordio, Martín / Aguirre, JorgeLanguage: EspañolRepository: 37
-
Title: Una experiencia de captura de requerimientos en un ambiente jerárquico duroAuthor: Acosta, Nelson / Mosca, Nicolás A.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-2026 ©. Todos los derechos reservados conforme a la ley 11.723