|
|
|
Formal Specification Level [electronic resource] : Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.
by Soeken, Mathias [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Modeling and Verification of Cyber-Physical Systems [electronic resource] : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / edited by Rolf Drechsler, Ulrich K�uhne.
by Drechsler, Rolf [editor.] | K�uhne, Ulrich [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015Online 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). Source: Springer eBooksMaterial 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
|
|
|
|
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
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi.
by Rothlauf, Franz [editor.] | Branke, Jürgen [editor.] | Cagnoni, Stefano [editor.] | Costa, Ernesto [editor.] | Cotta, Carlos [editor.] | Drechsler, Rolf [editor.] | Lutton, Evelyne [editor.] | Machado, Penousal [editor.] | Moore, Jason H [editor.] | Romero, Juan [editor.] | Smith, George D [editor.] | Squillero, Giovanni [editor.] | Takagi, Hideyuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
