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

Not what you expected? Check for suggestions
Sort
Results
Mathematical logic for computer science

by Mordechai Ben-Ari.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT).

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, London 2008Availability: Items available for loan: Central Library (1)Call number: 005.131 SRI(COU).

Algorithms in invariant theory

by Bernd Sturmfels.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer – Wien 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 STU(ALG).

Numerical geometry of non-rigid shapes

by Alexander M. Bronstein | Michael M. Bronstein | Ron Kimmel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Science 2008Availability: Items available for loan: Central Library (1)Call number: 004.01516 BRO(NUM).

An Introduction To Computer Graphics And Creative 3-D Environments

by Barry G. Blundell.

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

Hypercomputation : computing beyond the church-turing barrier

by Apostolos Syropoulos.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 003 SYR(HYP).

Logical and relational learning

by Luc De Raedt.

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

Information retrieval : algorithms and heuristics

by David A. Grossman | Ophir Frieder.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer ( I ) P.Ltd. 2008Availability: Items available for loan: Central Library (1)Call number: 005.74 GRO(INF).

Lattices and ordered sets

by Steven Roman.

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.0151132 ROM(LAT).

Computability of Julia sets

by Mark Braverman | Michael Yampolsky.

Series: Algorithms and computation in mathematics, volume 23Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag, Berlin. 2009Availability: Items available for loan: Central Library (1)Call number: 515.39-BRA/COM.

Geometric Algebra With Applications In Engineering

by Christian Perwass.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer – Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 004.0151 PER(GEO).

Conjugate gradient algorithms in nonconvex optimization

by Radosław Pytlak.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer – Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 004.015181 PYT(RAD).

An introduction to data structures and algorithms

by J.A. Storer.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer – Verlag 2009Availability: Not available: Central Library: Checked out (1).

Genetic algorithms + data structures = evolution programs

by Zbigniew Michalewicz.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer – Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 005.1 MIC(GEN).

Embedded robotics : mobile robot design and applications with embedded systems

by Thomas Braunl.

Edition: Third Edition,Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 629.892 BRA(EMB).

Elementary particles and their interactions : concepts and phenomena : with 36 tables, numerous examples, and 102 problems with selected solutions

by Quang Ho-Kim | Xuan-Yem Pham.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 1998Availability: Items available for loan: Central Library (1)Call number: 539.72 HO(ELE).

Electron emission in heavy ion-atom collisions

by Nikolaus Stolterfoht | R. D. DuBois | R. D. Rivarola.

Series: Springer series on atoms + plasmas, 20Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 1997Availability: Items available for loan: Central Library (1)Call number: 539.757 STO(ELE).

Path player games : analysis and application

by Silvia Schwarze.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Science 2009Availability: Items available for loan: Central Library (1)Call number: 004.015193 SCH(PAT).

Generalized convexity and vector optimization

by Shashi Kant Mishra | Shou-Yang Wang | Kin Keung Lai.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 004.015196 MIS(GEN).

Python Scripting For Computational Science

by Hans Petter Langtangen.

Edition: 3Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 005.133 LAN(PYT).

Pages
Visitor count :