Skip to contents

  1. Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa

    Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6504

  2. Institute of Electrical and Electronics Engineers, IEEE Computer Society Test Technology Technical Council

    IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 2011 : 5 - 6 June 2011, San Diego Convention Center, California, USA

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Piscataway, NJ: IEEE, 2011

  3. Developments in Tactile Displays (1997 :London, England), Institution of Electrical Engineers Professional Group J1 (Instrumentation and Measurement Systems), Institution of Electrical Engineers Professional Group C5 (Human-Computer Interaction), Institution of Electrical Engineers Computing & Control Division

    Developments in tactile displays

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London: Institution of Electrical Engineers, 1997

  4. Babiceanu, Radu [Editor]; Babiceanu, Radu [Organizer]; Waeselynck, Helene [Editor]; Waeselynck, Helene [Organizer]; Paul, Raymond A. [Editor]; Paul, Raymond A. [Organizer]; Cukic, Bojan [Editor]; Cukic, Bojan [Organizer]; Xu, Jie [Editor]; Xu, Jie [Organizer] ; IEEE International Symposium High Assurance Systems Engineering 17. 2016 Orlando, Fla

    The 17th IEEE International Symposium on High Assurance Systems Engineering : 7-9 January 2016, Orlando, Florida : proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Piscataway, NJ: IEEE, 2016

  5. Paul, Raymond A. [Other]; Xu, Jie [Other] ; International Symposium on High-Assurance Systems Engineering 16. 2015 Daytona Beach, Fla, Institute of Electrical and Electronics Engineers

    IEEE 16th International Symposium on High-Assurance Systems Engineering : HASE 2015 : proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Piscataway, NJ: IEEE, 2015

  6. Agarwal, Ankur [Other] ; Institute of Electrical and Electronics Engineers, IEEE Computer Society

    IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011 : 10 - 12 Nov. 2011, Boca Raton, Florida, USA ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Piscataway, NJ: IEEE, 2011

  7. IEEE International High-Assurance Systems Engineering Symposium 12, 2010, San Jose, Calif, Institute of Electrical and Electronics Engineers

    Proceedings / 2010 IEEE 12th International Symposium on High Assurance Systems Engineering : HASE 2010 ; 3-4 November 2010, San Jose, California, USA

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif.: IEEE Computer Society, 2010

  8. International Symposium on High Assurance Systems Engineering 9 2005 Heidelberg, Institute of Electrical and Electronics Engineers, Friedrich-Alexander-Universität Erlangen-Nürnberg, Technische Universität Darmstadt, IEEE Computer Society

    Ninth IEEE International Symposium on High-Assurance Systems Engineering, 2005 : HASE 2005 ; 12 - 14 Oct. 2005, [Heidelberg, Germany]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos [u.a]: IEEE Computer Society, 2005

  9. Lohn, Jason D. [Other] ; NASA/DoD Conference on Evolvable Hardware (5th :2003 :Chicago, Ill.), Ames Research Center Imformation Sciences and Technology Directorate, Ames Research Center, United States National Aeronautics and Space Administration, United States Department of Defense

    2003 NASA/DoD Conference on Evolvable Hardware : proceedings : 9-11 July, 2003, Chicago, Illinois, USA

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif: IEEE Computer Society, 2003

  10. Stoica, Adrian [Other] ; NASA/DoD Conference on Evolvable Hardware (4th :2002 :Alexandria, Va.), Goddard Space Flight Center, Jet Propulsion Laboratory (U.S.) Center for Integrated Space Microsystems, United States National Aeronautics and Space Administration, United States Defense Advanced Research Projects Agency

    2002 NASA/DoD Conference on Evolvable Hardware : proceedings : 15-18 July, 2002, Alexandria, Virginia

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif: IEEE Computer Society, 2002

  11. Lohn, Jason D. [Other] ; NASA/DOD Workshop on Evolvable Hardware (2nd :2000 :Palo Alto, Calif.), United States National Aeronautics and Space Administration, United States Defense Advanced Research Projects Agency

    Proceedings : the Second NASA/DoD Workshop on Evolvable Hardware : Palo Alto, California, USA, July 13-15, 2000

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif: IEEE Computer Society, 2000

  12. IEEE International Symposium on Hardware Oriented Security and Trust 2016 McLean, Va, Institute of Electrical and Electronics Engineers

    Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) : 3-5 May 2016, The Ritz-Carlton, McLean, VA, USA

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Piscataway, NJ: IEEE, 2016