Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Azadeh Farzan
    Springer International Publishing, Springer International Publishing
    14.07.2016

    The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Inter...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Azadeh Farzan
    Springer International Publishing, Springer International Publishing
    14.07.2016

    The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereedproceedings of the 28th Intern...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Neurosymbolic Programming Neurosymbolic Programming

    Neurosymbolic Programming

    Swarat Chaudhuri
    Now Publishers Inc
    09.12.2021

    Neurosymbolic programming is an emerging area that bridges the areas of deep learning and program...

    Taschenbuch
    80,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. NASA Formal Methods NASA Formal Methods

    NASA Formal Methods

    Swarat Chaudhuri
    Springer Nature Switzerland, Springer Nature Switzerland
    03.06.2023

    This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods,...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1