প্রদর্শন 1 - 10 ফলাফল এর 16 অনুসন্ধানের জন্য 'Drechsler, Rolf', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Recent findings in Boolean techniques selected papers from the 14th International Workshop on Boolean Problems

    প্রকাশিত 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

    Recent findings in Boolean techniques selected papers from the 14th International Workshop on Boolean Problems
  2. 2

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

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

    Design for testability, debug and reliability next generation measures using formal techniques
  3. 3

    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

    Enhanced virtual prototyping featuring RISC-V case studies
  4. 4

    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems

    প্রকাশিত 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

    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems
  5. 5

    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

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications
  6. 6

    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

    In-memory computing synthesis and optimization
  7. 7

    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

    Design automation techniques for approximation circuits verification, synthesis and test
  8. 8

    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

    Exact design of digital microfluidic biochips
  9. 9

    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

    Automated validation & verification of UML/OCL models using satisfiability solvers
  10. 10

    Formal system verification state-of-the-art and future trends

    প্রকাশিত 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

    Formal system verification state-of-the-art and future trends

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