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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
The history and bibliography of Nyāya-Vaiśeṣika literature

by Gopināth Kavirāj | Gaurināth Śāstrī (ed.).

Series: Sarasvatī Bhavana Studies Reprint Series, 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1982Availability: Items available for loan: Central Library (1)Call number: 181.43016 GOP(HIS).
Lists:

Place hold
The strange logic of random graphs

by Joel Spencer.

Series: Algorithms and combinatorics, 22Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York, Berlin c2001Availability: Items available for loan: Central Library (1)Call number: 511.5 SPE(STR).
Lists:

Place hold
Logic and structure

by Dirk van Dalen.

Series: UniversitextEdition: Fourth EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag; Berlin, New York 2004Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
Mathematical logic

by Heinz-Dieter Ebbinghaus | Jorg Flum | Wolfgang Thomas.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag, New York 1994Availability: Items available for loan: Central Library (1)Call number: 511.3 EBB(MAT).
Lists:

Place hold
Mathematical logic

by J. Donald Monk.

Series: Graduate texts in mathematics, 37Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag, New York 1976Availability: Items available for loan: Central Library (1)Call number: 511.3 MON(MAT).
Lists:

Place hold
Logic synthesis and verification algorithms

by Gary D. Hachtel | Fabio Somenzi.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India), 2006Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG).
Lists:

Place hold
Kārikāvalī : Muktāvalīsahitā sā ca Prabhā-Mañjūṣā-Dinakarī-Rāmarudrī-Gaṅgārāmīti vyākhyāpañcakasamanvitā

by Viśvanātha Tarkapañcānana | Śaṅkararāma Śāstrī (ed.).

Series: Vrajajīvana Prācyabhāratī Granthamālā; 29Material type: Text Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Caukhambā Saṃskṛta Pratiṣṭān 1988Availability: Items available for loan: Central Library (1)Call number: 181.43 VIS(KAR).
Lists:

Place hold
Kārikāvalī : Muktāvalīsahitā sā ca Prabhā-Mañjūṣā-Dinakarī-Rāmarudrī-Gaṅgārāmīti vyākhyāpañcakasamanvitā

by Viśvanātha Tarkapañcānana | Śaṅkararāma Śāstrī (ed.).

Series: Vrajajīvana Prācyabhāratī Granthamālā; 29Material type: Text Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Caukhambā Saṃskṛta Pratiṣṭān 1988Availability: Items available for loan: Central Library (1)Call number: 181.43 VIS(KAR).
Lists:

Place hold
No cover image available
Nyāya-paricaya : hindī rūpāntara

by Phaṇibhūṣan Tarkavāgīś | Kiśoranātha Jhā (tr.) | Dīneścandra Guha (ed.).

Series: Vidyābhavan Raṣtrabhāṣā Granthamālā, 118Material type: Text Text; Format: print ; Literary form: Not fiction Language: Hindi Publication details: Caukhāmbā Vidyābhavan 1968Availability: Items available for loan: Central Library (1)Call number: 181.43 TAR(NYA).
Lists:

Place hold
No cover image available
Nyāya-paricaya : hindī rūpāntara

by Phaṇibhūṣan Tarkavāgīś | Kiśoranātha Jhā (tr.) | Dīneścandra Guha (ed.).

Series: Caukhāmbā Vidyābhavan Raṣtrabhāṣā Granthamālā, 118Material type: Text Text; Format: print ; Literary form: Not fiction Language: Hindi Publication details: Caukhāmbā Vidyābhavan 1968Availability: Items available for loan: Central Library (1)Call number: 181.43 TAR(NYA).
Lists:

Place hold
Contemporary logic design

by Randy H. Katz | Gaetano Borriello.

Edition: Second ditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Prentice-Hall of India, 2005Availability: Items available for loan: Central Library (1)Call number: 621.395 KAT(CON).
Lists:

Place hold
Mathematical logic for computer science

by Mordechai Ben-Ari.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT).
Lists:

Place hold
Fundamentals of switching theory and logic design : a hands on approach

by Jaakko T. Astola | Radomir S. Stankovic.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN).
Lists:

Place hold
Fundamentals of switching theory and logic design : a hands on approach

by Jaakko T. Astola | Radomir S. Stankovic.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2008Availability: Items available for loan: Central Library (1)Call number: 621.3815372 AST(FUN).
Lists:

Place hold
Logic synthesis and verification algorithms

by Gary D. Hachtel | Fabio Somenzi.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, 2006Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG).
Lists:

Place hold
Logic for applications : second edition

by Anil Nerode | Richard A. Shore.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1997Availability: Items available for loan: Central Library (1)Call number: 005.1015113 NER(LOG).
Lists:

Place hold
First-order logic and automated theorem proving : second edition

by Melvin Fitting.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1996Availability: Items available for loan: Central Library (1)Call number: 004.015113 FIT(FIR).
Lists:

Place hold
Mathematical logic

by Ian Chiswel | Wilfrid Hodges.

Series: Oxford texts in logic, 3Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press, New York, London 2007Availability: Items available for loan: Central Library (1)Call number: 511.3 CHI(MAT).
Lists:

Place hold
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
Mathematical logic for computer science

by Mordechai Ben-Ari.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT).
Lists:

Place hold
Pages
Visitor count :