Web OPAC

Your search returned 4 results.

Results
	1.	Bioinformatics for dummies Jean-Michel Claverie and Cedric Notredame. by Claverie, Jean-Michel Notredame, Cedric Edition: 2nd ed. Publication details: Hoboken : Wiley, 2007 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (3)Call number: 572.80285 C57B2, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 572.80285 C57B2. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	2.	25 years of model checking : history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.). by Grumberg, Orna Veith, Helmut Series: Lecture notes in computer science ; 5000. \| Lecture notes in computer science. Festschrift. Publisher number: 12326419 Publication details: Berlin : Springer, 2008 Online resources: Table of contents Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.1 Y32. Add to cart (remove)
	3.	Quantum information processing, quantum computing, and quantum error correction : an engineering approach / Ivan B. Djordjevic. by Djordjevic, Ivan [author.] Edition: Second edition. Publisher: London, United Kingdom ; San Diego, CA, United States : Academic Press is an imprint of Elsevier, [2021] Availability: No items available. Add to cart (remove)
	4.	Quantum information processing, quantum computing, and quantum error correction : an engineering approach Ivan B. Djordjevic. by Djordjevic, Ivan Edition: Second edition. Publication details: London: Academic Press, 2021 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 537.5 D649Q2. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 537.5 D649Q2. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in