Search Results - "Hanna, F.K." :: K.UTB vyhledávací portál

Childhood idiopathic steroid-resistant nephrotic syndrome at a single center in Khartoum

by Ali, al-Tigani M. A., Makki, Salwa O., Makki, Hanna F. K., Abd al-Rahim, Muhammad B., Allidir, Rashid A.
Published in Saudi journal of kidney diseases and transplantation (01.07.2017)

Get full text

Journal Article

Loading…

Specification and verification using dependent types

by Hanna, F.K., Daeche, N., Longley, M.
Published in IEEE transactions on software engineering (01.09.1990)

Get full text

Journal Article

Loading…

am: A case study in AI methodology

by Ritchie, G.D., Hanna, F.K.
Published in Artificial intelligence (01.01.1984)

Get full text

Journal Article

Loading…

Distributed Industrial Control Using A Network Of Microcomputers

by Hinton, O.R., Hanna, F.K., Dimond, K.R.
Published in COMPCON '77 (1977)

Get full text

Conference Proceeding

Childhood idiopathic steroid-resistant nephrotic syndrome at a single center in Khartoum

Specification and verification using dependent types

am: A case study in AI methodology

Distributed Industrial Control Using A Network Of Microcomputers

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database