Web OPAC

Your search returned 52 results.

Results
	41.	Deductive logic / Warren Goldfarb. by Goldfarb, Warren D Publication details: Indianapolis, IN : Hackett Pub., c2003 Availability: No items available. Add to cart (remove)
	42.	Fundamentals of digital logic with Verilog design Stephen Brown and Zvonko Vranesic. by Brown, Stephen Vranesic, Zvonko Edition: 2nd ed. Publication details: Chennai: McGraw-Hill Higher Education, 2019 Online resources: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: Central Library, IISER Bhopal (3)Call number: 621.395 B815F2, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 621.395 B815F2, ... Add to cart (remove)
	43.	Process mining : Data science in action by Wil M. P. van der Aalst. by Aalst, Wil van der Edition: 2nd ed. Publication details: Berlin: Spinger-Verlag, 2016 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	44.	No cover image available Mathematical logic through Python Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. by Gonczarowski, Yannai A [author.] Nisan, Noam [author.] Publication details: Cambridge: Cambridge University Press, 2022 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	45.	Digital design : with an introduction to the verilog HDL, VHDL, and system Verilog M. Morris Mano, Emeritus Professor of Computer Engineering, California State University, Los Angeles, Michael D. Ciletti, Emeritus Professor of Electrical and Computer Engineering, University of Colorado at Colorado Springs. by Mano, M. Morris Ciletti, Michael D Edition: Sixth edition. Publication details: Chennai: Pearson India Educations, 2024 Availability: Items available for loan: Central Library, IISER Bhopal (5)Call number: 621.395 M317D6, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 621.395 M317D6, ... Add to cart (remove)
	46.	Schaum's outline of Discrete mathematics by Lipschutz, Seymour Lipson, Marc Lars Series: Schaum's outlines Series \| Schaum's outline series Edition: 4th ed. Publication details: New York : McGraw-Hill, 2022 Online resources: Publisher description Availability: Items available for loan: Central Library, IISER Bhopal (3)Call number: 510 L66D4, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 510 L66D4. Add to cart (remove)
	47.	An invitation to applied category theory : seven sketches in compositionality Brendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology). by Fong, Brendan Spivak, David I Publication details: Cambridge: Cambridge University Press, 2021 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 512.62 F732I. Add to cart (remove)
	48.	How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts). by Velleman, Daniel J Edition: Third edition. Publication details: Cambridge: Cambridge University Press, 2023 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 V54H3. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.3 V54H3. Add to cart (remove)
	49.	Verilog HDL design examples / Joseph Cavanagh. by Cavanagh, Joseph Publication details: Boca Raton: CRC Press, 2018 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 621.381 C314V. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 621.381 C314V. Add to cart (remove)
	50.	Digital design and computer architecture / David Money Harris, Sarah L. Harris. by Harris, David Money Harris, Sarah L Edition: Second edition. Publisher: Amsterdam : Elsevier, [2013] Availability: No items available. Add to cart (remove)
	51.	Fundamentals of logic design / Charles H. Roth, Jr., University of Texas at Austin, Larry L. Kinney, University of Minnesota, Twin Cities. by Roth, Charles H Kinney, Larry L Edition: 7th ed. Publication details: Delhi: Cengage Learning India Pvt. Ltd., 2024 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (4)Call number: 621.395 R742F7, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 621.395 R742F7. Add to cart (remove)
	52.	Art of logic: Eugenia Cheng. How to make sense in a world that doesn't by Cheng, Eugenia Publication details: London: Profile Books Ltd., 2019 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 C421A. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in