Items de ésta Colección (Ordenados por Fecha Publicación en orden Descendente): 21 al 40 de 184

Fecha de publicación	Título	Autor(es)
2014	Formalizing alternating-time temporal logic in the coq proof assistant	Luna, Carlos; Sierra, Luis; Zanarini, Dante
2013	Descripción y análisis del modelo de seguridad de Android	Romano, Agustín; Luna, Carlos
2013	Conceptos de ingeniería de software empírica :versión 2.0	Apa, Cecilia; De León, Stephanie; Moreno, Silvana; Robaina, Rosana; Vallespir, Diego
2013	Optimal design of an IP/MPLS over DWDM network	Canale, Eduardo; Risso, Claudio; Robledo, Franco
2013	Institution-based semantics for MOF and QVT-relations :Extended version	Calegari, Daniel; Szasz, Nora
2013	Systematic literatura review of PSP adaptations	Moreno, Silvana; Tasistro, Alvaro; Vallespir, Diego
2013	Matemática y programación	da Rosa, Sylvia; Vuan, Franco; Langon, Luis; Carrión, María Teresita; Añón, Patricia; Martorell, Santiago; Vigo, Santiago; Pérez, Teresa; Pagés, Daniela
2012	The complexity of the K-reliability in networks constrained to diameter two	Canale, Eduardo; Cancela, Héctor; Robledo, Franco; Sartor, Pablo
2012	Optimal design of a Multi-Layer Network :An IP/MPLS over DWDMapplication case	Risso, Claudio; Robledo, Franco
2012	Bounded Monte Carlo estimation of diameter-constrained network reliability	Cancela, Héctor; Robledo, Franco; Rubino, Gerardo; Sartor, Pablo
2012	Modelado estocástico múltiple etapa de adquisición de combustible para la generación de electricidad bajo demanda incierta	Testuri, Carlos E; Zimberg, Bernardo; Ferrari, Germán
2012	Modelos de memoria en entornos de virtualización	Chimento, Jesús Mauricio Martín; Luna, Carlos; Betarte, Gustavo; Campo, Juan Diego
2012	Verification of model transformations : A survey of the state-of-the-art (Extended version)	Calegari, Daniel; Szasz, Nora
2011	Mujeres e Ingeniería en Computación de la UDELAR, Uruguay :Cambios y permanencias	Tomassini Urti, Cecilia; Urqhuart, María E
2011	Algunas dificultades en el aprendizaje del concepto de variable	Saavedra Ferrari, Juan Francisco; Silveira Lapenne, Adrián Gerardo
2011	Esquema de anotación de expresiones y marcas temporales. Proyecto TEMANTEX	Wonsever, Dina; Malcuori, Marisa; Etcheverry, Mathías
2011	Computación de alto desempeño para la reducción de modelos	Ezzatti Infante, Pablo Maximiliano; Quintana-Ortí, Enrique S; Remón Gómez, Alfredo
2011	An institution for UML 2.0 state machines	Calegari García, Daniel; Szasz, Nora
2011	Web services geográficos y gobierno electrónico	Sosa, Raquel
2011	Estudio de un modelo hidrodinámico sobre arquitecturas multi-core	Fernández Caggiani, Mariana; Santoro, Pablo; Fossati Piñeyrúa, Mónica; Dufrechou, Ernesto; Ezzatti Infante, Pablo Maximiliano