登入選單
Google圖書搜尋
Formal Specification and Analysis of Security Prot...
作者
Kamel Adi
出版2002
ISBN
OCLC:51904646
A Finite, Complete and Sound Tableau-based System ...
作者
Debbabi, Mourad / Adi, K. (Kamel) / Université Laval. Département d'informatique / Mohamed Mejri
出版Sainte-Foy, Québec : Université Laval, Dép. d'informatique, 1999
ISBN
OCLC:46627704
Dynamic ADI Methods for Elliptic Equations with Gr...
作者
Said Kamel Doss
出版1977
ISBN
UCAL:C3512973
NOTERE 2005
作者
Kamel Adi / Daniel Amyot / Luigi Logrippo / Université du Québec en Outaouais / Université d'Ottawa
出版2005
ISBN
2980904309 / 9782980904301