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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Mathematical logic

by Ian Chiswel | Wilfrid Hodges.

Series: Oxford texts in logic, 3Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press, New York, London 2007Availability: Items available for loan: Central Library (1)Call number: 511.3 CHI(MAT).
Lists:

Place hold
The standard model : a primer

by C. P. Burgess | Guy D. Moore.

Series: xv, 542pMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 539.721 BUR(STA).
Lists:

Place hold
No cover image available
Lectures On The Logic Of Computer Programming

by Zohar Manna.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Socy.For Indl.& Appld.Maths.SIAM 1980Availability: Items available for loan: Central Library (1)Call number: 005.1 MAN(LEC).
Lists:

Place hold
Logic, sets, and recursion

by Robert L. Causey.

Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India, New Delhi. 2010Availability: Items available for loan: Central Library (1)Call number: 511.3 CAU(LOG).
Lists:

Place hold
Nonstandard logics and nonstandard metrics in physics

by William M. Honig.

Series: K & E series on knots and everything, volume 10Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific, 1995Availability: Items available for loan: Central Library (1)Call number: 530.15 HON(NON).
Lists:

Place hold
A course in mathematical logic for mathematicians

by Yu. I. Manin.

Series: Graduate texts in mathematics, 53Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 511.3 MAN(COU).
Lists:

On group-theoretic decision problems and their classification

by Charles F. Miller, III.

Series: Annals of mathematics studies, 68Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press, 1971Availability: Items available for loan: Central Library (1)Call number: 514.3-MIL/ON.
Lists:

Place hold
A course on mathematical logic

by S. M. Srivastava.

Series: UniversitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Items available for loan: Central Library (1)Call number: 511.3 SRI(COU).
Lists:

Place hold
Image processing, analysis, and machine vision

by Milan Sonka | Vaclav Hlavac | Roger Boyle.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cengage Learning india Pvt. Ltd. 2008Availability: Items available for loan: Central Library (1)Call number: 006.37 SON(IMA).
Lists:

Place hold
Multiple view geometry in computer vision

by Richard Hartley | Andrew Zisserman.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2003Availability: Items available for loan: Central Library (1)Call number: 006.37 HAR(MUL).
Lists:

Place hold
Programming computer vision with Python

by Jan Erik Solem.

Series: Tools and algorithms for analyzing imagesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O’reilly, Shroff pulishers & distributors pvt. Ltd. 2012Availability: Items available for loan: Central Library (1)Call number: 005.133 SOL(PRO).
Lists:

Place hold
Learning OpenCV 3 : computer vision in C++ with the OpenCV library

by Adrian Kaehler | Gary Bradski.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O’reilly, Shroff pulishers & distributors pvt. Ltd. 2019Availability: Items available for loan: Central Library (1)Call number: 006.37 KAE(LEA).
Lists:

Place hold
Machine vision algorithms and applications

by Carsten Steger | Markus Ulrich | Christian Wiedemann.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wiley-VCH 2018Availability: Items available for loan: Central Library (1)Call number: 006.37 STE(MAC).
Lists:

Place hold
Practical machine learning for computer vision : end-to-end machine learning for images

by Valliappa Lakshmanam | Martin Gorner | Ryan Gillard.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Shroff Publishers & Distributors Pvt. Ltd. and O'reilly 2021Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
Computer and machine vision : theory, algorithms, practicalities

by E. R. Davis.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Academic Press 2013Availability: Items available for loan: Central Library (1)Call number: 006.37 DAV(COM).
Lists:

Place hold
Synthetic data for deep learning

by Sergey I. Nikolenko.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2021Availability: Items available for loan: Central Library (1)Call number: 006.31 NIK(SYN).

Place hold
Pages
Visitor count :