Web OPAC

Your search returned 57 results.

Results
	41.	Formal methods for industrial critical systems : a survey of applications edited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany. by Gnesi, Stefania Margaria, Tiziana Publication details: Hoboken, New Jersey : John Wiley & Sons, 2013 Online resources: Publisher description Contributor biographical information Table of contents only Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.0151 G53F. Add to cart (remove)
	42.	Automata, logics, and infinite games Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Publication details: New York : Springer, 2002 Online resources: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004 G75A. Add to cart (remove)
	43.	Lectures in game theory for computer scientists edited by Krzysztof R. Apt and Erich Grädel. by Apt, Krzysztof R Grädel, Erich Publication details: Cambridge : Cambridge University Press, c2011 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.015193 Ap8L. Add to cart (remove)
	44.	Schaum's outline of data structures by Seymour Lipschutz. by Lipschutz, Seymour Series: Schaum's outline series Publication details: Chennai : McGraw-Hill Education (India), 2019 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 005.2 L66D, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 005.2 L66D, ... Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	45.	Schaum's outline of Data Structure with C by Lipschutz, Seymour Series: Schaum's outline Publication details: Chennai: McGraw Hill Education (India), 2019 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 005.73 L66D, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 005.73 L66D, ... Not available: Central Library, IISER Bhopal: Checked out (1). (1 votes) Add to cart (remove)
	46.	Graph Theory [electronic resource] / by Reinhard Diestel. by Diestel, Reinhard [author.] SpringerLink (Online service) Series: Graduate Texts in Mathematics ; 173 Edition: 5th ed. 2017. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1). Add to cart (remove)
	47.	Graph Theory [electronic resource] / by Reinhard Diestel. by Diestel, Reinhard [author.] SpringerLink (Online service) Series: Graduate Texts in Mathematics ; 173 Edition: 5th ed. 2017. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1). Add to cart (remove)
	48.	Neuro-dynamic programming Dimitri P. Bertsekas and John N. Tsitsiklis. by Bertsekas, Dimitri P Tsitsiklis, John N Series: Optimization and neural computation series Publication details: Belmont, Mass. : Athena Scientific, c1996 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 519.703 B462N. Add to cart (remove)
	49.	No cover image available Deep learning : a visual approach Andrew Glassner. by Glassner, Andrew Publication details: San Francisco: No Starch Press, 2021 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.31 G549D. Add to cart (remove)
	50.	Asymptopia Joel Spencer with Laura Florescu. by Spencer, Joel H Florescu, Laura Series: Student mathematical library ; volume 71 Publication details: Providence: American Mathematical Society, 2017 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.4 Sp33A. Add to cart (remove)
	51.	Deep Learning in Natural Language Processing edited by Li Deng, Yang Liu. by Deng, Li [editor.] Liu, Yang [editor.] Edition: 1st ed. 2018. Publication details: Singapore: Springer-Nature, 2018 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 006.3 D41D, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.3 D41D. Add to cart (remove)
	52.	Biomedical natural language processing Kevin Bretonnel Cohen, University of Colorado, School of Medicine ; Dina Demner-Fushman, National Library of Medicine. by Cohen, Kevin Bretonnel Demner-Fushman, Dina Series: Natural Language Processing (NLP) ; volume 11 Publication details: Amsterdam: John Benjamins Publishing Company, 2014 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 006.35 C660B, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.35 C660B. Add to cart (remove)
	53.	Handbook of Biometric Anti-Spoofing : Presentation Attack Detection edited by Sébastien Marcel, Mark S. Nixon, Julian Fierrez, Nicholas Evans. by Marcel, Sébastien [editor.] Fierrez, Julian [editor.] Evans, Nicholas [editor.] Series: Advances in Computer Vision and Pattern Recognition Edition: 3rd ed. Publication details: Singapore: Springer-Nature, 2019 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 004.24 M331H3. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.24 M331H3. Add to cart (remove)
	54.	Discrete mathematics and its applications Kenneth H. Rosen. by Rosen, Kenneth H Edition: 8th ed. Publication details: Chennai : McGraw-Hill Education, 2024 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 511.11 R722D8, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 511.11 R722D8, ... (2 votes) Add to cart (remove)
	55.	Programming in ANSI C E Balagurusamy. by Balagurusamy, E Edition: 9th ed. Publication details: Chennai : Mcgraw-Hill Education (India) Pvt. Ltd., 2024 Availability: Items available for loan: Central Library, IISER Bhopal (10)Call number: 005.133 B181P9, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (5)Call number: 005.133 B181P9, ... Add to cart (remove)
	56.	Cryptography and secure communication / Richard E. Blahut. by Blahut, Richard E Publication details: Cambridge: Cambridge University Press, 2014 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.82 B57C. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	57.	Topological quantum / Steven H. Simon, Rudolf Peierls Centre for Theoretical Physics, University of Oxford. by Simon, Steven H Publication details: Oxford: Oxford University Press, 2023 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 530 Si6T. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in