1. RODNA

Buscar por Autor Baum, Gabriel Alfredo

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:


Mostrando resultados 1 a 18 de 18
Fecha de publicaciónTítulo???itemlist.dc.creator.*??????itemlist.dc.provenance???
1998Aplicación de técnicas evolutivas para el problema de plegado de proteínasPelta, David Alejandro; Oña, Pablo DanielSEDICI
1998Concurrencia tradicional en programación funcionalMocciola, Pablo AndrésSEDICI
2003Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipadosBadenes, HernánSEDICI
2006Diagramática: una formalización para la construcción de lenguajes visualesRepond, Federico C.SEDICI
1999Documentación y evolución de componentes reusables : Contratos de reuso con semántica de comportamientoGiandini, Roxana SilviaSEDICI
1996"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportóMartínez López, Pablo E.SEDICI
oct-2000Formalizing relations between use cases in the unified modeling languageGiandini, Roxana Silvia; Baum, Gabriel Alfredo; Pons, Claudia FabianaComisión de Investigaciones Científicas
1997Heurística para TSP-2d euclideo y simétrico basadas en la triangulación de Delaunay y sus subgrafosKrasnogor, NatalioSEDICI
may-2000Integrating object-oriented modeling techniques with formal specification techniquesBaum, Gabriel Alfredo; Felder, Miguel; Kutsche, Ralf-Detlef; Busse, Susanne; Pons, Claudia FabianaComisión de Investigaciones Científicas
2009Lógica de pruebas para certificación de computación móvilFeller, FedericoSEDICI
1998Menos es más : Una formalización minimalista de la orientación a objetosArgarañaz, Verónica; Romero, Natalia; Presso, María JoséSEDICI
1998Modelización de campos continuos en sistemas de información geográficaGordillo, Silvia EthelSEDICI
2003Obteniendo eficiencia y legibilidad en programas generados automáticamenteCanal, Esteban de laSEDICI
1996Sobre la representación de S4.3Bonelli, Eduardo; Menni, MatíasSEDICI
2001Un enfoque ecléctico para la implementación de estructuras de datosPedemonte, Pablo J.SEDICI
2003Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridadValente, AbelSEDICI
1999Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelosPons, Claudia FabianaComisión de Investigaciones Científicas
1999Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelosPons, ClaudiaSEDICI
Mostrando resultados 1 a 18 de 18