Your search returned 18 results.

Results
	1.	Formal System Verification by Rolf Drechsler Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	2.	Advanced Logic Synthesis by André Inácio Reis, Rolf Drechsler Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	3.	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	4.	Exact Design of Digital Microfluidic Biochips by Oliver Keszocze, Robert Wille, Rolf Drechsler Edition: 1st ed. 2019 Language: EN Publication details: Springer International Publishing 2019 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	5.	Design Automation Techniques for Approximation Circuits by Arun Chandrasekharan, Daniel Große, Rolf Drechsler Edition: 1st ed. 2019 Language: EN Publication details: Springer International Publishing 2019 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	6.	Formal Specification Level by Mathias Soeken, Rolf Drechsler Edition: 2015 Language: EN Publication details: Springer International Publishing 2015 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	7.	Formal Modeling and Verification of Cyber-Physical Systems by Rolf Drechsler, Ulrich Kühne Edition: 2015 Language: EN Publication details: Springer Fachmedien Wiesbaden 2015 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	8.	No cover image available Enhanced Virtual Prototyping for Heterogeneous Systems by Muhammad Hassan Daniel Große Rolf Drechsler Edition: 1st ed. 2023 Publication details: 2023 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	9.	No cover image available Formal Verification of Structurally Complex Multipliers by Alireza Mahzoon Daniel Große Rolf Drechsler Edition: 1st ed. 2023 Publication details: 2023 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	10.	No cover image available Advanced Boolean Techniques by Rolf Drechsler Sebastian Huhn Edition: 1st ed. 2023 Publication details: 2023 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	11.	No cover image available Design Automation for Field-coupled Nanotechnologies by Marcel Walter Robert Wille Frank Sill Torres Rolf Drechsler Edition: 1st ed. 2022 Publication details: 2022 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	12.	No cover image available Formal System Verification by Rolf Drechsler Edition: 1st ed. 2018 Publication details: Springer International Publishing 2018 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	13.	No cover image available Advanced Logic Synthesis by André Inácio Reis Rolf Drechsler Edition: 1st ed. 2018 Publication details: Springer International Publishing 2018 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	14.	No cover image available Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda Robert Wille Judith Przigoda Rolf Drechsler Edition: 1st ed. 2018 Publication details: Springer International Publishing 2018 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	15.	No cover image available Exact Design of Digital Microfluidic Biochips by Oliver Keszocze Robert Wille Rolf Drechsler Edition: 1st ed. 2019 Publication details: Springer International Publishing 2019 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	16.	No cover image available Design Automation Techniques for Approximation Circuits by Arun Chandrasekharan Daniel Große Rolf Drechsler Edition: 1st ed. 2019 Publication details: Springer International Publishing 2019 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	17.	Formal Modeling and Verification of Cyber-Physical Systems by Rolf Drechsler, Ulrich Kühne Edition: 2015 Publication details: Springer Fachmedien Wiesbaden 2015 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	18.	Formal Specification Level by Mathias Soeken, Rolf Drechsler Edition: 2015 Publication details: Springer International Publishing 2015 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)

© Designed and Maintained by Vivekananda Library, MDU Rohtak