Results
Mathematical logic by Ian Chiswel | Wilfrid Hodges.
Series: Oxford texts in logic, 3 Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Oxford University Press, New York, London 2007 Availability: Items available for loan: Central Library (1)Call number: 511.3 CHI(MAT) .
The standard model : a primer by C. P. Burgess | Guy D. Moore.
Series: xv, 542p Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press 2007 Availability: Items available for loan: Central Library (1)Call number: 539.721 BUR(STA) .
Lectures On The Logic Of Computer Programming by Zohar Manna.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Socy.For Indl.& Appld.Maths.SIAM 1980 Availability: Items available for loan: Central Library (1)Call number: 005.1 MAN(LEC) .
Logic, sets, and recursion by Robert L. Causey.
Edition: Second EditionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India, New Delhi. 2010 Availability: Items available for loan: Central Library (1)Call number: 511.3 CAU(LOG) .
A course on mathematical logic by S. M. Srivastava.
Series: Universitext Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer, New York. 2008 Availability: Items available for loan: Central Library (1)Call number: 511.3 SRI(COU) .
Image processing, analysis, and machine vision by Milan Sonka | Vaclav Hlavac | Roger Boyle.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cengage Learning india Pvt. Ltd. 2008 Availability: Items available for loan: Central Library (1)Call number: 006.37 SON(IMA) .
Multiple view geometry in computer vision by Richard Hartley | Andrew Zisserman.
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press 2003 Availability: Items available for loan: Central Library (1)Call number: 006.37 HAR(MUL) .
Learning OpenCV 3 : computer vision in C++ with the OpenCV library by Adrian Kaehler | Gary Bradski.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: O’reilly, Shroff pulishers & distributors pvt. Ltd. 2019 Availability: Items available for loan: Central Library (1)Call number: 006.37 KAE(LEA) .
Machine vision algorithms and applications by Carsten Steger | Markus Ulrich | Christian Wiedemann.
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Wiley-VCH 2018 Availability: Items available for loan: Central Library (1)Call number: 006.37 STE(MAC) .
Synthetic data for deep learning by Sergey I. Nikolenko.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer 2021 Availability: Items available for loan: Central Library (1)Call number: 006.31 NIK(SYN) .