অনুসন্ধান ফলাফলগুলি - Drechsler, Rolf

ফলাফল পরিমার্জন করুন
  1. 1

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications অনুযায়ী Goli, Mehran, Drechsler, Rolf

    প্রকাশিত 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  2. 2

    Design for testability, debug and reliability next generation measures using formal techniques অনুযায়ী Huhn, Sebastian, Drechsler, Rolf

    প্রকাশিত 2021
    সম্পূর্ণ পাঠ পাওয়ার জন্য
    সম্পূর্ণ পাঠ পাওয়ার জন্য
    Electronic Resource


    প্রচ্ছদ
  3. 3

    Formal specification level concepts, methods, and algorithms অনুযায়ী Soeken, Mathias, Drechsler, Rolf

    প্রকাশিত 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  4. 4

    In-memory computing synthesis and optimization অনুযায়ী Shirinzadeh, Saeideh, Drechsler, Rolf

    প্রকাশিত 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  5. 5

    Reversible and quantum circuits optimization and complexity analysis অনুযায়ী Abdessaied, Nabila, Drechsler, Rolf

    প্রকাশিত 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  6. 6

    Enhanced virtual prototyping featuring RISC-V case studies অনুযায়ী Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

    প্রকাশিত 2021
    Also available remotely for the University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource


    প্রচ্ছদ
  7. 7

    Automatic methods for the refinement of system models from the specification to the implementation অনুযায়ী Seiter, Julia, Wille, Rober, Drechsler, Rolf

    প্রকাশিত 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  8. 8

    Design automation techniques for approximation circuits verification, synthesis and test অনুযায়ী Chandrasekharan, Arun, Drechsler, Rolf, Grosse, Daniel

    প্রকাশিত 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  9. 9

    Exact design of digital microfluidic biochips অনুযায়ী Keszocze, Oliver, Drechsler, Rolf, Wille, Robert

    প্রকাশিত 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ
  10. 10

    Automated validation & verification of UML/OCL models using satisfiability solvers অনুযায়ী Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    প্রকাশিত 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    প্রচ্ছদ

অনুসন্ধান সাধনীগুলি: