Erweiterte Suche

Grid  List

  1. The Verification of MDG Algorithms in the HOL Theorem Prover The Verification of MDG Algorithms in the HOL Theorem Prover

    The Verification of MDG Algorithms in the HOL Theorem Prover

    Sa’’ed Abed
    LAP LAMBERT Academic Publishing
    22.05.2010

    Formal verification of digital systems is achieved, today, using one of two main approaches: stat...

    Taschenbuch
    59,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Modeling Approaches and Algorithms for Advanced Computer Applications Modeling Approaches and Algorithms for Advanced Computer Applications

    Modeling Approaches and Algorithms for Advanced Computer Applications

    Abdelmalek Amine
    Springer International Publishing, Springer Nature Switzerland
    07.06.2013

    'During the last decades Computational Intelligence has emerged and showed its contributions in v...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computational Intelligence and Its Applications Computational Intelligence and Its Applications

    Computational Intelligence and Its Applications

    Abdelmalek Amine
    Springer International Publishing, Springer International Publishing
    19.01.2019

    This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on C...

    Taschenbuch
    143,38 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Recent Trends and Future Technology in Applied Intelligence Recent Trends and Future Technology in Applied Intelligence

    Recent Trends and Future Technology in Applied Intelligence

    Malek Mouhoub
    Springer International Publishing, Springer International Publishing
    30.05.2018

    This book constitutes the thoroughly refereed proceedings of the 31st International Conference on...

    Taschenbuch
    113,41 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Network Security Technologies Network Security Technologies

    Network Security Technologies

    Abdelmalek Amine
    Information Science Reference
    11.04.2014

    Recent advances in technologies have created a need for solving security problems in a systematic...

    Gebunden
    217,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Otmane Ait Mohamed
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    30.07.2008

    This volume constitutes the proceedings of the 21st International Conference on Theorem Proving i...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Modeling Approaches and Algorithms for Advanced Computer Applications Modeling Approaches and Algorithms for Advanced Computer Applications

    Modeling Approaches and Algorithms for Advanced Computer Applications

    Abdelmalek Amine
    Springer International Publishing, Springer International Publishing
    24.06.2015

    'During the last decades Computational Intelligence has emerged and showed its contributions in v...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Computational Intelligence and Its Applications Computational Intelligence and Its Applications

    Computational Intelligence and Its Applications

    Abdelmalek Amine
    Springer International Publishing
    12.04.2018

    This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on C...

    Gebunden
    143,38 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1