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 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Classification theories of polarized varieties

by Takao Fujita.

Series: London Mathematical Society lecture note series, 155Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, 1990Availability: Items available for loan: Central Library (1)Call number: 516.35-FUJ/CLA.
Lists:

Place hold
No cover image available
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).
Lists:

Place hold
No cover image available
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).
Lists:

Place hold
Introduction to computation and programming using Python : with application to understanding data

by John V. Guttag.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: PHI Learning Pvt. Ltd. 2018Availability: Items available for loan: Central Library (1)Call number: 005.133 GUT(INT).
Lists:

Place hold
Pages
Visitor count :