-
1
-
2
-
3
-
4Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] / Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] /by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
5Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] / Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] /by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
6by Subrahmanyam, P., Bosc, Jean-Philippe, Hama Hassane, Smith, D.H., Mounkaila, A., Ndunguru, B.J., Sankara, Philippearticle bibliotecaCIRAD FR
-
7by 98279 Nageswara Rao, R.C., 122198 Subrahmanyam, P. eds., 5. Regional Groundnut Workshop for Southern Africa Lilongwe (Malawi) 9-12 Mar 1992
Published 1992bibliotecaIICA -
8by Subrahmanyam, P. 42368, autor. aut, Bosc, J.P. 42369., Hama Hassane 42370., Mounkaila, A. 42371., Ndunguru, B.J. 42372., Sankara, Ph. 42373., Smith, D.H. 42374.
Published ©199Texto bibliotecaFEDEPALMA -
9
-
10Sustainable groundnut production in Southern and Eastern Africa: proceedings Sustainable groundnut production in Southern and Eastern Africa: proceedingsby 98850 Ndunguru, B.J., 78034 Hildebrand, G.L., 122198 Subrahmanyam, P. eds., 9457 ICRISAT, Patancheru (India), Workshop on Sustainable Groundnut Production in Southern and Eastern Africa Mbabane (Swazilandia) 5-7 Jul 1994
Published 1994bibliotecaIICA