Author Results for Hasan, Osman,

SpringerLink (Online service)
Hasan, Osman,,1975-
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security,Regensburg, Germany)
MoCrySEn 2013
SeCIHD 2013
see all »
Tahar, Sofi ene,,1966-

1
Formalized probability theory and applications using theorem proving /

Cover is for reference only
Main Authors: Hasan, Osman, 1975
Group Author: Tahar, Sofiène, 1966
Published: Information Science Reference, an imprint of IGI Global,
Publication Dates: [2015]
Call Number: TP302.7/H344
Book
Save to List
Saved in:
2
Formalized probability theory and applications using theorem proving /

Cover is for reference only
Main Authors: Hasan, Osman, 1975- (Author)
Corporate Authors: IGI Global
Group Author: Tahar, Sofi ene, 1966-
Published: IGI Global,
Publication Dates: [2015]
eBook
Save to List
Saved in:
3
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Geuvers, Herman (Editor); England, Matthew (Editor); Hasan, Osman (Editor); Rabe, Florian (Editor); Teschke, Olaf (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —