Results of search for 'ccl=su:{Semantics}' › RKMVERI, BELUR MATH, CENTRAL LIBRARY catalog

Results
1.	Image from Amazon.com	Artha : meaning by Jonardon Ganery Series: Foundation of philosophy in India Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press, New Delhi 2006 Availability: Items available for loan: Central Library (1)Call number: 121.680954 GAN(ART). Place hold Save to lists
2.		Śaktivādaḥ by Gadādharabhaṭṭācārya Harinātha Tarka Siddhānta Bhaṭṭācārya (com.) Gosvāmī Dāmodar Śāstrī (ed.) Series: Kāsī Saṃskṛta Granthamālā, 77 Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Caukhāmbā Saṃskṛta Series Office 1929 Availability: Items available for loan: Central Library (1)Call number: 181.43 GAD(SAK). Place hold Save to lists
3.		Śaktivādaḥ by Gadādharabhaṭṭācārya Harinātha Tarka Siddhānta Bhaṭṭācārya (com.) Gosvāmī Dāmodar Śāstrī (ed.) Series: Kāsī Saṃskṛta Granthamālā, 77 Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Caukhāmbā Saṃskṛta Series Office 1929 Availability: Items available for loan: Central Library (1)Call number: 181.43 GAD(SAK). Place hold Save to lists
4.		Vaiyākaraṇasiddhāntalaghumañjūṣā (vol.1) by Nāgeśabhaṭṭa Durbalācārya (com.) Bālambhaṭṭa (com.) Rāmaprasāda Tripāṭhī (ed.) Series: Gaṅgānāthajhā Granthamālā 12 Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit-Hindi Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1990 Availability: Items available for loan: Central Library (1)Call number: 491.25 NAG(VAI) v.1. Not available: Central Library: Checked out (1). Place hold Save to lists
5.		Vaiyākaraṇasiddhāntalaghumañjūṣā (vol.2) by Nāgeśabhaṭṭa Durbalācārya (com.) Bālambhaṭṭa (com.) Rāmaprasāda Tripāṭhī (ed.) Series: Gaṅgānāthajhā Granthamālā 12 Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit-Hindi Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1997 Availability: Not available: Central Library: Checked out (2). Place hold Save to lists
6.		Padavākyaratnākaraḥ by Gokulanātha Upādhāya Yadunātha Miśra (com.) Nandinātha Miśra (com.) Series: Sarasvatībhavana Granthamālā, 88 Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1998 Availability: Items available for loan: Central Library (1)Call number: 491.25 GOK(PAD). Place hold Save to lists
7.		Padavākyaratnākaraḥ by Gokulanātha Upādhāya Yadunātha Miśra (com.) Nandinātha Miśra (com.) Series: Sarasvatībhavana Granthamālā, 88 Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1998 Availability: Items available for loan: Central Library (1)Call number: 491.25 GOK(PAD). Place hold Save to lists
8.	Image from Amazon.com	The formal semantics of programming languages: an introduction by Glynn Winskel Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993 Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold Save to lists
9.	Image from Amazon.com	The formal semantics of programming languages: an introduction by Glynn Winskel Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993 Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold Save to lists
10.	Image from Amazon.com	Algebraic semantics of imperative programs by Joseph A. Goguen Grant Malcolm Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996 Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold Save to lists
11.	Image from Amazon.com	Algebraic semantics of imperative programs by Joseph A. Goguen Grant Malcolm Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996 Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold Save to lists
12.	Image from Amazon.com	Semantics and logics of computation by A. Pitts (ed.) P. Dybjer (ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1997 Availability: Items available for loan: Central Library (1)Call number: 004.015113 SEM. Place hold Save to lists
13.	Image from Amazon.com	Semantics of programming languages : structures and techniques by Carl A. Gunter Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, 1992 Availability: Items available for loan: Central Library (1)Call number: 005.13 GUN(SEM). Place hold Save to lists
14.	Image from Amazon.com	Semantics of programming languages : structures and techniques by Carl A. Gunter Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, 1992 Availability: Items available for loan: Central Library (1)Call number: 005.13 GUN(SEM). Place hold Save to lists
15.	Image from Amazon.com	From semantics to computer science: essays in honour of Gilles Kahn by Yves Bertot (ed.) Gerard Huet (ed.) Jean-Jacques Levy (ed.) Gordon Plotkin (ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009 Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004 SEM. Save to lists
16.	Image from Amazon.com	From semantics to computer science: essays in honour of Gilles Kahn by Yves Bertot (ed.) Gerard Huet (ed.) Jean-Jacques Levy (ed.) Gordon Plotkin (ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009 Availability: Items available for loan: Central Library (1)Call number: 004 SEM. Place hold Save to lists
17.	Image from Amazon.com	Transitions and trees: an introduction to structural operational semantics by Hans Huttel Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2010 Availability: Items available for loan: Central Library (1)Call number: 005.13 HUT(TRA). Place hold Save to lists
18.		Abhidhāvṛttamātṛkā by Rājānaka Mukula Bhaṭṭa Revāprasāda Dvivedī (tr.) Series: The Caukhāmbā Vidyābhavan Granthamālā, 165 Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit-Hindi Publication details: Caukhāmbā Vidyābhavan 1995 Availability: Items available for loan: Central Library (1)Call number: 808.04912 BHA(ABH). Place hold Save to lists
19.		Abhidhāvṛttamātṛkā by Rājānaka Mukula Bhaṭṭa Revāprasāda Dvivedī (tr.) Series: The Caukhāmbā Vidyābhavan Granthamālā, 165 Material type: Text; Format: print ; Literary form: Not fiction Language: Sanskrit-Hindi Publication details: Caukhāmbā Vidyābhavan 1995 Availability: Items available for loan: Central Library (1)Call number: 808.04912 BHA(ABH). Place hold Save to lists
20.	Image from Amazon.com	Śabda: a study of Bhartṛhari's philosophy of language by Tandrā Paṭṭanāyak Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: D. K. Printworld (P) Ltd. 1994 Availability: Items available for loan: Central Library (1)Call number: 491.25 PAT(SAB). Place hold Save to lists

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 78 results.