|
|
|
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems
by Drechsler, Rolf | Soeken, Mathias. Publisher: Switzerland Springer 2020Availability: Items available for loan:
[Call number: 511.324 D76A]
(1).
|
|
|
|
Advanced Boolean Techniques [electronic resource] : Selected Papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken.
by Drechsler, Rolf [editor.] | Soeken, Mathias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Analysis of Virtual Prototypes at the Electronic System Level [electronic resource] : Design Understanding and Applications / by Mehran Goli, Rolf Drechsler.
by Goli, Mehran [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Exact Design of Digital Microfluidic Biochips [electronic resource] / by Oliver Keszocze, Robert Wille, Rolf Drechsler.
by Keszocze, Oliver [author.] | Wille, Robert [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
In-Memory Computing [electronic resource] : Synthesis and Optimization / by Saeideh Shirinzadeh, Rolf Drechsler.
by Shirinzadeh, Saeideh [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Languages, Design Methods, and Tools for Electronic System Design [electronic resource] : Selected Contributions from FDL 2015 / edited by Rolf Drechsler, Robert Wille.
by Drechsler, Rolf [editor.] | Wille, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Design Automation Techniques for Approximation Circuits [electronic resource] : Verification, Synthesis and Test / by Arun Chandrasekharan, Daniel Große, Rolf Drechsler.
by Chandrasekharan, Arun [author.] | Große, Daniel [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Enhanced Virtual Prototyping [electronic resource] : Featuring RISC-V Case Studies / by Vladimir Herdt, Daniel Große, Rolf Drechsler.
by Herdt, Vladimir [author.] | Große, Daniel [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Design for Testability, Debug and Reliability [electronic resource] : Next Generation Measures Using Formal Techniques / by Sebastian Huhn, Rolf Drechsler.
by Huhn, Sebastian [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Findings in Boolean Techniques [electronic resource] : Selected Papers from the 14th International Workshop on Boolean Problems / edited by Rolf Drechsler, Daniel Große.
by Drechsler, Rolf [editor.] | Große, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [electronic resource] / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
by Przigoda, Nils [author.] | Wille, Robert [author.] | Przigoda, Judith [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Formal System Verification [electronic resource] : State-of the-Art and Future Trends / edited by Rolf Drechsler.
by Drechsler, Rolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Logic Synthesis [electronic resource] / edited by André Inácio Reis, Rolf Drechsler.
by Reis, André Inácio [editor.] | Drechsler, Rolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Reversible and Quantum Circuits [electronic resource] : Optimization and Complexity Analysis / by Nabila Abdessaied, Rolf Drechsler.
by Abdessaied, Nabila [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Automatic Methods for the Refinement of System Models [electronic resource] : From the Specification to the Implementation / by Julia Seiter, Robert Wille, Rolf Drechsler.
by Seiter, Julia [author.] | Wille, Robert [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
