يعرض 1 - 20 نتائج من 1,190 نتيجة بحث عن '"José MESEGUER"', وقت الاستعلام: 0.69s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Academic Journal
  5. 5
    Academic Journal
  6. 6
    Academic Journal

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 105, Iss Proc. FTSCS 2012, Pp 5-21 (2012)

    وصف الملف: electronic resource

  7. 7
    Academic Journal
  8. 8
    Academic Journal

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 137-157 (2010)

    وصف الملف: electronic resource

  9. 9
    Academic Journal

    المؤلفون: José Meseguer, Mu Sun

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 158-177 (2010)

    وصف الملف: electronic resource

  10. 10
    Academic Journal

    المؤلفون: José Meseguer, Musab AlTurki

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 26-45 (2010)

    وصف الملف: electronic resource

  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13
    Academic Journal
  14. 14
    Electronic Resource

    URL: https://hdl.handle.net/20.500.14352/94853
    info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PGC2018-094905-B-I00/ES/DIGITAL AVATARS: UN FRAMEWORK PARA APLICACIONES DE COMPUTACION SOCIAL COLABORATIVA
    info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS
    info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES
    info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PCI2020-120708-2/ES/FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS
    info:eu-repo/grantAgreeement/Junta de Andalucía//UMA18-FEDERJA-180
    info:eu-repo/grantAgreeement/Generalitat Valenciana//PROMETEO/2019/098
    info:eu-repo/grantAgreeement/U. S. Office of Naval Research//N00014-15-1-2202
    info:eu-repo/grantAgreeement/U. S. Office of Naval Research//N00014-20-1-2644
    info:eu-repo/grantAgreeement/U. S. Office of Naval Research//N0017317-1-G002
    info:eu-repo/grantAgreement/EC/H2020/952215/EU

  15. 15
    Academic Journal
  16. 16
  17. 17
    Academic Journal
  18. 18
    Academic Journal
  19. 19
  20. 20
    Academic Journal