Refine your Search
Author
Subject
Year
11-20 from 101 results
(0.021 seconds)
-
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: Kolmogorov complexity for possibly infinite computationsAuthor: Figueira, Santiago / Becher, VerónicaLanguage: InglésRepository: 37
-
Title: The B method as an environment for the verification of eiffel programs: a case studyAuthor: Aguirre, Nazareno Matías / Oviedo, JuanLanguage: InglésRepository: 37
-
Title: Generic data processing: a normalization exerciseAuthor: Necco, Claudia Mónica / Oliveira, J. NunoLanguage: InglésRepository: 37
-
Title: Calculation of Invariants AssertionsAuthor: Flaviani, FedericoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction
-
Title: Prototype of speech translation system for audio effective communicationAuthor: Rojas Bello, Richard / Araya Araya, Erick / Vidal Vidal, LuisLanguage: InglésRepository: 37
-
Title: Evolution of computer science degrees at science school : University of Buenos Aires (FCEN-UBA)Author: Factorovich, PabloLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación
-
Title: Innovative enterprises: a dynamical modelAuthor: Willis, Edgar / Plastino, Ángel LuisLanguage: InglésRepository: 37Subject: Ciencias Económicas / empresa / Economía / Innovación
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723