Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar. by
  • Seligman, Erik
  • Schubert, E. Thomas
  • Kumar, M. V. Achutha Kiran
  • [author.]
  • , 1959- [author.]
  • [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: Amsterdam ; Boston : Elsevier/MK, Morgan Kaufmann is an imprint of Elsevier, [2015]Copyright date: ©2015
Other title:
  • Essential toolkit for modern VLSI design
  • Essential toolkit for modern very large-scale integration design
Availability: Not available: IIITDM Kurnool: Checked out (1).

Distributed and Cloud Computing from Parallel Processing to the Internet of Things Kai Hwang, Geoffrey C. Fox, Jack J. Dongarra. by
  • Hwang Kai
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: MK 2012
Availability: Items available for loan: IIITDM Kurnool (2)Call number: 004.678 KAI, ...

Parallel Programming Concepts and Practice Bertil Schmidt, Jorge Álvaro Gonzalez-Martinez, Christian Hundt, Moritz Schlarb by
  • Schmidt, Bertil
Edition: 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: US MK 2018
Availability: Items available for loan: IIITDM Kurnool (9)Call number: 005.2 SCH, ... Items available for reference: IIITDM Kurnool: Not For Loan (1)Call number: 005.2 SCH.

Pages
LIBRARY HOURS
Mon - Sat : 9:00 AM - 5.30 PM
Library will remain closed on public holidays
Contact Us

Librarian
Central Libray
Indian Institute of Information Technology Design and Manufacturing Kurnool
Andhra Pradesh - 518 007

Library Email ID: library@iiitk.ac.in

Copyright @ Central Library | IIITDM Kurnool

Powered by Koha