Your search returned 11 results.

Results
	1.	Advanced formal verification by Drechsler, Rolf Edition: 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: McGraw-Hill Education (India) Limited 2012 Availability: Not available: NMIT: Checked out (1). Place hold Save to lists Add to cart (remove)
	2.	Advanced BDD Optimization by Ebendt, Rüdiger Fey, Görschwin.Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	3.	Applications of Evolutionary Computation by Chio, Cecilia Brabazon, Anthony.Caro, Gianni A.Drechsler, Rolf.Farooq, Muddassar Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	4.	Applications of Evolutionary Computing by Rothlauf, Franz Branke, Jürgen.Cagnoni, Stefano.Corne, David Wolfe.Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	5.	Applications of Evolutionary Computing by Giacobini, Mario Brabazon, Anthony.Cagnoni, Stefano.Caro, Gianni A.Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	6.	Debugging at the Electronic System Level by Rogin, Frank Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	7.	High Quality Test Pattern Generation and Boolean Satisfiability by Eggersglüß, Stephan Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	8.	Quality-Driven SystemC Design by Große, Daniel Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	9.	Robustness and Usability in Modern Design Flows by Fey, Görschwin Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	10.	Test Pattern Generation using Boolean Proof Engines by Drechsler, Rolf Eggersglüβ, Stephan.Fey, Görschwin.Tille, Daniel Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	11.	Towards a Design Flow for Reversible Logic by Wille, Robert Drechsler, Rolf Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)