|
|
|
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
|
|
|
|
Designing Droplet Microfluidic Networks [electronic resource] : A Toolbox for Designers / by Andreas Grimmer, Robert Wille.
by Grimmer, Andreas [author.] | Wille, Robert [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
|
|
|
|
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
|
|
|
|
Introducing Design Automation for Quantum Computing [electronic resource] / by Alwin Zulehner, Robert Wille.
by Zulehner, Alwin [author.] | Wille, Robert [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 2016 / edited by Franco Fummi, Robert Wille.
by Fummi, Franco [editor.] | Wille, Robert [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Reversible Computation [electronic resource] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / edited by Alexis De Vos, Robert Wille.
by De Vos, Alexis [editor.] | Wille, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
