Arama Sonuçları - Drechsler, Rolf

  • Gösterilen 1 - 8 sonuçlar arası kayıtlar. 8
Sonuçları Daraltın
  1. 1
    Reversible and Quantum Circuits Optimization and Complexity Analysis /

    Reversible and Quantum Circuits Optimization and Complexity Analysis / Yazar: Abdessaied, Nabila, Drechsler, Rolf

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2016.
    Full-text access
    e-Kitap
  2. 2
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /

    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test / Yazar: Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2019.
    Full-text access
    e-Kitap
  3. 3
    Exact Design of Digital Microfluidic Biochips

    Exact Design of Digital Microfluidic Biochips Yazar: Keszocze, Oliver, Wille, Robert, Drechsler, Rolf

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2019.
    Full-text access
    e-Kitap
  4. 4
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

    Automatic Methods for the Refinement of System Models From the Specification to the Implementation / Yazar: Seiter, Julia, Wille, Robert, Drechsler, Rolf

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2017.
    Full-text access
    e-Kitap
  5. 5
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Yazar: Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2018.
    Full-text access
    e-Kitap
  6. 6
    Formal System Verification State-of the-Art and Future Trends /

    Formal System Verification State-of the-Art and Future Trends /

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2018.
    Diğer Yazarlar: “…Drechsler, Rolf…”
    Full-text access
    e-Kitap
  7. 7
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2016.
    Diğer Yazarlar: “…Drechsler, Rolf…”
    Full-text access
    e-Kitap
  8. 8
    Advanced Logic Synthesis

    Advanced Logic Synthesis

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2018.
    Diğer Yazarlar:
    Full-text access
    e-Kitap

Arama Araçları: