Polynomial Formal Verification of Arithmetic Circuits 1
bokomslag Polynomial Formal Verification of Arithmetic Circuits
Data & IT

Polynomial Formal Verification of Arithmetic Circuits

Alireza Mahzoon • Rolf Dreschler

Pocket

1049:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 88 sidor
  • 2024
  • Författare: Alireza Mahzoon, Rolf Dreschler
  • Format: Pocket/Paperback
  • ISBN: 9781638284048
  • Språk: Engelska
  • Antal sidor: 88
  • Utgivningsdatum: 2024-09-16
  • Förlag: Now Publishers Inc

Du kanske gillar

  1. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Pocket

    1499:-
  2. bokomslag KI-94: Advances in Artificial Intelligence

    KI-94: Advances in Artificial Intelli...

    Leonie Dreschler-Fischer Bernhard Nebel

    Pocket

    749:-
  3. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Inbunden

    1499:-
  4. bokomslag From CNN to DNN Hardware Accelerators

    From CNN to DNN Hardware Accelerators

    Leonardo Rezende Juracy, Rafael Garibotti, Fernando Gehm Moraes

    Pocket

    1099:-
  5. bokomslag Hardware Software Co-Design of a Multimedia SOC Platform

    Hardware Software Co-Design of a Mult...

    Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu

    Inbunden

    1429:-
  6. bokomslag Formal Verification Of Structurally Complex Multipliers

    Formal Verification Of Structurally C...

    Mahzoon Alireza Mahzoon, Groe Daniel Groe, Drechsler Rolf Drechsler

    Pocket

    849:-
  7. bokomslag Cloud and Edge Computing for Connected and Automated Vehicles

    Cloud and Edge Computing for Connecte...

    Qi Zhu, Bo Yu, Ziran Wang

    Pocket

    1559:-
  8. bokomslag Skärvor av en syster

    Skärvor av en syster

    Sarah Easter Collins

    Pocket

    79:- (125:-)
  9. Ny
    bokomslag Konstiga Sally Diamond

    Konstiga Sally Diamond

    Liz Nugent

    Pocket

    79:- (125:-)
  10. bokomslag Yellowface (svensk utgåva)

    Yellowface (svensk utgåva)

    R F Kuang

    Pocket

    79:- (125:-)

Andra av samma författare

  1. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Inbunden

    1499:-
  2. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Pocket

    1499:-