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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Computation engineering : applied automata theory and logic

by Ganesh Gopalakrishnan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer Science 2006Availability: Items available for loan: Central Library (1)Call number: 004.0151 GOP(COM).
Lists:

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).
Lists:

Place hold
No cover image available
Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).
Lists:

Place hold
No cover image available
Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).
Lists:

Place hold
No cover image available
Handbook of practical logic and automated reasoning

by John Harrison.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2009Availability: Items available for loan: Central Library (1)Call number: 006.333 HAR(HAN).
Lists:

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

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

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

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

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

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

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

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

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

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

Place hold
Computer Logic: design principles and applications

by John Y. Hsu.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2011Availability: Items available for loan: Central Library (2)Call number: 005.1015113 HSU(COM), ...
Lists:

Place hold
The Calculus of Computation: decision procedures with applications to verification

by Aaron R. Bradley | Zohar Manna.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2010Availability: Items available for loan: Central Library (1)Call number: 004.01515 BRA(CAL).
Lists:

Place hold
Pages
Visitor count :