Modern applied mathematics / by Misra, J. C.

Biomathematics : modelling and simulation / by Misra, J. C.

Industrial mathematics and statistics / by Misra, J. C.

Mathematical models for bioengineering and probabilistic systems / by Misra, J. C.

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project by Hoare, T, Misra, J

Preface to special issue on software verification by Hoare, C, Misra, J

Fungi from different environments / by Misra, J. K., Deshmukh, S. K.

Can Bisphosphonates extend Life Span? Effects on Stem Cell survival, DNA Repair and Tissue Regeneration by Misra, J, Misra, J, Mohanty, S, Madan, S, Fernandes, J, Ebetino, F, Roehl, H, Russell, R, Bellantuono, I

Computing and information sciences : recent trends / by Misra, J. C., Goswami, A., Kumar, Pawan

The verified software initiative: A manifesto by Hoare, C, Misra, J, Leavens, G, Shankar, N

Quantitative linkage of physiology and gene expression through empirical model construction: an investigation of diabetes by Misra, J., Alevizos, I., Bullen, J., Blueher, S., Mantzoros, C., Stephanopoulos, Gregory

Get full text

Fungi from different substrates / by Misra, J. K., editor, Tewari, J. P., editor, Deshmukh, S. K., editor, Vg̀vl̲gyi, Csaba, editor

In memoriam: Edsger W. Dijkstra 1930−2002 by Boyer, R, Feijen, W, Gries, D, Hoare, C, Misra, J, Moore, J, Richards, H