Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	"Languages, Design Methods, and Tools for Electronic System Design" by "Rolf Drechsler, Robert Wille" Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)
	2.	Reversible and Quantum Circuits by "Nabila Abdessaied, Rolf Drechsler" Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)
	3.	Automatic Methods for the Refinement of System Models by "Julia Seiter, Robert Wille, Rolf Drechsler" Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)
	4.	Formal System Verification by Rolf Drechsler Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2018 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)
	5.	Advanced Logic Synthesis by "Andr� In�cio Reis, Rolf Drechsler" Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2018 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)
	6.	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by "Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler" Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer ; 2018 Online resources: Click here to access online Availability: Items available for loan: VIT-AP (1). Add to cart (remove)

Visitor Number:

Powered by Koha