Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade

Refine your search

Your search returned 381 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Process algebra for parallel and distributed processing

by Michael Alexander (ed.) | William Gardner (ed.).

Series: Chapman & Hall/CRC computational science seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press, 2009Availability: Items available for loan: Central Library (1)Call number: 004.0151 PRO.
Lists:

Place hold
Algorithmic combinatorics on partial words

by Francine Blanchet-Sadri.

Series: Discrete mathematics and its applicationsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Chapman & Hall/CRC, Boca Raton 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 BLA(ALG).
Lists:

Place hold
Inside the object model: the sensible use of C++

by David M. Papurt.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: SIGs Books 1995Availability: Items available for loan: Central Library (1)Call number: 005.117 PAP(INS).
Lists:

Place hold
Inside the object model: the sensible use of C++

by David M. Papurt.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: SIGs Books 1995Availability: Items available for loan: Central Library (1)Call number: 005.117 PAP(INS).
Lists:

Place hold
Data structures and algorithm analysis in C++

by Mark Allen Weiss.

Edition: 3rd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Pearson Education Inc. c2006Availability: Items available for loan: Central Library (3)Call number: 005.73 WEI(DAT), ... Items available for reference: Central Library: Not for loan (1)Call number: 005.73 WEI(DAT).
Lists:

Place hold
From semantics to computer science: essays in honour of Gilles Kahn

by Yves Bertot (ed.) | Gerard Huet (ed.) | Jean-Jacques Levy (ed.) | Gordon Plotkin (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004 SEM.
Lists:

From semantics to computer science: essays in honour of Gilles Kahn

by Yves Bertot (ed.) | Gerard Huet (ed.) | Jean-Jacques Levy (ed.) | Gordon Plotkin (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 004 SEM.
Lists:

Place hold
Discrete structures, logic and computability

by James L. Hein.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bratlett Pub. 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Pattern Calculus: computing with functions and structures

by Barry Jay.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2009Availability: Items available for loan: Central Library (1)Call number: 005.73 JAY(PAT).
Lists:

Place hold
Proof and disproof in formal logic: an introduction for programme

by Richard Bornat.

Series: Oxford texts in logic 2Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press C2005Availability: Items available for loan: Central Library (1)Call number: 004.015113 BOR(PRO).
Lists:

Place hold
A first course in logic: an introduction to model theory, proof theory, computability, and complexity

by Shawn Hedman.

Series: Oxford texts in logic 1Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press c2004Availability: Items available for loan: Central Library (1)Call number: 004.015113 HED(FIR).
Lists:

Place hold
Discrete algorithmic mathematics

by Stephen B Maurer | Anthony Ralston.

Series: Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: A. K. Peters Ltd. c2004Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.0151 MAU(DIS).
Lists:

Cryptographic boolean functions and applications

by Thomas W. Cusick | Pantelimon Stanica.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Academic Press & Elsevier 2009Availability: Items available for loan: Central Library (1)Call number: 005.82 CUS(CRY).
Lists:

Place hold
Agile principles, patterns, and practices in C#

by Robert C. Martin.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: Publication details: Pearson Education Inc. 2007Availability: Items available for loan: Central Library (1)Call number: 005.117 MAR(AGI).
Lists:

Place hold
The art of concurrency

by Clay Breshears.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers 2009Availability: Items available for loan: Central Library (1)Call number: 005.275 BRE(ART).
Lists:

Place hold
Natural language processing with python

by Steven Bird | Ewan Klein | Edward Loper.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers 2009Availability: Items available for loan: Central Library (1)Call number: 006.35 BIR(NAT).
Lists:

Place hold
Real world haskell

by Bryan O'sullivan | John Goerzen | Don Stewart.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers 2008Availability: Items available for loan: Central Library (1)Call number: 005.114 OSU(REA).
Lists:

Place hold
Domain-theoretic foundations of functional programming

by Thomas Streicher.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific c2006Availability: Items available for loan: Central Library (1)Call number: 005.131 STR(DOM).
Lists:

Place hold
Professional linux kernel architecture

by Wolfgang Mauerer.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wiley India c2008Availability: Items available for loan: Central Library (1)Call number: 005.432 MAU(PRO).
Lists:

Place hold
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.
Lists:

Pages
Visitor count :