Securing the System: Formal Methods for Error-Free Software 1
bokomslag Securing the System: Formal Methods for Error-Free Software
Data & IT

Securing the System: Formal Methods for Error-Free Software

Naviya

Häftad

419:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 120 sidor
  • 2024
  • Författare: Naviya
  • Format: Häftad
  • ISBN: 9783384267894
  • Språk: Engelska
  • Antal sidor: 120
  • Utgivningsdatum: 2024-06-01
  • Förlag: Tredition Gmbh

Du kanske gillar

  1. bokomslag Error-Free Polynomial Matrix Computations

    Error-Free Polynomial Matrix Computat...

    E V Krishnamurthy

    Pocket

    769:-
  2. bokomslag Robust and Error-Free Geometric Computing

    Robust and Error-Free Geometric Compu...

    Dave Eberly

    Pocket

    909:-
  3. bokomslag Robust and Error-Free Geometric Computing

    Robust and Error-Free Geometric Compu...

    Dave Eberly

    Inbunden

    2099:-
  4. bokomslag The A-Z of Error-Free Research

    The A-Z of Error-Free Research

    Phillip I Good

    Inbunden

    2759:-
  5. bokomslag The A-Z of Error-Free Research

    The A-Z of Error-Free Research

    Phillip I Good

    Pocket

    1119:-
  6. bokomslag Methods and Applications of Error-Free Computation

    Methods and Applications of Error-Fre...

    E V Krishnamurthy R T Gregory

    Pocket

    769:-
  7. bokomslag From Task Selection to Student Engagement: A Look at High School Math Instruction

    From Task Selection to Student Engage...

    Naviya

    Häftad

    409:-
  8. bokomslag The Enduring Sheng: A Journey Through Innovation and Tradition

    The Enduring Sheng: A Journey Through...

    Naviya

    Häftad

    409:-
  9. bokomslag Building a Better Tomorrow: Tackling Housing Deficits in the Global South

    Building a Better Tomorrow: Tackling ...

    Naviya

    Häftad

    379:-
  10. bokomslag Bridging the Gap: Addressing Heterogeneity in Local Models for Enhanced Multiparty Learning

    Bridging the Gap: Addressing Heteroge...

    Naviya

    Häftad

    379:-

Andra av samma författare

  1. bokomslag Bridging the Gap: Addressing Heterogeneity in Local Models for Enhanced Multiparty Learning

    Bridging the Gap: Addressing Heteroge...

    Naviya

    Häftad

    379:-
  2. bokomslag Building a Better Tomorrow: Tackling Housing Deficits in the Global South

    Building a Better Tomorrow: Tackling ...

    Naviya

    Häftad

    379:-
  3. bokomslag The Enduring Sheng: A Journey Through Innovation and Tradition

    The Enduring Sheng: A Journey Through...

    Naviya

    Häftad

    409:-
  4. bokomslag From Task Selection to Student Engagement: A Look at High School Math Instruction

    From Task Selection to Student Engage...

    Naviya

    Häftad

    409:-
  5. bokomslag Investing in Health: Building a Stronger Public Healthcare System in India

    Investing in Health: Building a Stron...

    Naviya

    Häftad

    429:-
  6. bokomslag From Shockwaves to Cavitation: The Wild Ride of Multi-Phase Flows

    From Shockwaves to Cavitation: The Wi...

    Naviya

    Häftad

    419:-
  7. bokomslag High Strain, High Stress: The Challenge of Modeling Cavitation in Biomechanics

    High Strain, High Stress: The Challen...

    Naviya

    Häftad

    369:-