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

A course in game theory

by Martin J. Osborne | Ariel Rubinstein.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts c1994Availability: Items available for loan: Central Library (1)Call number: 519.3 OSB(COU).
Lists:

Place hold
Design concepts in programming languages

by Franklyn Turbak | David Gifford | Mark A. Sheldon.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 2008Availability: Items available for reference: Central Library: Not for loan (1)Call number: 005.1 TUR(DES).
Lists:

Where biology meets psychology : philosophical essays

by Valerie Gray Hardcastle (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts 1999Availability: Items available for loan: Central Library (1)Call number: 570.1 WHE.
Lists:

Place hold
Music and memory : an introduction

by Bob Snyder.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 2000Availability: Items available for loan: Central Library (1)Call number: 781.11 SNY(MUS).
Lists:

Place hold
Decisions, uncertainty, and the brain : the science of neuroeconomics

by Paul W. Glimcher.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts 2004Availability: Items available for loan: Central Library (1)Call number: 153 GLI(DEC).
Lists:

Place hold
The evolution of morality

by Richard Joyce.

Series: Life and mindMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts 2006Availability: Items available for loan: Central Library (1)Call number: 171.7 JOY(EVO).
Lists:

Place hold
Dynamic patterns : the self-organization of brain and behavior

by J. A. Scott Kelso.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts 1995Availability: Items available for loan: Central Library (1)Call number: 612.8 KEL(DYA).
Lists:

Place hold
Matter and consciousness : a contemporary introduction to the philosophy of mind

by Paul M. Churchland.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 1988Availability: Items available for loan: Central Library (1)Call number: 128.2 CHU(MAT).
Lists:

Place hold
Intelligent design creationism and its critics : philosophical, theological, and scientific perspectives

by Robert T Pennock (ed.).

Series: A Bradford bookMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts, London 2001Availability: Items available for loan: Central Library (1)Call number: 231.7652 INT.
Lists:

Place hold
Molecular models of life : philosophical papers on molecular biology

by Sahotra Sarkar.

Series: Life and mindMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, Massachusetts 2005Availability: Items available for loan: Central Library (1)Call number: 572.801 SAR(MOL).
Lists:

Place hold
What genes can’t do

by Lenny Moss.

Series: Basic bioethicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 2004Availability: Items available for loan: Central Library (1)Call number: 660.65 MOS(WHA).
Lists:

Place hold
Combinatorics of genome rearrangements

by Guillaume Fertin ... [et al.].

Series: Computational molecular biologyMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Mass MIT Press, 2009Availability: Items available for loan: Central Library (1)Call number: 572.877 FER(COM).
Lists:

Place hold
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
Pages
Visitor count :