IIITB Library

Your cart is empty.

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
High level synthesis: Introduction to chip and system design

by Gajski, D. D.et.all.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York Springer Science 1992Availability: Items available for loan: [Call number: 621.395 GAJ] (1).

Add to cart
Symbolic model checking

by Mcmillan, K L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York Springer Science 1993Availability: Items available for loan: [Call number: 621.392 McM] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha