1 - 10 toradh á dtaispeáint as 66 toradh san iomlán ar an gcuardach '', am iarratais: 0.02s Beachtaigh na torthaí
  1. 1

    Authentication of embedded devices technologies, protocols and emerging applications

    Foilsithe / Cruthaithe 2021
    Also available remotely for the University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource

    Authentication of embedded devices technologies, protocols and emerging applications
  2. 2

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

    Foilsithe / Cruthaithe 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
    Electronic Resource

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

    System Verilog assertions and functional coverage guide to language, methodology and applications de réir Mehta, Ashok B.

    Foilsithe / Cruthaithe 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
    Electronic Resource

    System Verilog assertions and functional coverage guide to language, methodology and applications
  4. 4

    Asynchronous circuit applications

    Foilsithe / Cruthaithe 2019
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Asynchronous circuit applications
  5. 5

    Development and evaluation of a culturally sensitive food frequency questionnaire for the assessment of prebiotic and probiotic intake of urban-living, low-to-medium-income women de réir Bayaga, Cecile Leah T., Gabriel, Alonzo A., Bongga, Demetria C., Pico, Marietoni B., Barrios, Erniel B.

    Foilsithe / Cruthaithe 2019
    Faigh an téacs iomlán
    Analytics

    Development and evaluation of a culturally sensitive food frequency questionnaire for the assessment of prebiotic and probiotic intake of urban-living, low-to-medium-income women
  6. 6

    Formal verification of control system software de réir Garoche, Pierre-Loïc

    Foilsithe / Cruthaithe 2019
    Faigh an téacs iomlán
    Faigh an téacs iomlán
    Electronic Resource

    Formal verification of control system software
  7. 7

    ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies de réir Mehta, Ashok B.

    Foilsithe / Cruthaithe 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
    Electronic Resource

    ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies
  8. 8

    SysML for systems engineering a model-based approach de réir Holt, Jon, Perry, Simon

    Foilsithe / Cruthaithe 2018
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource

    SysML for systems engineering a model-based approach
  9. 9

    Automated validation & verification of UML/OCL models using satisfiability solvers de réir Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Foilsithe / Cruthaithe 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
    Electronic Resource

    Automated validation & verification of UML/OCL models using satisfiability solvers
  10. 10

    Formal system verification state-of-the-art and future trends

    Foilsithe / Cruthaithe 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
    Electronic Resource

    Formal system verification state-of-the-art and future trends

Uirlisí cuardaigh: