| 41 | ||
| 42 | Theorem proving: Resolution, non-resolution and by abstraction | |
| Language: | English | |
| 43 | ||
| 44 | ||
| Language: | English | |
| 45 | ||
| 46 | On petrinet appraisal to modelling, analysis and some design aspect of software system | |
| Language: | English | |
| 47 | ||
| 48 | On some nonuniform rates of convergence to normality with applications | |
| Language: | English | |
| 49 | study of bounds on codes dealing with random and burst errors | |
| 50 | ||
| Language: | English | |
| 51 | Process assignment and sequencing in distributed computer systems | |
| 52 | ||
| Language: | English | |
| 53 | ||
| 54 | ||
| Language: | English | |
| 55 | Computer oriented numerical methods for the solutions of certain problems in fluid mechanics | |
| 56 | ||
| Language: | English | |
| 57 | On codes correcting burst errors and generalized Reed Muller codes | |
| 58 | Mathematical modelling of physiological fluid systems: Effects of peristalsis and multiple stenoses | |
| Language: | English | |
| 59 | ||
| Shodhganga | ||
| 60 | ||
| Language: | English | |