Roberto di Cosmo

• Artículos de revistas (6)
• Colaboraciones en obras colectivas (1)

• Artículos de revistas

  • Seleccionado

    A modular package manager architecture

    Pietro Abate, Roberto di Cosmo, Ralf Treinen, Stefano Zacchiroli

    Information and software technology, ISSN 0950-5849, Vol. 55, Nº 2, 2013, págs. 459-474

    • Texto completo
    
  • Seleccionado

    Las publicaciones científicas: el papel de los Estados en la era de las TIC

    Roberto di Cosmo

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 181, 2006 (Ejemplar dedicado a: Las licencias de Software Libre y su contexto), págs. 31-35

    • Resumen
    
  • Seleccionado

    A short survey of isomorphisms of types

    Roberto di Cosmo

    Mathematical structures in computer science, ISSN 0960-1295, Vol. 15, Nº 5, 2005, págs. 825-838

    
  • Seleccionado

    Proof nets and explicit substitutions

    Delia Kesner, Roberto di Cosmo, Emmanuel Polonovski

    Mathematical structures in computer science, ISSN 0960-1295, Vol. 13, Nº 3, 2003, págs. 409-450

    
  • Seleccionado

    Eligiendo la herramienta legal correcta para proteger el software

    Roberto di Cosmo

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 163, 2003 (Ejemplar dedicado a: Conocimiento abierto. Open knowledge), págs. 21-23

    • Resumen
    • Texto completo
    
  • Seleccionado

    Trampa en el ciberespacio

    Roberto di Cosmo

    Mientras tanto, ISSN 0210-8259, Nº. 75, 1999 (Ejemplar dedicado a: Por un socialismo factible hoy), págs. 15-38

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Automated synthesis and deployment of cloud applications

    Roberto di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche

    ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering / coord. por Ivica Crnkovic, 2014, ISBN 978-1-4503-3013-, págs. 211-222

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.