Mostrando 881 - 900 Resultados de 13,561 Para Buscar '".uk"', tiempo de consulta: 0.13s Limitar resultados
  1. 881
  2. 882
    Publicado 1996
    Libro
  3. 883
  4. 884
  5. 885
  6. 886
    Publicado 2018
    “…This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. …”
    Libro electrónico
  7. 887
    Publicado 2018
    “…This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. …”
    Libro electrónico
  8. 888
    Publicado 2018
    Libro electrónico
  9. 889
    Publicado 2015
    Libro
  10. 890
    Publicado 2022
    Libro
  11. 891
  12. 892
    Publicado 2006
    Materias:
    Libro electrónico
  13. 893
    Publicado 2014
    Materias:
    Libro electrónico
  14. 894
    Publicado 2002
    Materias:
    Libro electrónico
  15. 895
    Materias:
    Libro electrónico
  16. 896
  17. 897
    Publicado 2008
    DVD
  18. 898
  19. 899
    Publicado 2011
    Accés llire
    Libro electrónico
  20. 900
    Publicado 2020
    Libro electrónico