Bhāradvāja, Rameśa 1958-...
Bhāradvāja, Rameśa
Bharadwaj, R. (Ramesh)
Rameśa Bhāradvāja, 1958-
VIAF ID: 65608299 ( Personal )
Permalink: http://viaf.org/viaf/65608299
Preferred Forms
-
- 200 _ | ‡a Bhāradvāja ‡b Rameśa ‡f 1958-....
- 100 1 _ ‡a Bhāradvāja, Rameśa
- 100 1 _ ‡a Bhāradvāja, Rameśa ‡d 1958-
- 100 1 _ ‡a Bhāradvāja, Rameśa, ‡d 1958-....
- 100 1 _ ‡a Bhāradvāja, Rameśa ‡d 1958-...
-
4xx's: Alternate Name Forms (25)
Works
Title | Sources |
---|---|
Bhāratīya bhāshoṃ kī sahalipi Nāgarī, 1999: | |
Direct model checking of temporal properties, 1995. R. Bharadwaj. | |
Kātantradhātuvr̥ttisāraḥ | |
Pramāṇamīmāṃsā ko Sarvajñātmamuni kā yogadāna : "Pramāṇalakṣaṇam"-mūlapāṭhasahita | |
Rājavyavahārakośa | |
Role of Upaniṣads in Indian renaissance and freedom movement | |
Simple Notation of Annotating Proofs : a validator/annotator for proofs of distributed programs | |
Sītārāma Sekasariyā janmaśatābdī grantha, 1993: | |
Tools to support a formal verification method for systems with concurrency and nondeterminism | |
Vajrasūcī of Aśvaghoṣa and concept of varṇa-jāti through the ages | |
कातन्त्रधातुवृत्तिसारः | |
प्रमाणमीमांसा कॊ सर्वज्ञात्ममुनि का यॊगदान "प्रमाणलक्षणम्"-मूलपाठसहित | |
प्रमाणलक्षनम् |