Your search returned 4 results.

Results
	1.	VLSI specification, verification and synthesis ed. by Graham Birtwistle and P. A. Subrahmanyam. by Birtwistle, Graham., ed Subrahmanyam, P. A., ed Series: Kluwer international series in engineering and computer science ; Material type: Book Publication details: Boston Kluwer Academic 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8823.
	2.	Current trends in hardware verification and automated theorem proving ed. by G. Birtwistle and P. A. Subrahmanyam. by Birtwistle, G., ed Subrahmanyam, P. A., ed Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N89.
	3.	No cover image available Avadhuta leela life history of bhagawan Sri Venkaiah Swamy by E. Bharadwaja Guru ; collected by P. Subbramaiah ; edited by P.V. Subrahmanyam by Bharadwaja Guru, E Subbramaiah, P., col Subrahmanyam, P.V., ed Material type: Book Publication details: Golagamudi Sri Swami Krupa Publication 2002 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 128.1092 P02. Place hold
	4.	No cover image available Avadhuta Leela Life history of Bhagavan Venkaiah Swamy by P Subbaramaiah by Subrahmanyam, P Subrahmanyam, M A., ed Material type: Book Publication details: Andhra Pradesh Sri Swamy Krupa Publication; 2002 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 128.1092 P021. Place hold

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha