Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Results
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC).

Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC).

Algorithms for interviews : a problem solving approach

by Adnan Aziz | Amit Prakash.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: algorithmsforinterviews.com 2010Availability: Items available for loan: Central Library (1)Call number: 005.1 AZI(ALG).

Beyond worst-case analysis of algorithms

by Tim Roughgarden (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2021Availability: Items available for loan: Central Library (1)Call number: 005.13 BEY.

Learning algorithms : a programmer's guide to writing better code

by George T. Heineman.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Shroff Publishers & Distributors Pvt. Ltd. and O'reilly 2021Availability: Items available for loan: Central Library (1)Call number: 005.13 HEI(LEA).

Introduction to algorithms

by Thomas H. Cormen | Charles Eric Leiserson | Ronald L Rivest | Clifford Stein.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Massachusett The MIT Press 2022Availability: Not available: Central Library: Checked out (1).

Pages
Visitor count :