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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The structure of typed pogramming languages

by David A. Schmidt.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.131 SCH(STR).

Place hold
The reasoned scheme

by Daniel P. Friedman | William E. Byrd | Oleg Kiselyov.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.133 FRI(REA).

Place hold
The reasoned scheme

by Daniel P. Friedman | William E. Byrd | Oleg Kiselyov.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.133 FRI(REA).

Place hold
Algebraic semantics of imperative programs

by Joseph A. Goguen | Grant Malcolm.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG).

Place hold
Algebraic semantics of imperative programs

by Joseph A. Goguen | Grant Malcolm.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG).

Place hold
The art of Prolog

by Leon Sterling | Ehud Shapiro.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.133 STE(ART).

Place hold
The art of Prolog

by Leon Sterling | Ehud Shapiro.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.133 STE(ART).

Place hold
Advances in object-oriented data modeling

by Michael P. Papazoglou (Ed.) | Stefano Spaccapietra (Ed.) | Zahir Tari (Ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2000Availability: Items available for loan: Central Library (1)Call number: 005.117 ADV.

Place hold
Advances in object-oriented data modeling

by Michael P. Papazoglou (Ed.) | Stefano Spaccapietra (Ed.) | Zahir Tari (Ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2000Availability: Items available for loan: Central Library (1)Call number: 005.117 ADV.

Place hold
Beowulf cluster computing with linux

by Wiliam Gropp (Ed.) | Ewing Lusk (Ed.) | Thomas Sterling (Ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2003Availability: Items available for loan: Central Library (1)Call number: 004.35 BEO.

Place hold
How to build a Beowulf: a guide to the implementation and application of PC clusters

by Thomas L. Sterling | John Salmon | Donald J. Becker | Daniel F. Savarese.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1998Availability: Items available for loan: Central Library (1)Call number: 004.36 HOW.

Place hold
Algorithmic program debugging

by Ehud Y. Shapiro.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1983Availability: Items available for loan: Central Library (1)Call number: 005.14 SHA(ALG).

Place hold
Types in logic programming

by Frank Pfenning (ed.).

Series: Logic programming seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP.

Place hold
Types in logic programming

by Frank Pfenning (ed.).

Series: Logic programming seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP.

Place hold
Semantics of programming languages : structures and techniques

by Carl A. Gunter.

Series: Foundations of computingMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, 1992Availability: Items available for loan: Central Library (1)Call number: 005.13 GUN(SEM).

Place hold
Semantics of programming languages : structures and techniques

by Carl A. Gunter.

Series: Foundations of computingMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, 1992Availability: Items available for loan: Central Library (1)Call number: 005.13 GUN(SEM).

Place hold
An interdisciplinary introduction to image processing : pixels, numbers, and programs

by Steven L. Tanimoto.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press 2012Availability: Items available for loan: Central Library (1)Call number: 006.42 TAN(INT).

Place hold
Boosting : foundations and algorithms

by Robert E. Schapire | Yoav Freund.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press 2012Availability: Items available for loan: Central Library (1)Call number: 006.31 SCH(BOO).

Place hold
Foundations of 3D computer graphics

by Steven J. Gortler.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press 2012Availability: Items available for loan: Central Library (1)Call number: 006.693 GOR(FOU).

Place hold
Foundations of Machine Learning

by Mehryar Mohri | Afshin Rostamizadeh | Ameet Talwalkar.

Series: Adaptive computation and machine learning seriesEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press 2012Availability: Items available for reference: Central Library: Not for loan (1)Call number: 006.31 MOH(FOU).

Pages
Visitor count :