Search

You searched for: Auteur Etalle, Sandro Remove constraint Auteur: Etalle, Sandro
1 - 5 of 5
Number of results to display per page

Search Results

1. Trust Management
thumbnail
Full text!
Author:
Etalle, Sandro; Marsh, Stephen
Publisher:
Springer US 2007
Format:
e-book
2. Logic Based Program Synthesis and Transformation
thumbnail
Full text!
Author:
Etalle, Sandro; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
3. Formal Aspects of Security and Trust
thumbnail
Full text!
Author:
Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; Kanade, Takeo
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
4. Formal Aspects of Security and Trust
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Datta, Anupam; Etalle, Sandro
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
5. Logic Programming
thumbnail
Full text!
Author:
Etalle, Sandro; Kanade, Takeo; Kittler, Josef; Truszczynski, Miroslav
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book