Deakin University / All Locations

Return to Browse Limit/Sort Search

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-10 of 10)
Wille, Robert,
1 2018 Automated validation & verification of UML/OCL models using satisfiability solvers Przigoda, Nils, author Cham : Springer, [2018] Rating:
2 2016 Automatic methods for the refinement of system models : from the specification to the implementation Seiter, Julia, author Switzerland : Springer, [2016] Rating:
3 2020 Designing droplet microfluidic networks : a toolbox for designers Grimmer, Andreas Cham : Springer, 2020 Rating:
4 2019 Exact design of digital microfluidic biochips Keszocze, Oliver, author Cham, Switzerland : Springer, 2019 Rating:
5 2021 High Performance Simulation for Industrial Paint Shop Applications Verma, Kevin. author. Cham : Springer International Publishing : Imprint: Springer, 2021 Rating:
6 2020 Introducing design automation for quantum computing Zulehner, Alwin Rating:
7 2016 Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 FDL (Conference) (2015 : Barcelona, Spain) Switzerland : Springer, 2016 Rating:
8 2018 Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 Cham : Springer International Publishing : Imprint: Springer, 2018 Rating:
9 2012 Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium) Berlin ; New York : Springer, [2012] Rating:
10 2010 Towards a design flow for reversible logic Wille, Robert. Dordrecht ; New York : Springer, [2010] Rating:
Add Marked to Bag Add All On Page Locate in results

Return to Browse Limit/Sort Search