LIBROS DEL AUTOR: roberto di cosmo

3 resultados para LIBROS DEL AUTOR: roberto di cosmo

roberto di cosmo Eliminar filtro Quitar filtros
  • Open Source Systems
    Alejandra Garrido / Federico Balaguer / Roberto Di Cosmo
    This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (...
    Disponible

    63,30 €

  • Open Source Systems
    Alejandra Garrido / Federico Balaguer / Roberto Di Cosmo
    This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (...
    Disponible

    77,67 €

  • Isomorphisms of Types
    Roberto DiCosmo
    This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human­ centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it...
    Disponible

    66,50 €