Rezultaty 1 - 10 Rezultaty od 20 Dla wyszukiwania '"Computer software Verification Congresses."', Czas wyszukiwania: 0,03s Redukuj rezultaty
  1. 1

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

    Wydane 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Elektroniczne Materiały konferencyjne E-book

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
  2. 2

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

    Wydane 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Elektroniczne Materiały konferencyjne

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
  3. 3

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014

    Wydane 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Elektroniczne Materiały konferencyjne Data Set

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014
  4. 4

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

    Wydane 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Elektroniczne Materiały konferencyjne Data Set

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015
  5. 5

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013

    Wydane 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Elektroniczne Materiały konferencyjne E-book

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013
  6. 6

    HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

    Wydane 2014
    Książka

    HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
  7. 7

    HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

    Wydane 2013
    Książka

    HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
  8. 8

    HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts

    Wydane 2012
    Książka

    HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
  9. 9

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

    Wydane 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Elektroniczne Materiały konferencyjne E-book

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
  10. 10

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

    Wydane 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Elektroniczne Materiały konferencyjne

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

Narzędzie wyszukiwania: