登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 6 / 6
下一頁
Formal Aspects of Security and Trust
作者
Pierpaolo Degano / Sandro Etalle / Joshua Guttman
出版
Springer Science & Business Media, 2011-03-07
ISBN
9783642197505 / 3642197507
主題
Business & Economics
Privacy in an Ambient World
作者
M. A. C. Dekker / S. Etalle / J. den Hartog
出版
2006
ISBN
OCLC:71723520
Transformation and Analysis of (constraint) Logic ...
作者
Sandro Etalle
出版
1995
ISBN
9074795277 / 9789074795272
Logic Programming
作者
Sandro Etalle / Miroslav Truszczynski
出版
Springer Science & Business Media, 2006-08-03
ISBN
9783540366355 / 3540366350
主題
Computers
Formal Aspects of Security and Trust
作者
Pierpaolo Degano
出版
2011
ISBN
OCLC:778875132
On the Unification Free Prolog Programs
作者
Krzysztof R. Apt / Sandro Etalle
出版
1993
ISBN
OCLC:123336308
主題
Logic programming