Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Image from Google Jackets	Automatic Methods for the Refinement of System Models [electronic resource] : From the Specification to the Implementation / by Seiter, Julia [author.] Wille, Robert [author.] Drechsler, Rolf [author.] SpringerLink (Online service) Series: SpringerBriefs in Electrical and Computer Engineering Edition: 1st ed. 2017. Language: ENG Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online resources: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available. Lists: Springer Nature eBooks. Request article Save to lists Add to cart (remove)
	2.	Image from Google Jackets	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [electronic resource] / by Przigoda, Nils [author.] Wille, Robert [author.] Przigoda, Judith [author.] Drechsler, Rolf [author.] SpringerLink (Online service) Edition: 1st ed. 2018. Language: ENG Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available. Lists: Springer Nature eBooks. Request article Save to lists Add to cart (remove)
	3.	Image from Google Jackets	Advanced Logic Synthesis [electronic resource] / by Reis, André Inácio [editor.] Drechsler, Rolf [editor.] SpringerLink (Online service) Edition: 1st ed. 2018. Language: ENG Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available. Lists: Springer Nature eBooks. Request article Save to lists Add to cart (remove)
	4.	Image from Google Jackets	Formal System Verification [electronic resource] : State-of the-Art and Future Trends / by Drechsler, Rolf [editor.] SpringerLink (Online service) Edition: 1st ed. 2018. Language: ENG Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available. Lists: Springer Nature eBooks. Request article Save to lists Add to cart (remove)

Unique Visitors

hit counter

Total Page Views

free counter

Implemented and Maintained by AIKTC-KRRC (Central Library).
For any Suggestions/Query Contact to library or Email: librarian@aiktc.ac.in | Ph:+91 22 27481247
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.