Mostrando 1 - 3 Resultados de 3 Para Buscar 'Leroy, Xavier', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
    por Leroy, Xavier
    Publicado 2019
    Otros Autores: “…Leroy, Xavier…”
    Electrónico
  2. 2
    CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
    por Leroy, Xavier
    Publicado 2015
    Otros Autores: “…Leroy, Xavier…”
    Libro electrónico
  3. 3
    Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    por Jones, Neil D.
    Publicado 2004
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: