Bokus

Thao Dang – författare

Visar alla böcker från författaren Thao Dang. Handla med fri frakt och snabb leverans.

5 produkter

  1. Thao Dang, Volker Stolz - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

    Av Thao Dang, Volker Stolz

    Häftad, 2022

    747 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022.The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The …

  2. Volker Stolz, Thao Dang - Runtime Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

    Av Volker Stolz, Thao Dang

    E-bok, 2022

    1007 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. …

  3. Oded Maler, Ádám Halász, Thao Dang, Carla Piazza - Hybrid Systems Biology, Häftad. Tillgänglighet: Lägg i varukorg

    Hybrid Systems Biology

    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

    Av Oded Maler, Ádám Halász m. fl.

    Häftad, 2015

    442 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as …

  4. Carla Piazza, Thao Dang, Adam Halasz, Oded Maler - Hybrid Systems Biology, E-bok. Tillgänglighet: Lägg i varukorg

    Hybrid Systems Biology

    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

    Av Carla Piazza, Thao Dang m. fl.

    E-bok, 2015

    571 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as …

  5. Thao Dang - Kontinuierliche Selbstkalibrierung von Stereokameras, Häftad. Tillgänglighet: Lägg i varukorg

    Kontinuierliche Selbstkalibrierung von Stereokameras

    Av Thao Dang

    Häftad, 2014

    514 kr

    Lägg i varukorg