Etalle, Sandro books & textbook
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science, 4079)
Etalle, Sandro Truszczynski, Miroslav
Springer /2006-08-03 Paperback / 488 Pages
isbn-10: 3540366350 / isbn-13: 9783540366355
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)
Springer /2005-06-24 Paperback / 292 Pages
isbn-10: 3540266550 / isbn-13: 9783540266556
[(Trust Management : Proceedings of IFIPTM 2007 - Joint ITrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada)] [Edited by Sandro Etalle ] published on (August, 2007)
Springer-Verlag New York Inc. / Hardcover / 414 Pages
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science, 6561)
Degano, Pierpaolo Etalle, Sandro Guttman, Joshua
Springer /2011-03-07 Paperback / 249 Pages
isbn-10: 3642197507 / isbn-13: 9783642197505
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7140)
Barthe, Gilles Datta, Anupam Etalle, Sandro
Springer /2012-05-04 Paperback / 289 Pages
isbn-10: 3642294197 / isbn-13: 9783642294198
