Der Perlentaucher unter den Buchläden

Genauer suchen (3 Treffer)
Filter schließen (3 Treffer)

Suchergebnis

  1. Quality-Driven SystemC Design
    eng
    Daniel Große / Rolf Drechsler
    Quality-Driven SystemC Design
    • Springer Nature B.V.
    • 2009
    • Gebunden
    • 192 Seiten
    112,50€

    Etwa 20 Tage

    A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements…
  2. Formal Methods
    eng
    Formal Methods
    State of the Art and New Directions
    • Springer Nature B.V.
    • 2009
    • Gebunden
    • 300 Seiten
    112,50€

    Etwa 20 Tage

  3. Towards Mathematical Philosophy
    eng
    Towards Mathematical Philosophy
    Papers from the Studia Logica conference Trends in Logic IV
    • Springer Nature B.V.
    • 2008
    • Gebunden
    • 360 Seiten
    162,50€

    Etwa 20 Tage