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

Not what you expected? Check for suggestions
Sort
Results
Comprehensive mathematics for computer scientists, 1 : sets and numbers, graphs and algebra, logic and machines, linear geometry

by Guerino Mazzola | Gerard Milmeister | Jody Weissmann.

Series: UniversitextEdition: Second Edition Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2006Availability: Items available for loan: Central Library (1)Call number: 511.1 MAZ(COM) V.1.

Logic for applications : second edition

by Anil Nerode | Richard A. Shore.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1997Availability: Items available for loan: Central Library (1)Call number: 005.1015113 NER(LOG).

Computation engineering : applied automata theory and logic

by Ganesh Gopalakrishnan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer Science 2006Availability: Items available for loan: Central Library (1)Call number: 004.0151 GOP(COM).

Computational engineering : introduction to numerical methods

by Michael Schäfer.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2006Availability: Items available for loan: Central Library (1)Call number: 004.0151 SCH(COM).

Sets, logic and maths for computing

by David Makinson.

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.0151 MAK(SET).

Boolean Function Complexity: advances and frontiers

by Stasys Jukna.

Series: Algorithms and Combinatorics, v.27Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2012Availability: Items available for loan: Central Library (1)Call number: 004.01511352 JUK(BOO) .

Computing the continuous discretely : integer-point enumeration in polyhedra

by Matthias Beck | Sinai Robins.

Series: Undergraduate texts in mathematicsEdition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2007Availability: Items available for loan: Central Library (1)Call number: 516.11 BEC(COM).

The discrete math workbook : a companion manual for practical study

by Sergei Kurgalin | Sergei Borzunov.

Series: Texts in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2018Availability: Items available for loan: Central Library (1)Call number: 004.151 KUR(DIS).

3+1 formalism in general relativity : bases of numerical relativity

by Eric Gourgoulhon.

Series: Lecture notes in physics, 846Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag 2012Availability: Items available for reference: Central Library: Not for loan (1)Call number: 530.11 GOU(FOR).

Algorithms and discrete applied mathematics : 7th international conference, CALDAM 2021 Rupnagar, India, February 11-13, 2021 Proceedings

by Apurva Mudgal (ed.) | C. R. Subramanian (ed.).

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: 004.0151 ALG.

A course in commutative algebra

by Gregor Kemper.

Series: Graduate texts in Mathematics, 256Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer - Verlag 2011Availability: Items available for loan: Central Library (1)Call number: 512.44 KEM(COU).

Deep learning architectures : a mathematical approach

by Ovidiu Calin.

Series: Springer series in the data sciencesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2020Availability: Items available for loan: Central Library (1)Call number: 006.310151 CAL(DEE).

Learning MATLAB : a problem solving approach

by Walter Gander.

Series: UnitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer International Publishing 2015Availability: Not available: Central Library: Checked out (1).

Concise guide to quantum computing : algorithms, exercises, and implementations

by Sergei Kurgalin | Sergei Borzunov.

Series: Textx in Computer ScienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021Availability: Items available for loan: Central Library (1)Call number: 004.0151 KUR(CON).

Mathematical foundations for data analysis

by Jeff M. Phillips.

Series: Springer series in the data scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021Availability: Items available for loan: Central Library (1)Call number: 006.3120151 PHI(MAT).

An Invitation to Analytic Combinatorics : from One to Several Variables

by Stephen Melczer.

Series: Texts & Monographs in Symbolic Computation - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021Availability: Items available for loan: Central Library (1)Call number: 511.6 MEL(INV).

Mathematical foundations for data analysis

by Jeff M. Phillips.

Series: Springer series in the data scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021Availability: Items available for loan: Central Library (1)Call number: 006.3120151 PHI(MAT).

Pages
Visitor count :