1. Repositori Institucional (O2)

Buscar


Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 20571-20580 de 21983.
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2010-08-15Verification and validation of declarative model-to-model transformations through invariantsCabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid
2008Verification of UML/OCL class diagrams using constraint programmingCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya
2013-06-08Verifying electronic invoices in smartphonesFernández Blanco, Moisés; Universitat Oberta de Catalunya; Serratosa Casanelles, Francesc; Viejo, Alexandre; Castellà-Roca, Jordi
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2017-01-10VerilCIRC Metrics : Metric-aware verification of digital circuitsRubio Manrique, Enric; Universitat Oberta de Catalunya; Viejo, Alexandre; Baneres, David
2019-01Vers el reconeixement dels aprenentatges no formals i informals: un nou model per a Andorra?García López, Enric Manel; Serrano, Ivan; Simó Solsona, Montserrat
2012-01-02Versatile iPad forensic acquisition using the Apple Camera Connection KitArnedo-Moreno, Joan; Gomez-Miralles, Luis
2023-07-28Vertical study of online reputation tools to measure public relations and communication activitysueldo, mariana; Compte-Pujol, Marc; Cuenca-Fontbona, Joan
2023-06-20Vessel detection in Synthetic Aperture Radar images using Faster R-CNN models: Advanced monitoring techniques to improve fisheries managementCarbó Mestre, Pol; Ventura, Carles; Rebrij, Romina
2011-01-16Vestidors nusRobles Expósito, Mireia; Universitat Oberta de Catalunya; Enguix, Begonya

Opciones relacionadas