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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Proof, language, and interaction: essays in honour of Robin Milner

by Gordon Plotkin (ed.) | Colin Stirling (ed.) | Madas Tofte (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The M.I.T. Press 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004 PRO.

Parameterized complexity

by R. G. Downey | M. R. Fellows.

Series: Monographs in computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c1999Availability: Items available for loan: Central Library (1)Call number: 004.01511352 DOW(PAR).

Place hold
The discrepancy method : randomness and complexity

by Bernard Chazelle.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2001Availability: Items available for loan: Central Library (1)Call number: 510 CHA(DIS).

Place hold
P, NP, and NP-Completeness: the basics of Computational Complexity

by Oded Goldreich.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2010Availability: Items available for loan: Central Library (1)Call number: 005.2 GOL(PNP).

Place hold
Algorithmic randomness and complexity

by Rodney G. Downey | Denis R. Hirschfeldt.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2010Availability: Items available for loan: Central Library (1)Call number: 004.015113 DOW(ALG).

Place hold
Finite model theory and its applications

by Erich Gradel | Phokion G. Kolaitis | Leonid Libkin | Maarten Marx | Joel Spencer.

Series: Texts in theoretical computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151134 FIN.

Place hold
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) .

Place hold
Approximation Algorithms and Semidefinite Programming

by Bernd Gartner | Jiří Matoušek.

Series: Edition: 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: 005.1 GAR(APP).

Place hold
Computability and Complexity Theory

by Steven Himer | Alan L. Selman.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2011Availability: Items available for loan: Central Library (1)Call number: 004.01511352 HOM(COM).

Place hold
Sparsity : graphs, structures, and algorithms

by Jaroslav Nešetřil | Patrice Ossona de Mendez.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2012Availability: Items available for loan: Central Library (1)Call number: 004.015116 NES(SPA).

Place hold
Magic Graphs

by Alison M. Marr | W. D. Wallis.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Birkhäuser, Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.015115 MAR(MAG).

Place hold
Modern applications of automata theory

by Deepak D’Souza (ed.) | Priti Shankar (ed.).

Series: IISc research monograph series ; 2Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific 2012Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.0151135 MOD.

Computational topology: an introduction

by Herbert Edelsbrunner | John L. Harer.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: American Mathematical Society 2013Availability: Items available for loan: Central Library (2)Call number: 004.01514 EDE(COM), ...

Place hold
Computational topology: an introduction

by Herbert Edelsbrunner | John L. Harer.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: American Mathematical Society 2013Availability: Items available for loan: Central Library (1)Call number: 514 EDE(COM).

Place hold
Facets of combinatorial optimization : Festschrift for Martin Grötschel

by Michael Jünger (ed.) | Gerhard Reinelt (ed.).

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.0151964 JUN(GRA) .

Place hold
A guide to algorithm design : paradigms, methods, and complexity analysis

by Anne Benoit | Yves Robert | Frédérick Vivien.

Series: Chapman & Hall/CRC applied algorithms and data structures seriesEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press c2014Availability: Items available for loan: Central Library (1)Call number: 005.1 BEN(GUI).

Place hold
Theory of computational complexity

by Ding-Zhu Du | Ker-I Ko.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wiley c2014Availability: Items available for loan: Central Library (1)Call number: 004.01511352 DU(THE).

Place hold
No cover image available
Computational topology: an introduction

by Herbert Edelsbrunner | John L. Harer.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: American Mathematical Society, for University Press c2010Availability: Items available for loan: Central Library (1)Call number: 004.01514 EDE(COM).

Place hold
Logical foundations of mathematics and computational complexity: a gentle introduction

by Pavel Pudlak.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.015113 PUD(LOG).

Place hold
Bounded variable logics and counting : a study in finite models

by Martin Otto.

Series: Lecture notes in logic; 9Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Association for Symbolic Logic c2016Availability: Items available for loan: Central Library (1)Call number: 511.34 OTT(BOU).

Place hold
Pages
Visitor count :