Reset Filters
Literature type: Book

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:
Search Tools: Get RSS Feed — Email this Search —