Mostrando 1 - 11 resultados de 11 para a busca '' Refinar Resultados
  1. 1
    Publicado em 2010
    Connect to electronic resource
    Recurso Eletrônico livro eletrônico
    Salvar na lista
    Na minha lista:
    Arithmetic Optimization Techniques for Hardware and Software Design
  2. 2
    por Hillston, J. (Jane), 1963-
    Publicado em 1996
    Connect to electronic resource
    Recurso Eletrônico livro eletrônico
    Salvar na lista
    Na minha lista:
    A Compositional Approach to Performance Modelling
  3. 3
    Publicado em 2008
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /
  4. 4
    Publicado em 2009
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Computer performance evaluation and benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings /
  5. 5
    Publicado em 2006
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Computer safety, reliability, and security 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006 : proceedings /
  6. 6
    Publicado em 2007
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Computer safety, reliability, and security 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
  7. 7
    Publicado em 2005
    Connect to electronic version
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Dependable computing EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /
  8. 8
    Publicado em 2005
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Dependable computing second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /
  9. 9
    Publicado em 2007
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Dependable computing third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings /
  10. 10
    Publicado em 2005
    Connect to electronic resource
    Recurso Eletrônico Anais de Congresso livro eletrônico
    Salvar na lista
    Na minha lista:
    Power-aware computer systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004 : revised selected papers /
  11. 11
    por Ashenden, Peter J.
    Publicado em 2008
    Connect to electronic resource
    Recurso Eletrônico livro eletrônico
    Salvar na lista
    Na minha lista:
    The student's guide to VHDL

Ferramentas de busca: