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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Modelling distributed systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer-Verlag 2007
Availability: Items available for loan: Central Library (1)Call number: 004.35 FOK(MOD).

Place hold Save to lists
2.
Modelling Distributed Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer-Verlag 2007
Availability: Items available for loan: Central Library (1)Call number: 004.35 FOK(MOD).

Place hold Save to lists
3.
Amazon cover image
Image from Amazon.com
The Calculus of Computation: decision procedures with applications to verification by Series:
Edition:
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Springer 2010
Availability: Items available for loan: Central Library (1)Call number: 004.01515 BRA(CAL).

Place hold Save to lists
Visitor count :