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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Essentials of programming languages

by Daniel P. Friedman | Mitchell Wand.

Edition: 3Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: The MIT Press 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 FRI(ESS).
Lists:

Place hold
No cover image available
Principles of model checking

by Christel Baier | Joost-Pieter Katoen.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: The MIT Press 2008Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.24 BAI(PRI).
Lists:

Computability and complexity: from a programming perspective

by Neil D. Jones.

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

Place hold
From logic to logic programming

by Kees Doets.

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.115 DOE(LOG).
Lists:

Place hold
From logic to logic programming

by Kees Doets.

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.115 DOE(LOG).
Lists:

Place hold
The formal semantics of programming languages: an introduction

by Glynn Winskel.

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

Place hold
The formal semantics of programming languages: an introduction

by Glynn Winskel.

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

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

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

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).
Lists:

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).
Lists:

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).
Lists:

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).
Lists:

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).
Lists:

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).
Lists:

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

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

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

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

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).
Lists:

Place hold
Pages
Visitor count :