Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-9 of 9)
Wille, Robert,
1
E-book
2018

Automated validation & verification of UML/OCL models using satisfiability solvers


Przigoda, Nils, author
Cham : Springer, [2018]

Rating:

 
 
2
E-book
2016

Automatic methods for the refinement of system models : from the specification to the implementation


Seiter, Julia, author
Switzerland : Springer, [2016]

Rating:

 
 
3
E-book
2020

Designing droplet microfluidic networks : a toolbox for designers


Grimmer, Andreas
Cham : Springer, 2020

Rating:

 
 
4
E-book
2019

Exact design of digital microfluidic biochips


Keszocze, Oliver, author
Cham, Switzerland : Springer, 2019

Rating:

 
 
5
E-book
2020

Introducing design automation for quantum computing


Zulehner, Alwin


Rating:

 
 
6
E-book
2016

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015


FDL (Conference) (2015 : Barcelona, Spain)
Switzerland : Springer, 2016

Rating:

 
 
7
E-book
2018

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016



Cham : Springer International Publishing : Imprint: Springer, 2018

Rating:

 
 
8
E-book
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:

 
 
9
E-book
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