Refine your Search
Repository
Author
Subject
- Ciencias Informáticas (41)
- Ciencias Económicas (12)
- Domínio/Área Científica::Ciências Sociais::Psicologia (11)
- Argentina (10)
- Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação (9)
- Ciencias Naturales (8)
- Domínio/Área Científica::Ciências Sociais::Economia e Gestão (8)
- Domínio/Área Científica::Ciências Sociais::Outras Ciências Sociais (7)
- Portugal (6)
- Psicología (6)
Year
31-40 from 269 results
(0.017 seconds)
-
Title: Using business process reengineering to obtain a RAISE specificationLanguage: InglésRepository: 37Subject: Ciencias Informáticas / formal method / Languages / Reengineering
-
Title: Verifying BON models with alloyAuthor: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel AlfredoLanguage: InglésRepository: 37
-
Title: Habitation: a domain-specific language for home automationAuthor: Jiménez Buendía, Manuel / Sánchez Palma, Pedro / Álvarez Torres, María Bárbara / Iborra García, Andrés José / Rosique Contreras, María FranciscaLanguage: InglésRepository: 72Subject: Dominio específico de lenguajes / Domótica / Lenguajes Visuales / Modelos basados en ingeniería / Gráficos por ordenador / Compiladores de programas / Domain specific languages / Home automation / Visual languages / Computer graphic / Program compilers / Model Driven Engineering (MDE) / Tecnología Electrónica
-
Title: The role and status of English in Spanish-speaking Argentina and its education system: Nationalism or imperialism?Author: Porto, MelinaLanguage: InglésRepository: 37Subject: Educación / Argentina / English as a foreign language / Identity / Imperialism / Malvinas war / Nationalism
-
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security ProtocolsLanguage: InglésRepository: 34Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA
-
Title: Alternative shaper: a model for automatic design generationAuthor: Santos, F. / Kwiecinski, K. / de Almeida, A. / Eloy, S. / Taborda, B.Language: InglésRepository: 73
-
Title: Revision by experts as a strategy for the improvement and validation of LAMS unitsAuthor: Brenes-Castaño, Antonio / Rodríguez-Gómez, Gregorio / Gómez-Ruiz, Miguel Ángel / Contero-Urgal, CandelaLanguage: InglésRepository: 30Subject: LAMS development / foreign languages / speaking instruction
-
Title: Design and evaluation of a scaffolded block-based learning environment for hierarchical data structuresAuthor: Feijóo García, Pedro Guillermo / Wang, Sishun / Cai, Ju / Polavarapu, Naga / Gardner-McCune, Christina / Ragan, Eric D.Language: InglésRepository: 75Subject: CS Education / Tools / Block-based programming / Data structures / Visual languages / Human-centric computing
-
Title: Teaching computer programming: Practices, difficulties and opportunitiesLanguage: InglésRepository: 75Subject: Computers / Education / Computer languages
-
Title: Assessing Foreign Language Learning Through Mobile Game-Based Learning EnvironmentsAuthor: Palomo Duarte, Manuel / Berns, Anke / Cejas, Alberto / Dodero Beardo, Juan Manuel / Caballero, Juan Antonio / Ruiz-Rube, IvánLanguage: InglésRepository: 30Subject: APPs / Foreign Languages / Gamification / MALL / Peer-Assessment
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