Resultados de búsqueda - "Lecture notes in computer science"

  1. 21

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  2. 22

    On the move to meaningful internet systems 2007 : OTM 2007 workshops por Meersman, Robert

    Nueva York : Springer, 2007
    “…Lectures notes in computer science…”
    Consultar en el Cátalogo
    Libro
  3. 23
  4. 24
  5. 25
  6. 26
  7. 27
  8. 28
  9. 29
  10. 30
  11. 31
  12. 32
  13. 33
  14. 34
  15. 35
  16. 36
  17. 37
  18. 38
  19. 39
  20. 40