Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
editors, Lennart Beringer, Amy Felty
Springer-Verlag, 2012
eBooks
JingTao Yao, editor
Rough sets and current trends in computing : 8th international conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks
Proceedings of the 1986 conference of The American Academy of Advertising
edited by Ernest F. Larkin
Oklahoma American Academy of Advertising, 1986
Buku Teks
Proceeding of the 9th expert-level conference on islamic banking, Jakarta-Indonesia, April 7-8, 1995 / sponsored by Bank Indonesia in cooperation with the International Association of Islamic Banks
Bank Indonesia , 1995
Buku Teks
Broeze, Frank J.A.
Sixth International conference on Asian history international association of historian of Asia (IAHA) Yogyakarta, August 26-30, 1974
[Publisher not identified], 1974
Buku Teks