Mostrando 1 - 8 Resultados de 8 Para Buscar '' Limitar resultados
  1. 1
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia Libro
    Agregar a favoritos
    Guardado en:
    Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
  2. 2
    Publicado 2008
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /
  3. 3
    Publicado 2009
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Computer performance evaluation and benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings /
  4. 4
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Computer safety, reliability, and security 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
  5. 5
    Publicado 2005
    Connect to electronic version
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Dependable computing EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /
  6. 6
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Dependable computing second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /
  7. 7
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Dependable computing third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings /
  8. 8
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Power-aware computer systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004 : revised selected papers /

Herramientas de búsqueda: