Результаты поиска - 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


    Значок книги

Инструменты поиска: