•    
  • Per Page:
  • Sort By:

Search results for ' ' (0.01 seconds ) Total Hits : 52

1

Inquiry into the relative effectiveness of linear style book format and multimedia programmes^bS P Mullick

Researcher:Mullick, S P
University:Shreemati Nathibai Damodar Thackersey Women's University
Language:English
2

Developing a communication interface for intelligent tutoring systems^bParvati Rajan

Researcher:Rajan, Parvati
University:Shreemati Nathibai Damodar Thackersey Women's University
Language:English
3

Programming model for developing parallel programs on a bus-based Parallel architecture^bSunita M Mahajan

Researcher:Mahajan, Sunita M
University:Shreemati Nathibai Damodar Thackersey Women's University
Language:English
4

Transition testing of combinational logic networks

Researcher:Bhujade, Moreshwar Ramji
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
Language:English
5

Replication and placement strategies in complier code optimization

Researcher:Dhamdhere, Dhananjay Madhav
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
Language:English
6

unified computational model towards the analysis and design of Nand (NOR) logic networks

Researcher:Mudumbi, Srirama Venkatachary
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
Language:English
7

Studies on L system

Researcher:Rajasethupathy, K S
Guide:Narasimhan, R
University:University of Mumbai
Language:English
8

Grammatical inference from postive data: An effective intergrated approach

Researcher:Radhakrishnan, V
Guide:Nagaraja, G
University:Indian Institute of Technology-bombay
Language:English
9

Verification of digital systems using linear time temporal logic

Researcher:Gangadharan, Venkatesh
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
10

Problems in computational geometry

Researcher:Ghosh, Subir Kumar
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
11

Proof theory for exception handling in distributed programs

Researcher:Lodaya, Kamal Dhanji
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
12

Compositional verification of distributed programs

Researcher:Pandya, Paritosh Kulin
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
13

Theories and models distributed logic programs

Researcher:Ramanujam, R
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
14

Study of blocking properties of three stage close networks

Researcher:Narsimhaswamy, Akkihebbal Kumar
Guide:Kekre, H B
University:Indian Institute of Technology-Bombay
Language:English
15

Communication abstractions in real-time distributed programming: Expediency, sematics and proof system

Researcher:Kumar, K G
University:Indian Institute of Technology-Bombay
Language:English
16

Studies in real time image processing and analysis

Researcher:Narasimhamurty, Madhusudan Bangalore
University:Indian Institute of Technology-Bombay
Language:English
17

Some classes of additive 2-adjugate ternary designs

Researcher:Sharma, Shailaja D
University:Indian Institute of Technology-Bombay
Language:English
18

Contributions to three dimensional assignment problems

Researcher:Subramanian, Geetha
University:Indian Institute of Technology-Bombay
Language:English
19

Numerical solvability of nonlinear integral equations of Hammerstein type and optimality of nonlinear control systems

Researcher:Ganesh, M
University:Indian Institute of Technology-Bombay
Language:English
20

Linear feedback systems:Algebric and geometric aspects

Researcher:Sule, Virenrda Ramakant
University:Indian Institute of Technology-Bombay
Language:English