Refine your Search
Author
Subject
Year
Document Type
Your search
41-50 from 572 results
(0.013 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: Gender Equality and ESI in the English Language Classroom: a Teaching Experience with ChildrenAuthor: Maití, María PíaLanguage: 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: Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level InteractionsAuthor: Larrea, Martín LeonardoLanguage: InglésRepository: 37
-
Title: Conformation-independent QSPR approach for the soil sorption coefficient of heterogeneous compoundsAuthor: Aranda, José Francisco / Garro Martinez, Juan C. / Castro, Eduardo Alberto / Duchowicz, Pablo RománLanguage: InglésRepository: 37
-
Title: Prototype of speech translation system for audio effective communicationAuthor: Rojas Bello, Richard / Araya Araya, Erick / Vidal Vidal, LuisLanguage: InglésRepository: 37
-
Title: Comprehensive evaluation and implementation of improvement actions in butcher shopsAuthor: Leotta, Gerardo Aníbal / Brusa, Victoria / Galli, Lucía / Adriani, Cristian / Linares, Luciano Héctor / Etcheverría, Analía / Sanz, Marcelo E. / Sucari, Adriana / Peral García, Pilar / Signorini, MarceloLanguage: InglésRepository: 37Subject: Ciencias Veterinarias / Butcher Shops / Foodborne pathogens
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