登入選單
Google圖書搜尋
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