大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Ait-Kadi 的图书(共4本)

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号：
作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Handbook of Maintenance Management and Engineering [electronic resource]

0
索取号：
作者：Ben-Daya、 Mohamed.、Duffuaa、 Salih O.、Raouf、 Abdul.、Knezevic、 Jezdimir.、Ait-Kadi、 Daoud.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Delay Differential Equations and Applications [electronic resource]

0
索取号：
作者：Arino、 O.、Hbid、 M.L.、Dads、 E. Ait.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Replacement Models with Minimal Repair [electronic resource]

0
索取号：
作者：Tadj、 Lotfi.、Ouali、 M.-Salah.、Yacout、 Soumaya.、Ait-Kadi、 Daoud.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.