Showing 1 - 20 results of 28 for search '', query time: 0.36s Refine Results
  1. 1
    Higher level hardware synthesis /

    Thesis Book
  2. 2
    VHDL-Synthese : Entwurf digitaler Schaltungen und Systeme /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
    Published 2003

    Conference Proceeding Book
  4. 4
    Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
    Published 1999

    Conference Proceeding Book
  5. 5
    Evolutionary design of intelligent systems in modeling, simulation and control /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Cryptographic hardware and embedded systems - CHES 2010 : 12th international workshop, Santa Barbara, USA, August 17-20,2010 : proceedings /
    Published 2010

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  7. 7
    Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
    Published 2003

    Conference Proceeding Book
  8. 8
    Cryptographic hardware and embedded systems-- CHES 2010 : 12th international workshop, Santa Barbara, USA, August 17-20, 2010 : proceedings /
    Published 2010

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  9. 9
    Embedded processor design challenges : systems, architectures, modeling, and simulation--SAMOS /
    Published 2002

    Book
  10. 10
    Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
    Published 2001

    Conference Proceeding Book
  11. 11
    Cryptographic hardware and embedded systems : CHES 2006 : 8th international workshop, Yokohama, Japan, October 10-13, 2006 : proceedings /
    Published 2006

    Conference Proceeding Book
  12. 12
    Embedded and ubiquitous computing--EUC 2005 : international conference, EUC 2005, Nagasaki, Japan, December 6-9, 2005 : proceedings /
    Published 2005

    Conference Proceeding Book
  13. 13
    Biologically inspired approaches to advanced information technology : proceedings /
    Published 2006

    Conference Proceeding Book
  14. 14
    Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings /
    Published 2004

    Conference Proceeding Book
  15. 15
    Embedded systems design : the ARTIST roadmap for research and development /
    Published 2005

    Book
  16. 16
    Constructive side-channel analysis and secure design : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings /
    Published 2012

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  17. 17
    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
    Published 2004

    Conference Proceeding Book
  18. 18
    Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
    Published 2004

    Conference Proceeding Book
  19. 19
    Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /
    Published 2007

    Conference Proceeding Book
  20. 20
    Biologically inspired approaches to advanced information technology : first international workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004 : revised selected papers /
    Published 2004

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search